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