[m-rev.] trivial diff: update debugger test case output
Simon Taylor
stayl at cs.mu.OZ.AU
Sun Feb 17 21:55:32 AEDT 2002
Estimated hours taken: 0.25
Branches: main
tests/debugger/breakpoints.exp2:
tests/debugger/existential_type_classes.exp2:
tests/debugger/polymorphic_output.exp:
tests/debugger/polymorphic_output.exp2:
Update expected output after my change to the handling of
breakpoints and the printing of events involving functions.
Index: breakpoints.exp2
===================================================================
RCS file: breakpoints.exp2
diff -N breakpoints.exp2
--- /dev/null 1 Jan 1970 00:00:00 -0000
+++ breakpoints.exp2 17 Feb 2002 10:09:47 -0000
@@ -0,0 +1,147 @@
+ 1: 1 1 CALL pred breakpoints:main/2-0 (cc_multi) breakpoints.m:17
+mdb> echo on
+Command echo enabled.
+mdb> register --quiet
+mdb> break data
+Ambiguous procedure specification. The matches are:
+0: pred breakpoints:data/1-0 (det)
+1: func breakpoints:data/0-0 (det)
+
+Which do you want to put a breakpoint on (0-1 or *)? *
+ 0: + stop interface pred breakpoints:data/1-0 (det)
+ 1: + stop interface func breakpoints:data/0-0 (det)
+mdb> delete 0
+ 0: E stop interface pred breakpoints:data/1-0 (det)
+mdb> delete 1
+ 1: E stop interface func breakpoints:data/0-0 (det)
+mdb> break data
+Ambiguous procedure specification. The matches are:
+0: pred breakpoints:data/1-0 (det)
+1: func breakpoints:data/0-0 (det)
+
+Which do you want to put a breakpoint on (0-1 or *)? 0
+ 0: + stop interface pred breakpoints:data/1-0 (det)
+mdb> continue
+ 3: 3 3 CALL pred breakpoints:data/1-0 (det) breakpoints.m:44 (breakpoints.m:42)
+mdb> disable 0
+ 0: - stop interface pred breakpoints:data/1-0 (det)
+mdb> break info
+ 0: - stop interface pred breakpoints:data/1-0 (det)
+mdb> break qperm
+ 1: + stop interface pred breakpoints:qperm/2-0 (nondet)
+mdb> break safe
+ 2: + stop interface pred breakpoints:safe/1-0 (semidet)
+mdb> break -e qperm
+ 3: + stop entry pred breakpoints:qperm/2-0 (nondet)
+mdb> break -a qperm
+ 4: + stop all pred breakpoints:qperm/2-0 (nondet)
+mdb> break /
+Ambiguous procedure specification. The matches are:
+0: func breakpoints://2-0 (det)
+1: func breakpoints:print_list://2-0 (det)
+2: func float://2-0 (det)
+3: func rational://2-0 (det)
+
+Which do you want to put a breakpoint on (0-3 or *)? 0
+ 5: + stop interface func breakpoints://2-0 (det)
+mdb> break //2
+Ambiguous procedure specification. The matches are:
+0: func breakpoints://2-0 (det)
+1: func breakpoints:print_list://2-0 (det)
+2: func float://2-0 (det)
+3: func rational://2-0 (det)
+
+Which do you want to put a breakpoint on (0-3 or *)? 0
+ 6: + stop interface func breakpoints://2-0 (det)
+mdb> break breakpoints:print_list:-/2
+ 7: + stop interface func breakpoints:print_list:-/2-0 (det)
+mdb> break breakpoints:print_list:--0
+ 8: + stop interface func breakpoints:print_list:-/2-0 (det)
+mdb> break breakpoints__print_list__/-0
+ 9: + stop interface func breakpoints:print_list://2-0 (det)
+mdb> break breakpoints__print_list__print_list
+10: + stop interface pred breakpoints:print_list:print_list/3-0 (det)
+mdb> break breakpoints:print_list:print_list/3
+11: + stop interface pred breakpoints:print_list:print_list/3-0 (det)
+mdb> break info
+ 0: - stop interface pred breakpoints:data/1-0 (det)
+ 1: + stop interface pred breakpoints:qperm/2-0 (nondet)
+ 2: + stop interface pred breakpoints:safe/1-0 (semidet)
+ 3: + stop entry pred breakpoints:qperm/2-0 (nondet)
+ 4: + stop all pred breakpoints:qperm/2-0 (nondet)
+ 5: + stop interface func breakpoints://2-0 (det)
+ 6: + stop interface func breakpoints://2-0 (det)
+ 7: + stop interface func breakpoints:print_list:-/2-0 (det)
+ 8: + stop interface func breakpoints:print_list:-/2-0 (det)
+ 9: + stop interface func breakpoints:print_list://2-0 (det)
+10: + stop interface pred breakpoints:print_list:print_list/3-0 (det)
+11: + stop interface pred breakpoints:print_list:print_list/3-0 (det)
+mdb> delete 0
+ 0: D stop interface pred breakpoints:data/1-0 (det)
+mdb> break info
+ 1: + stop interface pred breakpoints:qperm/2-0 (nondet)
+ 2: + stop interface pred breakpoints:safe/1-0 (semidet)
+ 3: + stop entry pred breakpoints:qperm/2-0 (nondet)
+ 4: + stop all pred breakpoints:qperm/2-0 (nondet)
+ 5: + stop interface func breakpoints://2-0 (det)
+ 6: + stop interface func breakpoints://2-0 (det)
+ 7: + stop interface func breakpoints:print_list:-/2-0 (det)
+ 8: + stop interface func breakpoints:print_list:-/2-0 (det)
+ 9: + stop interface func breakpoints:print_list://2-0 (det)
+10: + stop interface pred breakpoints:print_list:print_list/3-0 (det)
+11: + stop interface pred breakpoints:print_list:print_list/3-0 (det)
+mdb> disable 3
+ 3: - stop entry pred breakpoints:qperm/2-0 (nondet)
+mdb> break nodiag
+ 0: + stop interface pred breakpoints:nodiag/3-0 (semidet)
+mdb> continue
+ 7: 5 3 CALL pred breakpoints:qperm/2-0 (nondet) breakpoints.m:50 (breakpoints.m:47)
+mdb> continue
+ 8: 5 3 SWTC pred breakpoints:qperm/2-0 (nondet) s2; breakpoints.m:51
+mdb> finish -N
+ 12: 7 4 CALL pred breakpoints:qperm/2-0 (nondet) breakpoints.m:50 (breakpoints.m:54)
+mdb> finish -n
+ 38: 7 4 EXIT pred breakpoints:qperm/2-0 (nondet) breakpoints.m:50 (breakpoints.m:54)
+mdb> continue
+ 39: 5 3 EXIT pred breakpoints:qperm/2-0 (nondet) breakpoints.m:50 (breakpoints.m:47)
+mdb> continue
+ 40: 16 3 CALL pred breakpoints:safe/1-0 (semidet) breakpoints.m:60 (breakpoints.m:48)
+mdb> finish
+ 42: 17 4 CALL pred breakpoints:nodiag/3-0 (semidet) breakpoints.m:65 (breakpoints.m:62)
+ 45: 17 4 FAIL pred breakpoints:nodiag/3-0 (semidet) breakpoints.m:65 (breakpoints.m:62)
+ 46: 16 3 FAIL pred breakpoints:safe/1-0 (semidet) breakpoints.m:60 (breakpoints.m:48)
+mdb> delete *
+ 0: E stop interface pred breakpoints:nodiag/3-0 (semidet)
+ 1: E stop interface pred breakpoints:qperm/2-0 (nondet)
+ 2: E stop interface pred breakpoints:safe/1-0 (semidet)
+ 3: D stop entry pred breakpoints:qperm/2-0 (nondet)
+ 4: E stop all pred breakpoints:qperm/2-0 (nondet)
+ 5: E stop interface func breakpoints://2-0 (det)
+ 6: E stop interface func breakpoints://2-0 (det)
+ 7: E stop interface func breakpoints:print_list:-/2-0 (det)
+ 8: E stop interface func breakpoints:print_list:-/2-0 (det)
+ 9: E stop interface func breakpoints:print_list://2-0 (det)
+10: E stop interface pred breakpoints:print_list:print_list/3-0 (det)
+11: E stop interface pred breakpoints:print_list:print_list/3-0 (det)
+mdb> break info
+There are no break points.
+mdb> delete *
+There are no break points.
+mdb> break -i -I3 qperm
+ 0: + stop interface pred breakpoints:qperm/2-0 (nondet)
+ (ignore next 3 interface events)
+mdb> continue
+ 50: 11 6 REDO pred breakpoints:qperm/2-0 (nondet) breakpoints.m:50 (breakpoints.m:54)
+mdb> print *
+ HeadVar__1 [4, 5]
+mdb> ignore -E4 0
+ 0: + stop interface pred breakpoints:qperm/2-0 (nondet)
+ (ignore next 4 call events)
+mdb> continue
+ 123: 32 8 CALL pred breakpoints:qperm/2-0 (nondet) breakpoints.m:50 (breakpoints.m:54)
+mdb> print *
+ HeadVar__1 []
+mdb> delete *
+ 0: E stop interface pred breakpoints:qperm/2-0 (nondet)
+mdb> continue
+[1, 3, 5, 2, 4]
Index: existential_type_classes.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/existential_type_classes.exp2,v
retrieving revision 1.10
diff -u -u -r1.10 existential_type_classes.exp2
--- existential_type_classes.exp2 11 Jul 2001 05:21:20 -0000 1.10
+++ existential_type_classes.exp2 17 Feb 2002 10:21:07 -0000
@@ -72,9 +72,9 @@
HeadVar__2 4
mdb> continue -a
20: 11 2 CALL existential_type_classes.m:74 (from existential_type_classes.m:53)
- func existential_type_classes:my_exist_t/1-0 (det)
+ func existential_type_classes:my_exist_t/0-0 (det)
21: 11 2 EXIT existential_type_classes.m:74 (from existential_type_classes.m:53)
- func existential_type_classes:my_exist_t/1-0 (det)
+ func existential_type_classes:my_exist_t/0-0 (det)
22: 12 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:53)
pred existential_type_classes:do_foo/2-0 (det)
mdb> P
@@ -105,13 +105,13 @@
HeadVar__2 86
mdb> continue -a
30: 16 2 CALL existential_type_classes.m:70 (from existential_type_classes.m:54)
- func existential_type_classes:call_my_exist_t/1-0 (det)
+ func existential_type_classes:call_my_exist_t/0-0 (det)
31: 17 3 CALL existential_type_classes.m:74 (from existential_type_classes.m:70)
- func existential_type_classes:my_exist_t/1-0 (det)
+ func existential_type_classes:my_exist_t/0-0 (det)
32: 17 3 EXIT existential_type_classes.m:74 (from existential_type_classes.m:70)
- func existential_type_classes:my_exist_t/1-0 (det)
+ func existential_type_classes:my_exist_t/0-0 (det)
33: 16 2 EXIT existential_type_classes.m:70 (from existential_type_classes.m:54)
- func existential_type_classes:call_my_exist_t/1-0 (det)
+ func existential_type_classes:call_my_exist_t/0-0 (det)
34: 18 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:54)
pred existential_type_classes:do_foo/2-0 (det)
mdb> P
@@ -142,13 +142,13 @@
HeadVar__2 86
mdb> continue -a
42: 22 2 CALL existential_type_classes.m:82 (from existential_type_classes.m:55)
- func existential_type_classes:my_univ/2-0 (det)
+ func existential_type_classes:my_univ/1-0 (det)
43: 22 2 EXIT existential_type_classes.m:82 (from existential_type_classes.m:55)
- func existential_type_classes:my_univ/2-0 (det)
+ func existential_type_classes:my_univ/1-0 (det)
44: 23 2 CALL existential_type_classes.m:76 (from existential_type_classes.m:55)
- func existential_type_classes:my_univ_value/2-0 (det)
+ func existential_type_classes:my_univ_value/1-0 (det)
45: 23 2 EXIT existential_type_classes.m:76 (from existential_type_classes.m:55)
- func existential_type_classes:my_univ_value/2-0 (det)
+ func existential_type_classes:my_univ_value/1-0 (det)
46: 24 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:55)
pred existential_type_classes:do_foo/2-0 (det)
mdb> P
@@ -179,25 +179,25 @@
HeadVar__2 90
mdb>
54: 28 2 CALL existential_type_classes.m:82 (from existential_type_classes.m:56)
- func existential_type_classes:my_univ/2-0 (det)
+ func existential_type_classes:my_univ/1-0 (det)
mdb>
55: 28 2 EXIT existential_type_classes.m:82 (from existential_type_classes.m:56)
- func existential_type_classes:my_univ/2-0 (det)
+ func existential_type_classes:my_univ/1-0 (det)
mdb>
56: 29 2 CALL existential_type_classes.m:72 (from existential_type_classes.m:56)
- func existential_type_classes:call_my_univ_value/2-0 (det)
+ func existential_type_classes:call_my_univ_value/1-0 (det)
mdb> P
HeadVar__1 my_univ('<<c_pointer>>')
mdb>
57: 30 3 CALL existential_type_classes.m:76 (from existential_type_classes.m:72)
- func existential_type_classes:my_univ_value/2-0 (det)
+ func existential_type_classes:my_univ_value/1-0 (det)
mdb> P
Univ my_univ('<<c_pointer>>')
mdb> continue -a
58: 30 3 EXIT existential_type_classes.m:76 (from existential_type_classes.m:72)
- func existential_type_classes:my_univ_value/2-0 (det)
+ func existential_type_classes:my_univ_value/1-0 (det)
59: 29 2 EXIT existential_type_classes.m:72 (from existential_type_classes.m:56)
- func existential_type_classes:call_my_univ_value/2-0 (det)
+ func existential_type_classes:call_my_univ_value/1-0 (det)
60: 31 2 CALL existential_type_classes.m:68 (from existential_type_classes.m:56)
pred existential_type_classes:do_foo/2-0 (det)
mdb> P
Index: polymorphic_output.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/polymorphic_output.exp,v
retrieving revision 1.6
diff -u -u -r1.6 polymorphic_output.exp
--- polymorphic_output.exp 4 Feb 2002 05:23:02 -0000 1.6
+++ polymorphic_output.exp 17 Feb 2002 10:39:13 -0000
@@ -5,11 +5,11 @@
mdb> context none
Contexts will not be printed.
mdb> b functor_names
- 0: + stop interface func polymorphic_output:functor_names/2-0 (det)
+ 0: + stop interface func polymorphic_output:functor_names/1-0 (det)
mdb> c
- 2: 2 2 CALL func polymorphic_output:functor_names/2-0 (det)
+ 2: 2 2 CALL func polymorphic_output:functor_names/1-0 (det)
mdb> delete 0
- 0: E stop interface func polymorphic_output:functor_names/2-0 (det)
+ 0: E stop interface func polymorphic_output:functor_names/1-0 (det)
mdb> p goal
functor_names(two("three", 3, three("four", 4, "one", 1, empty, empty, empty), two("two", 2, empty, empty))) = _
mdb> set format verbose
Index: polymorphic_output.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/polymorphic_output.exp2,v
retrieving revision 1.9
diff -u -u -r1.9 polymorphic_output.exp2
--- polymorphic_output.exp2 4 Feb 2002 05:23:02 -0000 1.9
+++ polymorphic_output.exp2 17 Feb 2002 10:31:38 -0000
@@ -5,11 +5,11 @@
mdb> context none
Contexts will not be printed.
mdb> b functor_names
- 0: + stop interface func polymorphic_output:functor_names/2-0 (det)
+ 0: + stop interface func polymorphic_output:functor_names/1-0 (det)
mdb> c
- 4: 3 2 CALL func polymorphic_output:functor_names/2-0 (det)
+ 4: 3 2 CALL func polymorphic_output:functor_names/1-0 (det)
mdb> delete 0
- 0: E stop interface func polymorphic_output:functor_names/2-0 (det)
+ 0: E stop interface func polymorphic_output:functor_names/1-0 (det)
mdb> p goal
functor_names(two("three", 3, three("four", 4, "one", 1, empty, empty, empty), two("two", 2, empty, empty))) = _
mdb> set format verbose
@@ -52,14 +52,14 @@
'_'
browser> quit
mdb> b std_util__det_arg
- 0: + stop interface func std_util:det_arg/3-0 (det)
+ 0: + stop interface func std_util:det_arg/2-0 (det)
mdb> c
- 9: 6 4 CALL func std_util:det_arg/3-0 (det)
+ 9: 6 4 CALL func std_util:det_arg/2-0 (det)
mdb> P
HeadVar__1 two("three", 3, three("four", 4, "one", 1, empty, empty, empty), two/4)
HeadVar__2 3
mdb> f
- 10: 6 4 EXCP func std_util:det_arg/3-0 (det)
+ 10: 6 4 EXCP func std_util:det_arg/2-0 (det)
mdb> P
HeadVar__1 two("three", 3, three("four", 4, "one", 1, empty, empty, empty), two/4)
HeadVar__2 3
--------------------------------------------------------------------------
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