[m-rev.] diff: fix expected output of find_origin test case

Ian MacLarty maclarty at csse.unimelb.edu.au
Wed May 19 12:04:59 AEST 2010


tests/debugger/declarative/find_origin.exp:
tests/debugger/declarative/find_origin.exp2:
    Fix the expected output of the find_origin test.  The order of
    the questions changed because of revision 1.187 of list.m, where
    the implementation of list.filter was changed to make it amenable
    to the --optimise-constructor-last-call optimisation.

    find_origin.exp3 is unaffected, because in the decldebug grade
    subterm dependency tracking can track the subterm through the
    higher order calls in list.filter.

Index: tests/debugger/declarative/find_origin.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/find_origin.exp,v
retrieving revision 1.8
diff -u -r1.8 find_origin.exp
--- tests/debugger/declarative/find_origin.exp	7 Apr 2006 01:18:48 -0000	1.8
+++ tests/debugger/declarative/find_origin.exp	19 May 2010 01:55:33 -0000
@@ -12,13 +12,13 @@
 browser> mark
 monotest4(t(101), t(101))
 Valid? n
-Call lambda_find_origin_m_86(t(101), t(3))
+Call lambda_find_origin_m_86(t(101), t(1))
 Unsatisfiable? y
-lambda_find_origin_m_86(t(101), t(101))
-Valid? y
 Call lambda_find_origin_m_86(t(101), t(2))
 Unsatisfiable? y
-Call lambda_find_origin_m_86(t(101), t(1))
+lambda_find_origin_m_86(t(101), t(101))
+Valid? y
+Call lambda_find_origin_m_86(t(101), t(3))
 Unsatisfiable? y
 Found incorrect contour:
 lambda_find_origin_m_86(t(101), t(101))
@@ -42,10 +42,10 @@
 find_origin.polytest4(u("hello"), u("hello"))
 browser> quit
 dd> no
-lambda_find_origin_m_148(u(string), u(u("hello")), u(u("hello")))
-Valid? y
 Call lambda_find_origin_m_148(u(string), u(u("hello")), v(u("hello")))
 Unsatisfiable? y
+lambda_find_origin_m_148(u(string), u(u("hello")), u(u("hello")))
+Valid? y
 Found incorrect contour:
 lambda_find_origin_m_148(u(string), u(u("hello")), u(u("hello")))
 polytest4(u("hello"), u("hello"))
Index: tests/debugger/declarative/find_origin.exp2
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/find_origin.exp2,v
retrieving revision 1.8
diff -u -r1.8 find_origin.exp2
--- tests/debugger/declarative/find_origin.exp2	13 Jun 2006 06:05:04 -0000	1.8
+++ tests/debugger/declarative/find_origin.exp2	19 May 2010 01:55:33 -0000
@@ -12,13 +12,13 @@
 browser> mark
 monotest4(t(101), t(101))
 Valid? n
-Call lambda_find_origin_m_86(t(101), t(3))
+Call lambda_find_origin_m_86(t(101), t(1))
 Unsatisfiable? y
-lambda_find_origin_m_86(t(101), t(101))
-Valid? y
 Call lambda_find_origin_m_86(t(101), t(2))
 Unsatisfiable? y
-Call lambda_find_origin_m_86(t(101), t(1))
+lambda_find_origin_m_86(t(101), t(101))
+Valid? y
+Call lambda_find_origin_m_86(t(101), t(3))
 Unsatisfiable? y
 Found incorrect contour:
 filter(lambda_find_origin_m_86(t(101)), [t(1), t(2), t(101), t(3)], [t(101)])
@@ -42,10 +42,10 @@
 find_origin.polytest4(u("hello"), u("hello"))
 browser> quit
 dd> no
-lambda_find_origin_m_148(u(string), u(u("hello")), u(u("hello")))
-Valid? y
 Call lambda_find_origin_m_148(u(string), u(u("hello")), v(u("hello")))
 Unsatisfiable? y
+lambda_find_origin_m_148(u(string), u(u("hello")), u(u("hello")))
+Valid? y
 Found incorrect contour:
 filter(lambda_find_origin_m_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"))
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the reviews mailing list