summaryrefslogtreecommitdiff
path: root/testdata/record02.lc
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-01-19 17:49:11 +0100
committerPéter Diviánszky <divipp@gmail.com>2016-01-19 17:49:11 +0100
commitab423e8023aad0de0a35003d9c3b272db063c8fb (patch)
treebb061506746771c9e2c3fb9fd759ee70038693d0 /testdata/record02.lc
parent5dd71beeb2023305d11e929c033e1990fa6ee3fa (diff)
move test cases (record01 and record02 is ignored now)
Diffstat (limited to 'testdata/record02.lc')
-rw-r--r--testdata/record02.lc22
1 files changed, 0 insertions, 22 deletions
diff --git a/testdata/record02.lc b/testdata/record02.lc
deleted file mode 100644
index 1e322d23..00000000
--- a/testdata/record02.lc
+++ /dev/null
@@ -1,22 +0,0 @@
1v1 = {x:1.0,y:0.0}
2v2 = {x:1.0,y:0.0,z:10.0}
3v3 = {v1:v1, v2:v2}
4f v = v.x +! v.y
5g v = v.v1.x +! v.v2.z
6
7x h = (h v3).x
8z h = (h v3).x.c.v -- [x, c, v]
9
10main = case f v1 +! f v2 +! g v3 of
11 13.0 -> True
12 _ -> False
13
14{-
15projection:
16 - term .indents
17 - term.indents
18
19composition:
20 - term . term
21 - term. term
22-}