for revie: update expected outputs of test cases after varset change
Zoltan Somogyi
zs at cs.mu.OZ.AU
Tue Nov 24 15:05:10 AEDT 1998
This is for Tom.
tests/debugger/interpreter.exp:
tests/hard_coded/construct.exp:
tests/hard_coded/deep_copy_bug.exp:
tests/hard_coded/expand.exp:
tests/hard_coded/write.exp:
tests/hard_coded/write_reg1.exp:
Update the expected outcomes to reflect the changes to varsets.
tests/debugger/interpreter.exp2 will need to be updated later.
Zoltan.
cvs diff: Diffing .
cvs diff: Diffing benchmarks
cvs diff: Diffing debugger
Index: debugger/interpreter.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/interpreter.exp,v
retrieving revision 1.6
diff -u -u -r1.6 interpreter.exp
--- interpreter.exp 1998/11/15 16:47:44 1.6
+++ interpreter.exp 1998/11/23 07:36:59
@@ -10,23 +10,23 @@
1 HeadVar__2
2 HeadVar__4
mdb> print *
- HeadVar__1 term(varset(0, empty, empty), functor(atom(":-"), .(functor/3, []), context("interpreter.m", 22)))
+ HeadVar__1 term(varset(var_supply(0), empty, empty), functor(atom(":-"), .(functor/3, []), context("interpreter.m", 22)))
HeadVar__2 []
HeadVar__4 state('<<c_pointer>>')
mdb> goto 30
30: 16 12 CALL pred interpreter:database_assert_clause/4-0 (det)
mdb> print *
- HeadVar__1 .(clause(varset(0, empty, empty), functor(atom/1, ./2, context/2), functor(atom/1, [], context/2)), .(clause(varset/3, functor/3, functor/3), .(clause/3, [])))
- HeadVar__2 varset(0, empty, empty)
+ HeadVar__1 .(clause(varset(var_supply/1, empty, empty), functor(atom/1, ./2, context/2), functor(atom/1, [], context/2)), .(clause(varset/3, functor/3, functor/3), .(clause/3, [])))
+ HeadVar__2 varset(var_supply(0), empty, empty)
HeadVar__3 functor(atom(":-"), .(functor(atom/1, ./2, context/2), []), context("interpreter.m", 26))
mdb> finish -a
31: 16 12 ELSE pred interpreter:database_assert_clause/4-0 (det) e;
32: 16 12 EXIT pred interpreter:database_assert_clause/4-0 (det)
mdb> print *
- HeadVar__1 .(clause(varset(0, empty, empty), functor(atom/1, ./2, context/2), functor(atom/1, [], context/2)), .(clause(varset/3, functor/3, functor/3), .(clause/3, [])))
- HeadVar__2 varset(0, empty, empty)
+ HeadVar__1 .(clause(varset(var_supply/1, empty, empty), functor(atom/1, ./2, context/2), functor(atom/1, [], context/2)), .(clause(varset/3, functor/3, functor/3), .(clause/3, [])))
+ HeadVar__2 varset(var_supply(0), empty, empty)
HeadVar__3 functor(atom(":-"), .(functor(atom/1, ./2, context/2), []), context("interpreter.m", 26))
- HeadVar__4 .(clause(varset(0, empty, empty), functor(atom/1, ./2, context/2), functor(atom/1, [], context/2)), .(clause(varset/3, functor/3, functor/3), .(clause/3, ./2)))
+ HeadVar__4 .(clause(varset(var_supply/1, empty, empty), functor(atom/1, ./2, context/2), functor(atom/1, [], context/2)), .(clause(varset/3, functor/3, functor/3), .(clause/3, ./2)))
mdb>
33: 17 12 CALL pred interpreter:consult_until_eof/4-0 (det)
mdb> finish -n
cvs diff: Diffing general
cvs diff: Diffing hard_coded
Index: hard_coded/construct.exp
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/construct.exp,v
retrieving revision 1.2
diff -u -u -r1.2 construct.exp
--- construct.exp 1997/04/28 15:52:19 1.2
+++ construct.exp 1998/11/23 08:09:21
@@ -160,13 +160,16 @@
TESTING OTHER TYPES
--1 functors in this type
+1 functors in this type
+0 - var/1
--1 functors in this type
+1 functors in this type
+0 - var_supply/1
--1 functors in this type
+1 functors in this type
+0 - var_supply/1
4 functors in this type
Index: hard_coded/deep_copy_bug.exp
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/deep_copy_bug.exp,v
retrieving revision 1.3
diff -u -u -r1.3 deep_copy_bug.exp
--- deep_copy_bug.exp 1997/05/26 10:32:10 1.3
+++ deep_copy_bug.exp 1998/11/23 08:09:27
@@ -1 +1 @@
-[1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
+[var(1), var(2), var(3), var(4), var(5), var(6), var(7), var(8), var(9), var(10)]
Index: hard_coded/expand.exp
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/expand.exp,v
retrieving revision 1.2
diff -u -u -r1.2 expand.exp
--- expand.exp 1997/04/28 15:52:23 1.2
+++ expand.exp 1998/11/23 08:10:36
@@ -111,17 +111,17 @@
TESTING OTHER TYPES
-1/0
-no arguments
-expand: functor 1 arity 0 arguments []
+var/1
+argument 1 of functor var was:1
+expand: functor var arity 1 arguments [1]
-0/0
-no arguments
-expand: functor 0 arity 0 arguments []
+var_supply/1
+argument 1 of functor var_supply was:0
+expand: functor var_supply arity 1 arguments [0]
-1/0
-no arguments
-expand: functor 1 arity 0 arguments []
+var_supply/1
+argument 1 of functor var_supply was:1
+expand: functor var_supply arity 1 arguments [1]
empty/0
no arguments
Index: hard_coded/write.exp
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/write.exp,v
retrieving revision 1.8
diff -u -u -r1.8 write.exp
--- write.exp 1998/11/09 02:44:02 1.8
+++ write.exp 1998/11/23 08:10:20
@@ -39,9 +39,9 @@
'<<predicate>>'
TESTING OTHER TYPES
-1
-0
-1
+var(1)
+var_supply(0)
+var_supply(1)
empty
qwerty(4)
array([1, 2, 3, 4])
Index: hard_coded/write_reg1.exp
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/write_reg1.exp,v
retrieving revision 1.4
diff -u -u -r1.4 write_reg1.exp
--- write_reg1.exp 1997/08/05 04:38:19 1.4
+++ write_reg1.exp 1998/11/23 08:10:22
@@ -31,9 +31,9 @@
'<<predicate>>'
TESTING OTHER TYPES
-1
-0
-1
+var(1)
+var_supply(0)
+var_supply(1)
empty
qwerty(4)
cvs diff: Diffing hard_coded/sub-modules
cvs diff: Diffing hard_coded/typeclasses
cvs diff: Diffing invalid
cvs diff: Diffing misc_tests
cvs diff: Diffing tabling
cvs diff: Diffing term
cvs diff: Diffing valid
cvs diff: Diffing warnings
More information about the developers
mailing list