summaryrefslogtreecommitdiff
path: root/test/files/run/Course-2002-07.check
diff options
context:
space:
mode:
authorGilles Dubochet <gilles.dubochet@epfl.ch>2005-12-16 18:20:15 +0000
committerGilles Dubochet <gilles.dubochet@epfl.ch>2005-12-16 18:20:15 +0000
commit17e2b1c2a6f69ba74e79c30d1e44195fe732e3e3 (patch)
treebb804b4038eb6d0dee58b77cea8bd2dcc6f42dc4 /test/files/run/Course-2002-07.check
parente70a1a24ef7a7b596a92e1853fd44e96f36ad245 (diff)
downloadscala-17e2b1c2a6f69ba74e79c30d1e44195fe732e3e3.tar.gz
scala-17e2b1c2a6f69ba74e79c30d1e44195fe732e3e3.tar.bz2
scala-17e2b1c2a6f69ba74e79c30d1e44195fe732e3e3.zip
Removed old scala tests from new Scala core mod...
Removed old scala tests from new Scala core module.
Diffstat (limited to 'test/files/run/Course-2002-07.check')
-rw-r--r--test/files/run/Course-2002-07.check137
1 files changed, 0 insertions, 137 deletions
diff --git a/test/files/run/Course-2002-07.check b/test/files/run/Course-2002-07.check
deleted file mode 100644
index 0a378e6d20..0000000000
--- a/test/files/run/Course-2002-07.check
+++ /dev/null
@@ -1,137 +0,0 @@
- 0 = 0
- 1 = 1
- 0 + 1 = 1
- 1 + 2 = 3
-2 + 3 + 4 = 9
-
- 0 = 0
- 1 = 1
- 0 + 1 = 1
- 1 + 2 = 3
-2 + 3 + 4 = 9
-
- 0 = 0
- 1 = 1
- 0 + 1 = 1
- 1 + 2 = 3
-2 + 3 + 4 = 9
-
- 0 = 0
- 1 = 1
- 0 + 1 = 1
- 1 + 2 = 3
-2 + 3 + 4 = 9
-
-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)))
-
-f (x) = x * x
-f'(x) = x * 1 + x * 1
-g (x) = 2 * x * x + 3 * x
-g'(x) = 2 * x * 1 + x * (2 * 1 + x * 0) + 3 * 1 + x * 0
-g (3) = 27
-g'(3) = 15
-
-ta(x) = x + 3
-tb(x) = x + 3
-tc(x) = x + 3
-td(x) = x + 3
-te(x) = 2 * x + 3
-tf(x) = 2 * x + 3
-tg(x) = 6 * x
-th(x) = x^6
-
-f4(x) = x^4 + 7 * x^3 + 20 * x^2 + 23 * x + 5
-f3(x) = 4 * x^3 + 21 * x^2 + 40 * x + 23
-f2(x) = 12 * x^2 + 42 * x + 40
-f1(x) = 24 * x + 42
-f0(x) = 24
-
-f4(0) = 5 ok
-f4(1) = 56 ok
-f4(2) = 203 ok
-f4(3) = 524 ok
-f4(4) = 1121 ok
-
-f3(0) = 23 ok
-f3(1) = 88 ok
-f3(2) = 219 ok
-f3(3) = 440 ok
-
-f2(0) = 40 ok
-f2(1) = 94 ok
-f2(2) = 172 ok
-
-f1(0) = 42 ok
-f1(1) = 66 ok
-
-f0(0) = 24 ok
-