- Adapted test files to new method List.toString

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)))