[m-rev.] diff: fix broken debug tests.

Paul Bone pbone at csse.unimelb.edu.au
Wed Sep 3 11:17:32 AEST 2008


Estimated time taken: 0.5
Branches: main

Fix broken declarative debug tests, these where broken by changes to structures
in mdbcomp/program_representation.m

tests/debugger/declarative/builtin_call_rep.exp:
tests/debugger/declarative/dependency.exp:
	Conform to changes in mdbcomp/program_representation.m

Index: tests/debugger/declarative/builtin_call_rep.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/builtin_call_rep.exp,v
retrieving revision 1.5
diff -u -r1.5 builtin_call_rep.exp
--- tests/debugger/declarative/builtin_call_rep.exp	12 Aug 2008 02:51:08 -0000	1.5
+++ tests/debugger/declarative/builtin_call_rep.exp	28 Aug 2008 10:15:39 -0000
@@ -5,11 +5,11 @@
 mdb> step
       E2:     C2 CALL func int.+/2-0 (det)
 mdb> print proc_body
-	proc_defn_rep([1, 2, 3], atomic_goal_rep(det_rep, "int.m", NN, [3], builtin_call_rep/3), empty)
+	proc_defn_rep([1, 2, 3], goal_rep(atomic_goal_rep("int.m", NN, [|]/2, builtin_call_rep/3), det_rep), empty, det_rep)
 mdb> browse proc_body
 browser> cd 2
 browser> ls
-atomic_goal_rep(det_rep, "int.m", NN, [3], builtin_call_rep("int", "+", [1, 2, 3]))
+goal_rep(atomic_goal_rep("int.m", NN, [3], builtin_call_rep("int", "+", [1, 2, 3])), det_rep)
 browser> quit
 mdb> f
       E3:     C2 EXIT func int.+/2-0 (det)
Index: tests/debugger/declarative/dependency.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/dependency.exp,v
retrieving revision 1.16
diff -u -r1.16 dependency.exp
--- tests/debugger/declarative/dependency.exp	12 Aug 2008 02:51:08 -0000	1.16
+++ tests/debugger/declarative/dependency.exp	28 Aug 2008 10:16:49 -0000
@@ -22,20 +22,24 @@
 	
 proc_defn_rep(
   [|](1, []), 
-  conj_rep(
-    [|](
-      atomic_goal_rep(
-        det_rep, 
-        "dependency.m", 
-        20, 
-        [|](2, []), 
-        plain_call_rep("dependency", "p", [|](2, []))), 
+  goal_rep(
+    conj_rep(
       [|](
-        ite_rep(atomic_goal_rep/5, atomic_goal_rep/5, atomic_goal_rep/5), 
+        goal_rep(
+          atomic_goal_rep(
+            "dependency.m", 
+            20, 
+            [|](2, []), 
+            plain_call_rep("dependency", "p", [|](2, []))), 
+          det_rep), 
         [|](
-          atomic_goal_rep/5, 
-          [|](switch_rep(4, [|]/2), [|](disj_rep/1, [|]/2)))))), 
-  empty)
+          goal_rep(ite_rep(goal_rep/2, goal_rep/2, goal_rep/2), det_rep), 
+          [|](
+            goal_rep(atomic_goal_rep/4, det_rep), 
+            [|](goal_rep/2, [|](goal_rep/2, [|]/2)))))), 
+    cc_multidet_rep), 
+  empty, 
+  cc_multidet_rep)
 mdb> dd -d 3 -n 7
 test([|](1, [|](3, [|](6, [|](1, [|](3, []))))))
 Valid? browse 1
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20080903/f5961c05/attachment.sig>


More information about the reviews mailing list