diff options
author | paltherr <paltherr@epfl.ch> | 2003-04-01 11:26:16 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-04-01 11:26:16 +0000 |
commit | 15aeb5fd4884ca196331f850dce78e88a923adfe (patch) | |
tree | c6e364b4f22ac11c4a536ed1afb3809d8637ee1f /test/files/run/Course-2002-07.check | |
parent | 7104fcb44257f28d8068c206628c6045365cd843 (diff) | |
download | scala-15aeb5fd4884ca196331f850dce78e88a923adfe.tar.gz scala-15aeb5fd4884ca196331f850dce78e88a923adfe.tar.bz2 scala-15aeb5fd4884ca196331f850dce78e88a923adfe.zip |
- Adapted test files to new method List.toString
Diffstat (limited to 'test/files/run/Course-2002-07.check')
-rw-r--r-- | test/files/run/Course-2002-07.check | 134 |
1 files changed, 67 insertions, 67 deletions
diff --git a/test/files/run/Course-2002-07.check b/test/files/run/Course-2002-07.check index bb69b26734..0a378e6d20 100644 --- a/test/files/run/Course-2002-07.check +++ b/test/files/run/Course-2002-07.check @@ -22,73 +22,73 @@ 1 + 2 = 3 2 + 3 + 4 = 9 -[] = concat([]) -[] = concat([[]]) -[] = concat([[],[]]) -[] = concat([[],[],[]]) -[1,2,3,4,5,6] = concat([[1,2,3,4,5,6]]) -[1,2,3,4,5,6] = concat([[1,2,3,4,5,6],[]]) -[1,2,3,4,5,6] = concat([[1,2,3],[4,5,6]]) -[1,2,3,4,5,6] = concat([[],[1,2,3,4,5,6]]) -[1,2,3,4,5,6] = concat([[1,2,3,4,5,6],[],[]]) -[1,2,3,4,5,6] = concat([[1,2,3,4,5],[6],[]]) -[1,2,3,4,5,6] = concat([[1,2,3],[4,5,6],[]]) -[1,2,3,4,5,6] = concat([[1],[2,3,4,5,6],[]]) -[1,2,3,4,5,6] = concat([[],[1,2,3,4,5,6],[]]) -[1,2,3,4,5,6] = concat([[],[1,2,3,4,5],[6]]) -[1,2,3,4,5,6] = concat([[],[1,2,3],[4,5,6]]) -[1,2,3,4,5,6] = concat([[],[1],[2,3,4,5,6]]) -[1,2,3,4,5,6] = concat([[],[],[1,2,3,4,5,6]]) -[1,2,3,4,5,6] = concat([[1,2],[3,4],[5,6]]) - -[] = zipFun([],[]) -[] = zipFun([],[a,b,c]) -[] = zipFun([1,2,3],[]) -[(1,a)] = zipFun([1],[a]) -[(1,a)] = zipFun([1],[a,b,c]) -[(1,a)] = zipFun([1,2,3],[a]) -[(1,a),(2,b)] = zipFun([1,2],[a,b]) -[(1,a),(2,b)] = zipFun([1,2],[a,b,c]) -[(1,a),(2,b)] = zipFun([1,2,3],[a,b]) -[(1,a),(2,b),(3,c)] = zipFun([1,2,3],[a,b,c]) - -[] = heads([]) -[] = heads([[]]) -[] = heads([[],[]]) -[] = heads([[],[],[]]) -[1] = heads([[1,2,3,4,5,6]]) -[1] = heads([[1,2,3,4,5,6],[]]) -[1] = heads([[],[1,2,3,4,5,6]]) -[1] = heads([[1,2,3,4,5,6],[],[]]) -[1] = heads([[],[1,2,3,4,5,6],[]]) -[1] = heads([[],[],[1,2,3,4,5,6]]) -[1,2] = heads([[1],[2,3,4,5,6],[]]) -[1,2] = heads([[],[1],[2,3,4,5,6]]) -[1,4] = heads([[1,2,3],[4,5,6]]) -[1,4] = heads([[1,2,3],[4,5,6],[]]) -[1,4] = heads([[],[1,2,3],[4,5,6]]) -[1,6] = heads([[1,2,3,4,5],[6],[]]) -[1,6] = heads([[],[1,2,3,4,5],[6]]) -[1,3,5] = heads([[1,2],[3,4],[5,6]]) - -[] = heads([]) -[] = heads([[]]) -[] = heads([[],[]]) -[] = heads([[],[],[]]) -[1] = heads([[1,2,3,4,5,6]]) -[1] = heads([[1,2,3,4,5,6],[]]) -[1] = heads([[],[1,2,3,4,5,6]]) -[1] = heads([[1,2,3,4,5,6],[],[]]) -[1] = heads([[],[1,2,3,4,5,6],[]]) -[1] = heads([[],[],[1,2,3,4,5,6]]) -[1,2] = heads([[1],[2,3,4,5,6],[]]) -[1,2] = heads([[],[1],[2,3,4,5,6]]) -[1,4] = heads([[1,2,3],[4,5,6]]) -[1,4] = heads([[1,2,3],[4,5,6],[]]) -[1,4] = heads([[],[1,2,3],[4,5,6]]) -[1,6] = heads([[1,2,3,4,5],[6],[]]) -[1,6] = heads([[],[1,2,3,4,5],[6]]) -[1,3,5] = heads([[1,2],[3,4],[5,6]]) +List() = concat(List()) +List() = concat(List(List())) +List() = concat(List(List(),List())) +List() = concat(List(List(),List(),List())) +List(1,2,3,4,5,6) = concat(List(List(1,2,3,4,5,6))) +List(1,2,3,4,5,6) = concat(List(List(1,2,3,4,5,6),List())) +List(1,2,3,4,5,6) = concat(List(List(1,2,3),List(4,5,6))) +List(1,2,3,4,5,6) = concat(List(List(),List(1,2,3,4,5,6))) +List(1,2,3,4,5,6) = concat(List(List(1,2,3,4,5,6),List(),List())) +List(1,2,3,4,5,6) = concat(List(List(1,2,3,4,5),List(6),List())) +List(1,2,3,4,5,6) = concat(List(List(1,2,3),List(4,5,6),List())) +List(1,2,3,4,5,6) = concat(List(List(1),List(2,3,4,5,6),List())) +List(1,2,3,4,5,6) = concat(List(List(),List(1,2,3,4,5,6),List())) +List(1,2,3,4,5,6) = concat(List(List(),List(1,2,3,4,5),List(6))) +List(1,2,3,4,5,6) = concat(List(List(),List(1,2,3),List(4,5,6))) +List(1,2,3,4,5,6) = concat(List(List(),List(1),List(2,3,4,5,6))) +List(1,2,3,4,5,6) = concat(List(List(),List(),List(1,2,3,4,5,6))) +List(1,2,3,4,5,6) = concat(List(List(1,2),List(3,4),List(5,6))) + +List() = zipFun(List(),List()) +List() = zipFun(List(),List(a,b,c)) +List() = zipFun(List(1,2,3),List()) +List((1,a)) = zipFun(List(1),List(a)) +List((1,a)) = zipFun(List(1),List(a,b,c)) +List((1,a)) = zipFun(List(1,2,3),List(a)) +List((1,a),(2,b)) = zipFun(List(1,2),List(a,b)) +List((1,a),(2,b)) = zipFun(List(1,2),List(a,b,c)) +List((1,a),(2,b)) = zipFun(List(1,2,3),List(a,b)) +List((1,a),(2,b),(3,c)) = zipFun(List(1,2,3),List(a,b,c)) + +List() = heads(List()) +List() = heads(List(List())) +List() = heads(List(List(),List())) +List() = heads(List(List(),List(),List())) +List(1) = heads(List(List(1,2,3,4,5,6))) +List(1) = heads(List(List(1,2,3,4,5,6),List())) +List(1) = heads(List(List(),List(1,2,3,4,5,6))) +List(1) = heads(List(List(1,2,3,4,5,6),List(),List())) +List(1) = heads(List(List(),List(1,2,3,4,5,6),List())) +List(1) = heads(List(List(),List(),List(1,2,3,4,5,6))) +List(1,2) = heads(List(List(1),List(2,3,4,5,6),List())) +List(1,2) = heads(List(List(),List(1),List(2,3,4,5,6))) +List(1,4) = heads(List(List(1,2,3),List(4,5,6))) +List(1,4) = heads(List(List(1,2,3),List(4,5,6),List())) +List(1,4) = heads(List(List(),List(1,2,3),List(4,5,6))) +List(1,6) = heads(List(List(1,2,3,4,5),List(6),List())) +List(1,6) = heads(List(List(),List(1,2,3,4,5),List(6))) +List(1,3,5) = heads(List(List(1,2),List(3,4),List(5,6))) + +List() = heads(List()) +List() = heads(List(List())) +List() = heads(List(List(),List())) +List() = heads(List(List(),List(),List())) +List(1) = heads(List(List(1,2,3,4,5,6))) +List(1) = heads(List(List(1,2,3,4,5,6),List())) +List(1) = heads(List(List(),List(1,2,3,4,5,6))) +List(1) = heads(List(List(1,2,3,4,5,6),List(),List())) +List(1) = heads(List(List(),List(1,2,3,4,5,6),List())) +List(1) = heads(List(List(),List(),List(1,2,3,4,5,6))) +List(1,2) = heads(List(List(1),List(2,3,4,5,6),List())) +List(1,2) = heads(List(List(),List(1),List(2,3,4,5,6))) +List(1,4) = heads(List(List(1,2,3),List(4,5,6))) +List(1,4) = heads(List(List(1,2,3),List(4,5,6),List())) +List(1,4) = heads(List(List(),List(1,2,3),List(4,5,6))) +List(1,6) = heads(List(List(1,2,3,4,5),List(6),List())) +List(1,6) = heads(List(List(),List(1,2,3,4,5),List(6))) +List(1,3,5) = heads(List(List(1,2),List(3,4),List(5,6))) f (x) = Prod(Var(x), Var(x)) f'(x) = Sum(Prod(Var(x), Number(1)), Prod(Var(x), Number(1))) |