[m-rev.] diff: more updated test cases

Zoltan Somogyi zs at cs.mu.OZ.AU
Mon Jan 24 13:22:20 AEDT 2005


tests/debugger/declarative/*.exp2:
	Update these test cases to expect the more readable form of names for 
	lambda predicates.

Zoltan.

cvs diff: Diffing .
cvs diff: Diffing benchmarks
cvs diff: Diffing debugger
cvs diff: Diffing debugger/declarative
Index: debugger/declarative/find_origin.exp2
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/debugger/declarative/find_origin.exp2,v
retrieving revision 1.2
diff -u -b -r1.2 find_origin.exp2
--- debugger/declarative/find_origin.exp2	6 Jan 2005 03:20:12 -0000	1.2
+++ debugger/declarative/find_origin.exp2	23 Jan 2005 07:47:05 -0000
@@ -12,19 +12,19 @@
 browser> mark
 monotest4(t(101), t(101))
 Valid? n
-Call IntroducedFrom__pred__monotest4__86__1(t(101), t(3))
+Call lambda_find_origin_86(t(101), t(3))
 No solutions.
 Complete? y
-IntroducedFrom__pred__monotest4__86__1(t(101), t(101))
+lambda_find_origin_86(t(101), t(101))
 Valid? y
-Call IntroducedFrom__pred__monotest4__86__1(t(101), t(2))
+Call lambda_find_origin_86(t(101), t(2))
 No solutions.
 Complete? y
-Call IntroducedFrom__pred__monotest4__86__1(t(101), t(1))
+Call lambda_find_origin_86(t(101), t(1))
 No solutions.
 Complete? y
 Found incorrect contour:
-filter(IntroducedFrom__pred__monotest4__86__1(t(101)), [t(1), t(2), t(101), t(3)], [t(101)])
+filter(lambda_find_origin_86(t(101)), [t(1), t(2), t(101), t(3)], [t(101)])
 monotest4(t(101), t(101))
 Is this a bug? y
       E4:     C3 EXIT pred find_origin.monotest4/2-0 (det)
@@ -46,13 +46,13 @@
 browser> quit
 polytest4(u("hello"), u("hello"))
 Valid? no
-IntroducedFrom__pred__polytest4__148__2(u(string), u(u("hello")), u(u("hello")))
+lambda_find_origin_148(u(string), u(u("hello")), u(u("hello")))
 Valid? y
-Call IntroducedFrom__pred__polytest4__148__2(u(string), u(u("hello")), v(u("hello")))
+Call lambda_find_origin_148(u(string), u(u("hello")), v(u("hello")))
 No solutions.
 Complete? y
 Found incorrect contour:
-filter(IntroducedFrom__pred__polytest4__148__2(u(string), u(u/1)), [v(u/1), v(u/1), v(u/1), u(u/1)], [u/1])
+filter(lambda_find_origin_148(u(string), u(u/1)), [v(u/1), v(u/1), v(u/1), u(u/1)], [u/1])
 polytest4(u("hello"), u("hello"))
 Is this a bug? y
       E7:     C5 EXIT pred find_origin.polytest4/2-0 (det)
Index: debugger/declarative/higher_order.exp2
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/debugger/declarative/higher_order.exp2,v
retrieving revision 1.2
diff -u -b -r1.2 higher_order.exp2
--- debugger/declarative/higher_order.exp2	6 Jan 2005 03:20:12 -0000	1.2
+++ debugger/declarative/higher_order.exp2	23 Jan 2005 07:47:18 -0000
@@ -11,10 +11,10 @@
 mdb> dd
 p(3, 81)
 Valid? no
-q('IntroducedFrom__pred__p__16__1', 3, 81)
+q(lambda_higher_order_16, 3, 81)
 Valid? yes
 Found incorrect contour:
-q('IntroducedFrom__pred__p__16__1', 3, 81)
+q(lambda_higher_order_16, 3, 81)
 p(3, 81)
 Is this a bug? yes
       11:      2  2 EXIT pred higher_order.p/2-0 (det) higher_order.m:15 (higher_order.m:9)
Index: debugger/declarative/ho2.exp2
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/debugger/declarative/ho2.exp2,v
retrieving revision 1.2
diff -u -b -r1.2 ho2.exp2
--- debugger/declarative/ho2.exp2	6 Jan 2005 03:20:12 -0000	1.2
+++ debugger/declarative/ho2.exp2	23 Jan 2005 07:47:23 -0000
@@ -11,10 +11,10 @@
 mdb> dd
 p(0, 3, 27)
 Valid? no
-q('IntroducedFrom__pred__p__22__1'(3), 3, 27)
+q(lambda_ho2_22(3), 3, 27)
 Valid? yes
 Found incorrect contour:
-q('IntroducedFrom__pred__p__22__1'(3), 3, 27)
+q(lambda_ho2_22(3), 3, 27)
 p(0, 3, 27)
 Is this a bug? yes
       11:      2  2 EXIT pred ho2.p/3-0 (det) ho2.m:21 (ho2.m:9)
@@ -26,7 +26,7 @@
 p(1, 3, 27)
 Valid? no
 Found incorrect contour:
-q('IntroducedFrom__pred__p__22__1'(3), 3, 27)
+q(lambda_ho2_22(3), 3, 27)
 p(1, 3, 27)
 Is this a bug? yes
       21:      7  2 EXIT pred ho2.p/3-0 (det) ho2.m:21 (ho2.m:10)
@@ -37,10 +37,10 @@
 mdb> dd
 p(2, 4, 64)
 Valid? no
-q('IntroducedFrom__pred__p__22__1'(4), 4, 64)
+q(lambda_ho2_22(4), 4, 64)
 Valid? yes
 Found incorrect contour:
-q('IntroducedFrom__pred__p__22__1'(4), 4, 64)
+q(lambda_ho2_22(4), 4, 64)
 p(2, 4, 64)
 Is this a bug? yes
       31:     12  2 EXIT pred ho2.p/3-0 (det) ho2.m:21 (ho2.m:11)
cvs diff: Diffing dppd
cvs diff: Diffing general
cvs diff: Diffing general/accumulator
cvs diff: Diffing general/string_format
cvs diff: Diffing general/structure_reuse
cvs diff: Diffing grade_subdirs
cvs diff: Diffing hard_coded
cvs diff: Diffing hard_coded/exceptions
cvs diff: Diffing hard_coded/purity
cvs diff: Diffing hard_coded/sub-modules
cvs diff: Diffing hard_coded/typeclasses
cvs diff: Diffing invalid
cvs diff: Diffing invalid/purity
cvs diff: Diffing misc_tests
cvs diff: Diffing mmc_make
cvs diff: Diffing mmc_make/lib
cvs diff: Diffing recompilation
cvs diff: Diffing tabling
cvs diff: Diffing term
cvs diff: Diffing valid
cvs diff: Diffing warnings
--------------------------------------------------------------------------
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