diff -urN mercury-tests-0.13.1.orig/debugger/declarative/throw.exp4 mercury-tests-0.13.1/debugger/declarative/throw.exp4 --- mercury-tests-0.13.1.orig/debugger/declarative/throw.exp4 1970-01-01 12:00:00.000000000 +1200 +++ mercury-tests-0.13.1/debugger/declarative/throw.exp4 2007-10-20 14:56:07.000000000 +1300 @@ -0,0 +1,53 @@ + E1: C1 CALL pred throw.main/2-0 (cc_multi) throw.m:10 +mdb> echo on +Command echo enabled. +mdb> register --quiet +mdb> break p + 0: + stop interface pred throw.p/1-0 (cc_nondet) +mdb> break q + 1: + stop interface pred throw.q/1-0 (semidet) +mdb> continue + E2: C2 CALL pred throw.p/1-0 (cc_nondet) throw.m:20 +mdb> finish + E3: C2 EXCP pred throw.p/1-0 (cc_nondet) +mdb> dd -d 3 -n 7 +Call p(_) +Throws "Too big" +Expected? no +a(3) +Valid? yes +Call b(3, _) +Throws "Too big" +Expected? yes +Found unhandled or incorrect exception: +p(_) +"Too big" +Is this a bug? yes + E3: C2 EXCP pred throw.p/1-0 (cc_nondet) +mdb> continue +mdb: warning: reached unknown label +This may result in some exception events +being omitted from the trace. +exception(univ_cons("Too big")) + E4: C3 CALL pred throw.q/1-0 (semidet) throw.m:48 +mdb> finish + E5: C3 EXCP pred throw.q/1-0 (semidet) +mdb> dd -d 3 -n 7 +Call q(_) +Throws "Too big" +Expected? no +a2(3) +Valid? yes +Call b2(3, _) +Throws "Too big" +Expected? yes +Found unhandled or incorrect exception: +q(_) +"Too big" +Is this a bug? yes + E5: C3 EXCP pred throw.q/1-0 (semidet) +mdb> continue +mdb: warning: reached unknown label +This may result in some exception events +being omitted from the trace. +exception(univ_cons("Too big"))