diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-01-19 17:49:11 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-01-19 17:49:11 +0100 |
commit | ab423e8023aad0de0a35003d9c3b272db063c8fb (patch) | |
tree | bb061506746771c9e2c3fb9fd759ee70038693d0 /testdata/record02.lc | |
parent | 5dd71beeb2023305d11e929c033e1990fa6ee3fa (diff) |
move test cases (record01 and record02 is ignored now)
Diffstat (limited to 'testdata/record02.lc')
-rw-r--r-- | testdata/record02.lc | 22 |
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 @@ | |||
1 | v1 = {x:1.0,y:0.0} | ||
2 | v2 = {x:1.0,y:0.0,z:10.0} | ||
3 | v3 = {v1:v1, v2:v2} | ||
4 | f v = v.x +! v.y | ||
5 | g v = v.v1.x +! v.v2.z | ||
6 | |||
7 | x h = (h v3).x | ||
8 | z h = (h v3).x.c.v -- [x, c, v] | ||
9 | |||
10 | main = case f v1 +! f v2 +! g v3 of | ||
11 | 13.0 -> True | ||
12 | _ -> False | ||
13 | |||
14 | {- | ||
15 | projection: | ||
16 | - term .indents | ||
17 | - term.indents | ||
18 | |||
19 | composition: | ||
20 | - term . term | ||
21 | - term. term | ||
22 | -} | ||