summaryrefslogtreecommitdiff
path: root/test/files/run/Course-2002-07.check
diff options
context:
space:
mode:
authorSean McDirmid <sean.mcdirmid@gmail.com>2007-03-30 08:03:47 +0000
committerSean McDirmid <sean.mcdirmid@gmail.com>2007-03-30 08:03:47 +0000
commitc1d1fec365efbb7ee4798594784458b3f5be4dcf (patch)
tree81853571356e3d12df16c865b1e20a46ad72b08a /test/files/run/Course-2002-07.check
parent3b317f928b0ea755037f71bd59bbe30e23deb725 (diff)
downloadscala-c1d1fec365efbb7ee4798594784458b3f5be4dcf.tar.gz
scala-c1d1fec365efbb7ee4798594784458b3f5be4dcf.tar.bz2
scala-c1d1fec365efbb7ee4798594784458b3f5be4dcf.zip
Fixing the build (toString() issues in the comp...
Fixing the build (toString() issues in the compiler) and the test suite (toString() issues, spacing issues, and some stringPrefix issues)
Diffstat (limited to 'test/files/run/Course-2002-07.check')
-rw-r--r--test/files/run/Course-2002-07.check112
1 files changed, 56 insertions, 56 deletions
diff --git a/test/files/run/Course-2002-07.check b/test/files/run/Course-2002-07.check
index 0a378e6d20..75e956f310 100644
--- a/test/files/run/Course-2002-07.check
+++ b/test/files/run/Course-2002-07.check
@@ -24,71 +24,71 @@
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() = 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() = 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((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(), 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)))
+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)))