[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