[m-rev.] diff: fix existential_type_classes failing test case
Ian MacLarty
maclarty at cs.mu.OZ.AU
Thu Oct 20 13:57:15 AEST 2005
Estimated hours taken: 0.5
Branches: main
Fix a test that was failing in debug grades because of incorrect line
numbers (the source code for the test was recently changed, but the expected
output for the debug grades was not).
tests/debugger/Mmakefile:
tests/debugger/existential_type_classes.exp:
tests/debugger/existential_type_classes.exp2:
Hide line numbers in the output of this test.
Index: tests/debugger/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/Mmakefile,v
retrieving revision 1.117
diff -u -r1.117 Mmakefile
--- tests/debugger/Mmakefile 16 Sep 2005 05:42:54 -0000 1.117
+++ tests/debugger/Mmakefile 19 Oct 2005 09:25:42 -0000
@@ -347,7 +347,8 @@
existential_type_classes.inp
$(MDB_STD) ./existential_type_classes < existential_type_classes.inp \
2>&1 | sed 's/string.m:[0-9]*/string.m:NNNN/g' | \
- sed 's/int.m:[0-9]*/int.m:NNNN/g' \
+ sed 's/int.m:[0-9]*/int.m:NNNN/g' | \
+ sed 's/existential_type_classes.m:[0-9]*/existential_type_classes.m:NNNN/g' \
> existential_type_classes.out
exported_eqv_type.out: exported_eqv_type exported_eqv_type.inp
Index: tests/debugger/existential_type_classes.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/existential_type_classes.exp,v
retrieving revision 1.16
diff -u -r1.16 existential_type_classes.exp
--- tests/debugger/existential_type_classes.exp 14 Oct 2005 01:42:53 -0000 1.16
+++ tests/debugger/existential_type_classes.exp 19 Oct 2005 09:24:34 -0000
@@ -1,4 +1,4 @@
- E1: C1 CALL pred existential_type_classes.main/2-0 (det) existential_type_classes.m:49
+ E1: C1 CALL pred existential_type_classes.main/2-0 (det) existential_type_classes.m:NNNN
mdb> echo on
Command echo enabled.
mdb> alias P print *
@@ -9,192 +9,192 @@
mdb> break -i do_foo
0: + stop interface pred existential_type_classes.do_foo/2-0 (det)
mdb> continue -a
- E2: C2 CALL existential_type_classes.m:68 (from existential_type_classes.m:51)
+ E2: C2 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) 42
mdb>
- E3: C3 CALL (from existential_type_classes.m:68)
+ E3: C3 CALL (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
mdb> P
HeadVar__1 42
mdb>
- E4: C4 CALL existential_type_classes.m:21
+ E4: C4 CALL existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det)
mdb> P
HeadVar__1 42
mdb> continue -a
- E5: C5 CALL existential_type_classes.m:44 (from existential_type_classes.m:21)
+ E5: C5 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.int_foo/2-0 (det)
- E6: C5 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21)
+ E6: C5 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.int_foo/2-0 (det)
- E7: C4 EXIT existential_type_classes.m:21
+ E7: C4 EXIT existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det)
- E8: C3 EXIT (from existential_type_classes.m:68)
+ E8: C3 EXIT (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
- E9: C2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:51)
+ E9: C2 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) 42
N (arg 2) 84
mdb> continue -a
- E10: C6 CALL existential_type_classes.m:68 (from existential_type_classes.m:52)
+ E10: C6 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) "blah"
mdb>
- E11: C7 CALL (from existential_type_classes.m:68)
+ E11: C7 CALL (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
mdb> P
HeadVar__1 "blah"
mdb>
- E12: C8 CALL existential_type_classes.m:25
+ E12: C8 CALL existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____string__arity0______existential_type_classes__foo_2/2-0 (det)
mdb> P
HeadVar__1 "blah"
mdb> continue -a
- E13: C9 CALL existential_type_classes.m:47 (from existential_type_classes.m:25)
+ E13: C9 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.string_foo/2-0 (det)
- E14: C9 EXIT existential_type_classes.m:47 (from existential_type_classes.m:25)
+ E14: C9 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.string_foo/2-0 (det)
- E15: C8 EXIT existential_type_classes.m:25
+ E15: C8 EXIT existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____string__arity0______existential_type_classes__foo_2/2-0 (det)
- E16: C7 EXIT (from existential_type_classes.m:68)
+ E16: C7 EXIT (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
- E17: C6 EXIT existential_type_classes.m:68 (from existential_type_classes.m:52)
+ E17: C6 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) "blah"
N (arg 2) 4
mdb> continue -a
- E18: C10 CALL existential_type_classes.m:74 (from existential_type_classes.m:53)
+ E18: C10 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_exist_t/0-0 (det)
- E19: C10 EXIT existential_type_classes.m:74 (from existential_type_classes.m:53)
+ E19: C10 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_exist_t/0-0 (det)
- E20: C11 CALL existential_type_classes.m:68 (from existential_type_classes.m:53)
+ E20: C11 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) 43
mdb>
- E21: C12 CALL (from existential_type_classes.m:68)
+ E21: C12 CALL (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
mdb> P
HeadVar__1 43
mdb>
- E22: C13 CALL existential_type_classes.m:21
+ E22: C13 CALL existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det)
mdb> P
HeadVar__1 43
mdb> continue -a
- E23: C14 CALL existential_type_classes.m:44 (from existential_type_classes.m:21)
+ E23: C14 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.int_foo/2-0 (det)
- E24: C14 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21)
+ E24: C14 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.int_foo/2-0 (det)
- E25: C13 EXIT existential_type_classes.m:21
+ E25: C13 EXIT existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det)
- E26: C12 EXIT (from existential_type_classes.m:68)
+ E26: C12 EXIT (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
- E27: C11 EXIT existential_type_classes.m:68 (from existential_type_classes.m:53)
+ E27: C11 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) 43
N (arg 2) 86
mdb> continue -a
- E28: C15 CALL existential_type_classes.m:70 (from existential_type_classes.m:54)
+ E28: C15 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.call_my_exist_t/0-0 (det)
- E29: C16 CALL existential_type_classes.m:74 (from existential_type_classes.m:70)
+ E29: C16 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_exist_t/0-0 (det)
- E30: C16 EXIT existential_type_classes.m:74 (from existential_type_classes.m:70)
+ E30: C16 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_exist_t/0-0 (det)
- E31: C15 EXIT existential_type_classes.m:70 (from existential_type_classes.m:54)
+ E31: C15 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.call_my_exist_t/0-0 (det)
- E32: C17 CALL existential_type_classes.m:68 (from existential_type_classes.m:54)
+ E32: C17 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) 43
mdb>
- E33: C18 CALL (from existential_type_classes.m:68)
+ E33: C18 CALL (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
mdb> P
HeadVar__1 43
mdb>
- E34: C19 CALL existential_type_classes.m:21
+ E34: C19 CALL existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det)
mdb> P
HeadVar__1 43
mdb> continue -a
- E35: C20 CALL existential_type_classes.m:44 (from existential_type_classes.m:21)
+ E35: C20 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.int_foo/2-0 (det)
- E36: C20 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21)
+ E36: C20 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.int_foo/2-0 (det)
- E37: C19 EXIT existential_type_classes.m:21
+ E37: C19 EXIT existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det)
- E38: C18 EXIT (from existential_type_classes.m:68)
+ E38: C18 EXIT (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
- E39: C17 EXIT existential_type_classes.m:68 (from existential_type_classes.m:54)
+ E39: C17 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) 43
N (arg 2) 86
mdb> continue -a
- E40: C21 CALL existential_type_classes.m:86 (from existential_type_classes.m:55)
+ E40: C21 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_univ/1-0 (det)
- E41: C21 EXIT existential_type_classes.m:86 (from existential_type_classes.m:55)
+ E41: C21 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_univ/1-0 (det)
- E42: C22 CALL existential_type_classes.m:76 (from existential_type_classes.m:55)
+ E42: C22 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_univ_value/1-0 (det)
- E43: C22 EXIT existential_type_classes.m:76 (from existential_type_classes.m:55)
+ E43: C22 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_univ_value/1-0 (det)
- E44: C23 CALL existential_type_classes.m:68 (from existential_type_classes.m:55)
+ E44: C23 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) 45
mdb>
- E45: C24 CALL (from existential_type_classes.m:68)
+ E45: C24 CALL (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
mdb> P
HeadVar__1 45
mdb>
- E46: C25 CALL existential_type_classes.m:21
+ E46: C25 CALL existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det)
mdb> P
HeadVar__1 45
mdb> continue -a
- E47: C26 CALL existential_type_classes.m:44 (from existential_type_classes.m:21)
+ E47: C26 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.int_foo/2-0 (det)
- E48: C26 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21)
+ E48: C26 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.int_foo/2-0 (det)
- E49: C25 EXIT existential_type_classes.m:21
+ E49: C25 EXIT existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det)
- E50: C24 EXIT (from existential_type_classes.m:68)
+ E50: C24 EXIT (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
- E51: C23 EXIT existential_type_classes.m:68 (from existential_type_classes.m:55)
+ E51: C23 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) 45
N (arg 2) 90
mdb>
- E52: C27 CALL existential_type_classes.m:86 (from existential_type_classes.m:56)
+ E52: C27 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_univ/1-0 (det)
mdb>
- E53: C27 EXIT existential_type_classes.m:86 (from existential_type_classes.m:56)
+ E53: C27 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_univ/1-0 (det)
mdb>
- E54: C28 CALL existential_type_classes.m:72 (from existential_type_classes.m:56)
+ E54: C28 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.call_my_univ_value/1-0 (det)
mdb> P
Univ (arg 1) my_univ('<<c_pointer>>')
mdb>
- E55: C29 CALL existential_type_classes.m:76 (from existential_type_classes.m:72)
+ E55: C29 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_univ_value/1-0 (det)
mdb> P
HeadVar__1 my_univ('<<c_pointer>>')
mdb> continue -a
- E56: C29 EXIT existential_type_classes.m:76 (from existential_type_classes.m:72)
+ E56: C29 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_univ_value/1-0 (det)
- E57: C28 EXIT existential_type_classes.m:72 (from existential_type_classes.m:56)
+ E57: C28 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.call_my_univ_value/1-0 (det)
- E58: C30 CALL existential_type_classes.m:68 (from existential_type_classes.m:56)
+ E58: C30 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) "something"
Index: tests/debugger/existential_type_classes.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/existential_type_classes.exp2,v
retrieving revision 1.16
diff -u -r1.16 existential_type_classes.exp2
--- tests/debugger/existential_type_classes.exp2 16 Nov 2004 00:16:39 -0000 1.16
+++ tests/debugger/existential_type_classes.exp2 19 Oct 2005 09:24:43 -0000
@@ -1,4 +1,4 @@
- E1: C1 CALL pred existential_type_classes.main/2-0 (det) existential_type_classes.m:49
+ E1: C1 CALL pred existential_type_classes.main/2-0 (det) existential_type_classes.m:NNNN
mdb> echo on
Command echo enabled.
mdb> alias P print *
@@ -9,212 +9,212 @@
mdb> break -i do_foo
0: + stop interface pred existential_type_classes.do_foo/2-0 (det)
mdb> continue -a
- E2: C2 CALL existential_type_classes.m:68 (from existential_type_classes.m:51)
+ E2: C2 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) 42
mdb>
- E3: C3 CALL (from existential_type_classes.m:68)
+ E3: C3 CALL (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
mdb> P
HeadVar__1 42
mdb>
- E4: C4 CALL existential_type_classes.m:21
+ E4: C4 CALL existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det)
mdb> P
HeadVar__1 42
mdb> continue -a
- E5: C5 CALL existential_type_classes.m:44 (from existential_type_classes.m:21)
+ E5: C5 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.int_foo/2-0 (det)
- E6: C6 CALL int.m:NNNN (from existential_type_classes.m:44)
+ E6: C6 CALL int.m:NNNN (from existential_type_classes.m:NNNN)
func int.*/2-0 (det)
- E7: C6 EXIT int.m:NNNN (from existential_type_classes.m:44)
+ E7: C6 EXIT int.m:NNNN (from existential_type_classes.m:NNNN)
func int.*/2-0 (det)
- E8: C5 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21)
+ E8: C5 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.int_foo/2-0 (det)
- E9: C4 EXIT existential_type_classes.m:21
+ E9: C4 EXIT existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det)
- E10: C3 EXIT (from existential_type_classes.m:68)
+ E10: C3 EXIT (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
- E11: C2 EXIT existential_type_classes.m:68 (from existential_type_classes.m:51)
+ E11: C2 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) 42
N (arg 2) 84
mdb> continue -a
- E12: C7 CALL existential_type_classes.m:68 (from existential_type_classes.m:52)
+ E12: C7 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) "blah"
mdb>
- E13: C8 CALL (from existential_type_classes.m:68)
+ E13: C8 CALL (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
mdb> P
HeadVar__1 "blah"
mdb>
- E14: C9 CALL existential_type_classes.m:25
+ E14: C9 CALL existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____string__arity0______existential_type_classes__foo_2/2-0 (det)
mdb> P
HeadVar__1 "blah"
mdb> continue -a
- E15: C10 CALL existential_type_classes.m:47 (from existential_type_classes.m:25)
+ E15: C10 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.string_foo/2-0 (det)
- E16: C11 CALL string.m:NNNN (from existential_type_classes.m:47)
+ E16: C11 CALL string.m:NNNN (from existential_type_classes.m:NNNN)
pred string.length/2-0 (det)
- E17: C11 EXIT string.m:NNNN (from existential_type_classes.m:47)
+ E17: C11 EXIT string.m:NNNN (from existential_type_classes.m:NNNN)
pred string.length/2-0 (det)
- E18: C10 EXIT existential_type_classes.m:47 (from existential_type_classes.m:25)
+ E18: C10 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.string_foo/2-0 (det)
- E19: C9 EXIT existential_type_classes.m:25
+ E19: C9 EXIT existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____string__arity0______existential_type_classes__foo_2/2-0 (det)
- E20: C8 EXIT (from existential_type_classes.m:68)
+ E20: C8 EXIT (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
- E21: C7 EXIT existential_type_classes.m:68 (from existential_type_classes.m:52)
+ E21: C7 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) "blah"
N (arg 2) 4
mdb> continue -a
- E22: C12 CALL existential_type_classes.m:74 (from existential_type_classes.m:53)
+ E22: C12 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_exist_t/0-0 (det)
- E23: C12 EXIT existential_type_classes.m:74 (from existential_type_classes.m:53)
+ E23: C12 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_exist_t/0-0 (det)
- E24: C13 CALL existential_type_classes.m:68 (from existential_type_classes.m:53)
+ E24: C13 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) 43
mdb>
- E25: C14 CALL (from existential_type_classes.m:68)
+ E25: C14 CALL (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
mdb> P
HeadVar__1 43
mdb>
- E26: C15 CALL existential_type_classes.m:21
+ E26: C15 CALL existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det)
mdb> P
HeadVar__1 43
mdb> continue -a
- E27: C16 CALL existential_type_classes.m:44 (from existential_type_classes.m:21)
+ E27: C16 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.int_foo/2-0 (det)
- E28: C17 CALL int.m:NNNN (from existential_type_classes.m:44)
+ E28: C17 CALL int.m:NNNN (from existential_type_classes.m:NNNN)
func int.*/2-0 (det)
- E29: C17 EXIT int.m:NNNN (from existential_type_classes.m:44)
+ E29: C17 EXIT int.m:NNNN (from existential_type_classes.m:NNNN)
func int.*/2-0 (det)
- E30: C16 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21)
+ E30: C16 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.int_foo/2-0 (det)
- E31: C15 EXIT existential_type_classes.m:21
+ E31: C15 EXIT existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det)
- E32: C14 EXIT (from existential_type_classes.m:68)
+ E32: C14 EXIT (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
- E33: C13 EXIT existential_type_classes.m:68 (from existential_type_classes.m:53)
+ E33: C13 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) 43
N (arg 2) 86
mdb> continue -a
- E34: C18 CALL existential_type_classes.m:70 (from existential_type_classes.m:54)
+ E34: C18 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.call_my_exist_t/0-0 (det)
- E35: C19 CALL existential_type_classes.m:74 (from existential_type_classes.m:70)
+ E35: C19 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_exist_t/0-0 (det)
- E36: C19 EXIT existential_type_classes.m:74 (from existential_type_classes.m:70)
+ E36: C19 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_exist_t/0-0 (det)
- E37: C18 EXIT existential_type_classes.m:70 (from existential_type_classes.m:54)
+ E37: C18 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.call_my_exist_t/0-0 (det)
- E38: C20 CALL existential_type_classes.m:68 (from existential_type_classes.m:54)
+ E38: C20 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) 43
mdb>
- E39: C21 CALL (from existential_type_classes.m:68)
+ E39: C21 CALL (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
mdb> P
HeadVar__1 43
mdb>
- E40: C22 CALL existential_type_classes.m:21
+ E40: C22 CALL existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det)
mdb> P
HeadVar__1 43
mdb> continue -a
- E41: C23 CALL existential_type_classes.m:44 (from existential_type_classes.m:21)
+ E41: C23 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.int_foo/2-0 (det)
- E42: C24 CALL int.m:NNNN (from existential_type_classes.m:44)
+ E42: C24 CALL int.m:NNNN (from existential_type_classes.m:NNNN)
func int.*/2-0 (det)
- E43: C24 EXIT int.m:NNNN (from existential_type_classes.m:44)
+ E43: C24 EXIT int.m:NNNN (from existential_type_classes.m:NNNN)
func int.*/2-0 (det)
- E44: C23 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21)
+ E44: C23 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.int_foo/2-0 (det)
- E45: C22 EXIT existential_type_classes.m:21
+ E45: C22 EXIT existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det)
- E46: C21 EXIT (from existential_type_classes.m:68)
+ E46: C21 EXIT (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
- E47: C20 EXIT existential_type_classes.m:68 (from existential_type_classes.m:54)
+ E47: C20 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) 43
N (arg 2) 86
mdb> continue -a
- E48: C25 CALL existential_type_classes.m:82 (from existential_type_classes.m:55)
+ E48: C25 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_univ/1-0 (det)
- E49: C25 EXIT existential_type_classes.m:82 (from existential_type_classes.m:55)
+ E49: C25 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_univ/1-0 (det)
- E50: C26 CALL existential_type_classes.m:76 (from existential_type_classes.m:55)
+ E50: C26 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_univ_value/1-0 (det)
- E51: C26 EXIT existential_type_classes.m:76 (from existential_type_classes.m:55)
+ E51: C26 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_univ_value/1-0 (det)
- E52: C27 CALL existential_type_classes.m:68 (from existential_type_classes.m:55)
+ E52: C27 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) 45
mdb>
- E53: C28 CALL (from existential_type_classes.m:68)
+ E53: C28 CALL (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
mdb> P
HeadVar__1 45
mdb>
- E54: C29 CALL existential_type_classes.m:21
+ E54: C29 CALL existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det)
mdb> P
HeadVar__1 45
mdb> continue -a
- E55: C30 CALL existential_type_classes.m:44 (from existential_type_classes.m:21)
+ E55: C30 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.int_foo/2-0 (det)
- E56: C31 CALL int.m:NNNN (from existential_type_classes.m:44)
+ E56: C31 CALL int.m:NNNN (from existential_type_classes.m:NNNN)
func int.*/2-0 (det)
- E57: C31 EXIT int.m:NNNN (from existential_type_classes.m:44)
+ E57: C31 EXIT int.m:NNNN (from existential_type_classes.m:NNNN)
func int.*/2-0 (det)
- E58: C30 EXIT existential_type_classes.m:44 (from existential_type_classes.m:21)
+ E58: C30 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.int_foo/2-0 (det)
- E59: C29 EXIT existential_type_classes.m:21
+ E59: C29 EXIT existential_type_classes.m:NNNN
pred existential_type_classes.ClassMethod_for_existential_type_classes__fooable____int__arity0______existential_type_classes__foo_2/2-0 (det)
- E60: C28 EXIT (from existential_type_classes.m:68)
+ E60: C28 EXIT (from existential_type_classes.m:NNNN)
pred existential_type_classes.foo/2-0 (det)
- E61: C27 EXIT existential_type_classes.m:68 (from existential_type_classes.m:55)
+ E61: C27 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) 45
N (arg 2) 90
mdb>
- E62: C32 CALL existential_type_classes.m:82 (from existential_type_classes.m:56)
+ E62: C32 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_univ/1-0 (det)
mdb>
- E63: C32 EXIT existential_type_classes.m:82 (from existential_type_classes.m:56)
+ E63: C32 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_univ/1-0 (det)
mdb>
- E64: C33 CALL existential_type_classes.m:72 (from existential_type_classes.m:56)
+ E64: C33 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.call_my_univ_value/1-0 (det)
mdb> P
Univ (arg 1) my_univ('<<c_pointer>>')
mdb>
- E65: C34 CALL existential_type_classes.m:76 (from existential_type_classes.m:72)
+ E65: C34 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_univ_value/1-0 (det)
mdb> P
HeadVar__1 my_univ('<<c_pointer>>')
mdb> continue -a
- E66: C34 EXIT existential_type_classes.m:76 (from existential_type_classes.m:72)
+ E66: C34 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.my_univ_value/1-0 (det)
- E67: C33 EXIT existential_type_classes.m:72 (from existential_type_classes.m:56)
+ E67: C33 EXIT existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
func existential_type_classes.call_my_univ_value/1-0 (det)
- E68: C35 CALL existential_type_classes.m:68 (from existential_type_classes.m:56)
+ E68: C35 CALL existential_type_classes.m:NNNN (from existential_type_classes.m:NNNN)
pred existential_type_classes.do_foo/2-0 (det)
mdb> P
X (arg 1) "something"
--------------------------------------------------------------------------
mercury-reviews mailing list
post: mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the reviews
mailing list