diff options
author | Csaba Hruska <csaba.hruska@gmail.com> | 2016-01-22 15:38:15 +0100 |
---|---|---|
committer | Csaba Hruska <csaba.hruska@gmail.com> | 2016-01-22 15:38:15 +0100 |
commit | d57b282f17cc3477428f3c7c3c1f0ea9250cb305 (patch) | |
tree | 7d165220c1b0824001aafada8d66742adfd55f94 /testdata/language-features | |
parent | dbff434feba84282dfac752c72b21942b2d59399 (diff) |
add more tests
Diffstat (limited to 'testdata/language-features')
42 files changed, 330 insertions, 4 deletions
diff --git a/testdata/language-features/HINT b/testdata/language-features/HINT index ffcdd9ba..6df96760 100644 --- a/testdata/language-features/HINT +++ b/testdata/language-features/HINT | |||
@@ -30,7 +30,14 @@ language features: | |||
30 | done - if then else | 30 | done - if then else |
31 | done - lambda expression | 31 | done - lambda expression |
32 | done - case of | 32 | done - case of |
33 | type signature - global, local, forall, hidden parameters, type parameters, wildcard, context | 33 | type signature |
34 | done - global | ||
35 | done - local | ||
36 | done - type parameters | ||
37 | forall | ||
38 | hidden parameters | ||
39 | wildcard | ||
40 | context | ||
34 | patterns | 41 | patterns |
35 | guards - in expressions | 42 | guards - in expressions |
36 | done - def | 43 | done - def |
@@ -38,14 +45,22 @@ language features: | |||
38 | where | 45 | where |
39 | case of | 46 | case of |
40 | done - basic list - :[] [,,] | 47 | done - basic list - :[] [,,] |
41 | list comprehension | 48 | done - list comprehension |
42 | done - operators | 49 | done - operators |
43 | fixity | 50 | fixity |
44 | `infix` notation | 51 | done - `infix` notation |
45 | where - in value, in expressions | 52 | where - in value, in expressions |
53 | global def | ||
54 | let | ||
55 | nested where | ||
56 | patterns | ||
46 | 57 | ||
47 | done - definition order | 58 | done - definition order |
48 | recursion | 59 | simple recursion |
60 | done - def | ||
61 | let in | ||
62 | where | ||
63 | case of | ||
49 | mutual recursion - vary def order, vary on def placing (insert other code between mutual rec functions" | 64 | mutual recursion - vary def order, vary on def placing (insert other code between mutual rec functions" |
50 | 65 | ||
51 | data GADT and ADT | 66 | data GADT and ADT |
diff --git a/testdata/language-features/basic-list/listcomp01.lc b/testdata/language-features/basic-list/listcomp01.lc new file mode 100644 index 00000000..791a275a --- /dev/null +++ b/testdata/language-features/basic-list/listcomp01.lc | |||
@@ -0,0 +1 @@ | |||
value = [() | x <- [(),(),(),()]] | |||
diff --git a/testdata/language-features/basic-list/listcomp01.out b/testdata/language-features/basic-list/listcomp01.out new file mode 100644 index 00000000..9b7b2dd2 --- /dev/null +++ b/testdata/language-features/basic-list/listcomp01.out | |||
@@ -0,0 +1,11 @@ | |||
1 | main is not found | ||
2 | tooltips: | ||
3 | testdata/language-features/basic-list/listcomp01.lc 1:9-1:34 'List 'Tuple0 | ||
4 | testdata/language-features/basic-list/listcomp01.lc 1:10-1:12 'List 'Tuple0 | 'Tuple0 | V1 -> 'List V1 | ||
5 | testdata/language-features/basic-list/listcomp01.lc 1:20-1:33 'List 'Tuple0 | ||
6 | testdata/language-features/basic-list/listcomp01.lc 1:21-1:23 'Tuple0 | ||
7 | testdata/language-features/basic-list/listcomp01.lc 1:24-1:26 'Tuple0 | ||
8 | testdata/language-features/basic-list/listcomp01.lc 1:24-1:32 'List 'Tuple0 | ||
9 | testdata/language-features/basic-list/listcomp01.lc 1:27-1:29 'Tuple0 | ||
10 | testdata/language-features/basic-list/listcomp01.lc 1:27-1:32 'List 'Tuple0 | ||
11 | testdata/language-features/basic-list/listcomp01.lc 1:30-1:32 'List 'Tuple0 | 'Tuple0 | ||
diff --git a/testdata/language-features/basic-list/listcomp02.lc b/testdata/language-features/basic-list/listcomp02.lc new file mode 100644 index 00000000..02672458 --- /dev/null +++ b/testdata/language-features/basic-list/listcomp02.lc | |||
@@ -0,0 +1,2 @@ | |||
1 | l = [(),(),(),()] | ||
2 | value = [x | x <- l] | ||
diff --git a/testdata/language-features/basic-list/listcomp02.out b/testdata/language-features/basic-list/listcomp02.out new file mode 100644 index 00000000..3e0d8acb --- /dev/null +++ b/testdata/language-features/basic-list/listcomp02.out | |||
@@ -0,0 +1,13 @@ | |||
1 | main is not found | ||
2 | tooltips: | ||
3 | testdata/language-features/basic-list/listcomp02.lc 1:5-1:18 'List 'Tuple0 | ||
4 | testdata/language-features/basic-list/listcomp02.lc 1:6-1:8 'Tuple0 | ||
5 | testdata/language-features/basic-list/listcomp02.lc 1:9-1:11 'Tuple0 | ||
6 | testdata/language-features/basic-list/listcomp02.lc 1:9-1:17 'List 'Tuple0 | ||
7 | testdata/language-features/basic-list/listcomp02.lc 1:12-1:14 'Tuple0 | ||
8 | testdata/language-features/basic-list/listcomp02.lc 1:12-1:17 'List 'Tuple0 | ||
9 | testdata/language-features/basic-list/listcomp02.lc 1:15-1:17 'List 'Tuple0 | 'Tuple0 | ||
10 | testdata/language-features/basic-list/listcomp02.lc 2:1-2:6 'List 'Tuple0 | ||
11 | testdata/language-features/basic-list/listcomp02.lc 2:9-2:21 'List 'Tuple0 | ||
12 | testdata/language-features/basic-list/listcomp02.lc 2:10-2:11 'List V2 | V1 -> 'List V1 | V3 | ||
13 | testdata/language-features/basic-list/listcomp02.lc 2:19-2:20 'List 'Tuple0 | ||
diff --git a/testdata/language-features/basic-list/listcomp03.lc b/testdata/language-features/basic-list/listcomp03.lc new file mode 100644 index 00000000..ca8f8b8d --- /dev/null +++ b/testdata/language-features/basic-list/listcomp03.lc | |||
@@ -0,0 +1 @@ | |||
value = [() | _ <- [(),(),(),()], False] | |||
diff --git a/testdata/language-features/basic-list/listcomp03.out b/testdata/language-features/basic-list/listcomp03.out new file mode 100644 index 00000000..40a5b5da --- /dev/null +++ b/testdata/language-features/basic-list/listcomp03.out | |||
@@ -0,0 +1,13 @@ | |||
1 | main is not found | ||
2 | tooltips: | ||
3 | testdata/language-features/basic-list/listcomp03.lc 1:9-1:41 'List 'Tuple0 | ||
4 | testdata/language-features/basic-list/listcomp03.lc 1:10-1:12 'List 'Tuple0 | 'Tuple0 | ||
5 | testdata/language-features/basic-list/listcomp03.lc 1:10-1:40 'List 'Tuple0 | 'List 'Tuple0 -> 'List 'Tuple0 | V1 -> 'List V1 | ||
6 | testdata/language-features/basic-list/listcomp03.lc 1:20-1:33 'List 'Tuple0 | ||
7 | testdata/language-features/basic-list/listcomp03.lc 1:21-1:23 'Tuple0 | ||
8 | testdata/language-features/basic-list/listcomp03.lc 1:24-1:26 'Tuple0 | ||
9 | testdata/language-features/basic-list/listcomp03.lc 1:24-1:32 'List 'Tuple0 | ||
10 | testdata/language-features/basic-list/listcomp03.lc 1:27-1:29 'Tuple0 | ||
11 | testdata/language-features/basic-list/listcomp03.lc 1:27-1:32 'List 'Tuple0 | ||
12 | testdata/language-features/basic-list/listcomp03.lc 1:30-1:32 'List 'Tuple0 | 'Tuple0 | ||
13 | testdata/language-features/basic-list/listcomp03.lc 1:35-1:40 'Bool | ||
diff --git a/testdata/language-features/basic-list/listcomp04.lc b/testdata/language-features/basic-list/listcomp04.lc new file mode 100644 index 00000000..7caa105b --- /dev/null +++ b/testdata/language-features/basic-list/listcomp04.lc | |||
@@ -0,0 +1,2 @@ | |||
1 | l = [(),(),(),()] | ||
2 | value = [() | x <- l, _ <- l] | ||
diff --git a/testdata/language-features/basic-list/listcomp04.out b/testdata/language-features/basic-list/listcomp04.out new file mode 100644 index 00000000..a404757c --- /dev/null +++ b/testdata/language-features/basic-list/listcomp04.out | |||
@@ -0,0 +1,15 @@ | |||
1 | main is not found | ||
2 | tooltips: | ||
3 | testdata/language-features/basic-list/listcomp04.lc 1:5-1:18 'List 'Tuple0 | ||
4 | testdata/language-features/basic-list/listcomp04.lc 1:6-1:8 'Tuple0 | ||
5 | testdata/language-features/basic-list/listcomp04.lc 1:9-1:11 'Tuple0 | ||
6 | testdata/language-features/basic-list/listcomp04.lc 1:9-1:17 'List 'Tuple0 | ||
7 | testdata/language-features/basic-list/listcomp04.lc 1:12-1:14 'Tuple0 | ||
8 | testdata/language-features/basic-list/listcomp04.lc 1:12-1:17 'List 'Tuple0 | ||
9 | testdata/language-features/basic-list/listcomp04.lc 1:15-1:17 'List 'Tuple0 | 'Tuple0 | ||
10 | testdata/language-features/basic-list/listcomp04.lc 2:1-2:6 'List 'Tuple0 | ||
11 | testdata/language-features/basic-list/listcomp04.lc 2:9-2:30 'List 'Tuple0 | ||
12 | testdata/language-features/basic-list/listcomp04.lc 2:10-2:12 'List 'Tuple0 | 'Tuple0 | V1 -> 'List V1 | ||
13 | testdata/language-features/basic-list/listcomp04.lc 2:10-2:29 'List 'Tuple0 | V1 -> 'List V1 | ||
14 | testdata/language-features/basic-list/listcomp04.lc 2:20-2:21 'List 'Tuple0 | ||
15 | testdata/language-features/basic-list/listcomp04.lc 2:28-2:29 'List 'Tuple0 | ||
diff --git a/testdata/language-features/basic-list/listcomp05.lc b/testdata/language-features/basic-list/listcomp05.lc new file mode 100644 index 00000000..a3278ba1 --- /dev/null +++ b/testdata/language-features/basic-list/listcomp05.lc | |||
@@ -0,0 +1 @@ | |||
value = [u | x <- [(),()], let u = ()] | |||
diff --git a/testdata/language-features/basic-list/listcomp05.out b/testdata/language-features/basic-list/listcomp05.out new file mode 100644 index 00000000..e55133c8 --- /dev/null +++ b/testdata/language-features/basic-list/listcomp05.out | |||
@@ -0,0 +1,9 @@ | |||
1 | main is not found | ||
2 | tooltips: | ||
3 | testdata/language-features/basic-list/listcomp05.lc 1:9-1:39 'List 'Tuple0 | ||
4 | testdata/language-features/basic-list/listcomp05.lc 1:10-1:11 V2 | ||
5 | testdata/language-features/basic-list/listcomp05.lc 1:10-1:38 'List 'Tuple0 | V1 -> 'List V1 | ||
6 | testdata/language-features/basic-list/listcomp05.lc 1:19-1:26 'List 'Tuple0 | ||
7 | testdata/language-features/basic-list/listcomp05.lc 1:20-1:22 'Tuple0 | ||
8 | testdata/language-features/basic-list/listcomp05.lc 1:23-1:25 'List 'Tuple0 | 'Tuple0 | ||
9 | testdata/language-features/basic-list/listcomp05.lc 1:36-1:38 'Tuple0 | ||
diff --git a/testdata/language-features/basic-list/listcomp06.lc b/testdata/language-features/basic-list/listcomp06.lc new file mode 100644 index 00000000..dc85f1c0 --- /dev/null +++ b/testdata/language-features/basic-list/listcomp06.lc | |||
@@ -0,0 +1,3 @@ | |||
1 | value1 = [u | x <- [(),()], let u = (), True] | ||
2 | |||
3 | value2 = [u | x <- [(),()], True, let u = ()] | ||
diff --git a/testdata/language-features/basic-list/listcomp06.out b/testdata/language-features/basic-list/listcomp06.out new file mode 100644 index 00000000..4ad8ef4e --- /dev/null +++ b/testdata/language-features/basic-list/listcomp06.out | |||
@@ -0,0 +1,19 @@ | |||
1 | main is not found | ||
2 | tooltips: | ||
3 | testdata/language-features/basic-list/listcomp06.lc 1:10-1:46 'List 'Tuple0 | ||
4 | testdata/language-features/basic-list/listcomp06.lc 1:11-1:12 'List V2 | V3 | ||
5 | testdata/language-features/basic-list/listcomp06.lc 1:11-1:45 'List 'Tuple0 | 'List V1 -> 'List V2 | V1 -> 'List V1 | ||
6 | testdata/language-features/basic-list/listcomp06.lc 1:20-1:27 'List 'Tuple0 | ||
7 | testdata/language-features/basic-list/listcomp06.lc 1:21-1:23 'Tuple0 | ||
8 | testdata/language-features/basic-list/listcomp06.lc 1:24-1:26 'List 'Tuple0 | 'Tuple0 | ||
9 | testdata/language-features/basic-list/listcomp06.lc 1:37-1:39 'Tuple0 | ||
10 | testdata/language-features/basic-list/listcomp06.lc 1:41-1:45 'Bool | ||
11 | testdata/language-features/basic-list/listcomp06.lc 3:1-3:7 'List 'Tuple0 | ||
12 | testdata/language-features/basic-list/listcomp06.lc 3:10-3:46 'List 'Tuple0 | ||
13 | testdata/language-features/basic-list/listcomp06.lc 3:11-3:12 V2 | ||
14 | testdata/language-features/basic-list/listcomp06.lc 3:11-3:45 'List 'Tuple0 | V1 -> 'List V1 | ||
15 | testdata/language-features/basic-list/listcomp06.lc 3:20-3:27 'List 'Tuple0 | ||
16 | testdata/language-features/basic-list/listcomp06.lc 3:21-3:23 'Tuple0 | ||
17 | testdata/language-features/basic-list/listcomp06.lc 3:24-3:26 'List 'Tuple0 | 'Tuple0 | ||
18 | testdata/language-features/basic-list/listcomp06.lc 3:29-3:33 'Bool | ||
19 | testdata/language-features/basic-list/listcomp06.lc 3:43-3:45 'Tuple0 | ||
diff --git a/testdata/language-features/basic-list/listcomp07.lc b/testdata/language-features/basic-list/listcomp07.lc new file mode 100644 index 00000000..255392c6 --- /dev/null +++ b/testdata/language-features/basic-list/listcomp07.lc | |||
@@ -0,0 +1,20 @@ | |||
1 | value1 = [ u | ||
2 | | x <- [(),()] | ||
3 | , let u = () | ||
4 | , True | ||
5 | , let v = u | ||
6 | ] | ||
7 | |||
8 | value2 = [ u | x <- [(),()] | ||
9 | , let u = () | ||
10 | , True | ||
11 | , let v = u | ||
12 | ] | ||
13 | |||
14 | value3 = [ u | ||
15 | | x <- [(),()] | ||
16 | , let | ||
17 | u = () | ||
18 | , True | ||
19 | , let v = u | ||
20 | ] | ||
diff --git a/testdata/language-features/basic-list/listcomp07.out b/testdata/language-features/basic-list/listcomp07.out new file mode 100644 index 00000000..9634d711 --- /dev/null +++ b/testdata/language-features/basic-list/listcomp07.out | |||
@@ -0,0 +1,31 @@ | |||
1 | main is not found | ||
2 | tooltips: | ||
3 | testdata/language-features/basic-list/listcomp07.lc 1:10-6:11 'List 'Tuple0 | ||
4 | testdata/language-features/basic-list/listcomp07.lc 1:12-1:13 V5 | ||
5 | testdata/language-features/basic-list/listcomp07.lc 1:12-5:21 'List 'Tuple0 | 'List V1 | V1 -> 'List V1 | ||
6 | testdata/language-features/basic-list/listcomp07.lc 2:17-2:24 'List 'Tuple0 | ||
7 | testdata/language-features/basic-list/listcomp07.lc 2:18-2:20 'Tuple0 | ||
8 | testdata/language-features/basic-list/listcomp07.lc 2:21-2:23 'List 'Tuple0 | 'Tuple0 | ||
9 | testdata/language-features/basic-list/listcomp07.lc 3:20-3:22 'Tuple0 | ||
10 | testdata/language-features/basic-list/listcomp07.lc 4:12-4:16 'Bool | ||
11 | testdata/language-features/basic-list/listcomp07.lc 5:20-5:21 V2 | ||
12 | testdata/language-features/basic-list/listcomp07.lc 8:1-8:7 'List 'Tuple0 | ||
13 | testdata/language-features/basic-list/listcomp07.lc 8:10-12:11 'List 'Tuple0 | ||
14 | testdata/language-features/basic-list/listcomp07.lc 8:12-8:13 V5 | ||
15 | testdata/language-features/basic-list/listcomp07.lc 8:12-11:21 'List 'Tuple0 | 'List V1 | V1 -> 'List V1 | ||
16 | testdata/language-features/basic-list/listcomp07.lc 8:21-8:28 'List 'Tuple0 | ||
17 | testdata/language-features/basic-list/listcomp07.lc 8:22-8:24 'Tuple0 | ||
18 | testdata/language-features/basic-list/listcomp07.lc 8:25-8:27 'List 'Tuple0 | 'Tuple0 | ||
19 | testdata/language-features/basic-list/listcomp07.lc 9:20-9:22 'Tuple0 | ||
20 | testdata/language-features/basic-list/listcomp07.lc 10:12-10:16 'Bool | ||
21 | testdata/language-features/basic-list/listcomp07.lc 11:20-11:21 V2 | ||
22 | testdata/language-features/basic-list/listcomp07.lc 14:1-14:7 'List 'Tuple0 | ||
23 | testdata/language-features/basic-list/listcomp07.lc 14:10-20:3 'List 'Tuple0 | ||
24 | testdata/language-features/basic-list/listcomp07.lc 14:12-14:13 V5 | ||
25 | testdata/language-features/basic-list/listcomp07.lc 14:12-19:15 'List 'Tuple0 | 'List V1 | V1 -> 'List V1 | ||
26 | testdata/language-features/basic-list/listcomp07.lc 15:15-15:22 'List 'Tuple0 | ||
27 | testdata/language-features/basic-list/listcomp07.lc 15:16-15:18 'Tuple0 | ||
28 | testdata/language-features/basic-list/listcomp07.lc 15:19-15:21 'List 'Tuple0 | 'Tuple0 | ||
29 | testdata/language-features/basic-list/listcomp07.lc 17:6-17:8 'Tuple0 | ||
30 | testdata/language-features/basic-list/listcomp07.lc 18:7-18:11 'Bool | ||
31 | testdata/language-features/basic-list/listcomp07.lc 19:14-19:15 V2 | ||
diff --git a/testdata/language-features/basic-list/listcomp08.reject.lc b/testdata/language-features/basic-list/listcomp08.reject.lc new file mode 100644 index 00000000..83475d92 --- /dev/null +++ b/testdata/language-features/basic-list/listcomp08.reject.lc | |||
@@ -0,0 +1 @@ | |||
value = [x | x <- [], "not Bool"] | |||
diff --git a/testdata/language-features/basic-list/listcomp08.reject.out b/testdata/language-features/basic-list/listcomp08.reject.out new file mode 100644 index 00000000..5cbde7ed --- /dev/null +++ b/testdata/language-features/basic-list/listcomp08.reject.out | |||
@@ -0,0 +1,8 @@ | |||
1 | type error: can not unify | ||
2 | [32m'Bool[m | ||
3 | with | ||
4 | [32m'String[m | ||
5 | |||
6 | in "testdata/language-features/basic-list/listcomp08.reject.lc" (line 1, column 23): | ||
7 | value = [x | x <- [], "not Bool"] | ||
8 | ^^^^^^^^^^ | ||
diff --git a/testdata/language-features/basic-values/infix01.lc b/testdata/language-features/basic-values/infix01.lc new file mode 100644 index 00000000..9f5938cf --- /dev/null +++ b/testdata/language-features/basic-values/infix01.lc | |||
@@ -0,0 +1,3 @@ | |||
1 | fun a b = () | ||
2 | |||
3 | value a b = a `fun` b | ||
diff --git a/testdata/language-features/basic-values/infix01.out b/testdata/language-features/basic-values/infix01.out new file mode 100644 index 00000000..4ca79fa5 --- /dev/null +++ b/testdata/language-features/basic-values/infix01.out | |||
@@ -0,0 +1,9 @@ | |||
1 | main is not found | ||
2 | tooltips: | ||
3 | testdata/language-features/basic-values/infix01.lc 1:11-1:13 'Tuple0 | ||
4 | testdata/language-features/basic-values/infix01.lc 3:1-3:6 {a} -> {b} -> a -> b->'Tuple0 | ||
5 | testdata/language-features/basic-values/infix01.lc 3:13-3:14 V5 | ||
6 | testdata/language-features/basic-values/infix01.lc 3:13-3:20 V0->'Tuple0 | ||
7 | testdata/language-features/basic-values/infix01.lc 3:13-3:22 'Tuple0 | ||
8 | testdata/language-features/basic-values/infix01.lc 3:15-3:20 {a} -> {b} -> a -> b->'Tuple0 | ||
9 | testdata/language-features/basic-values/infix01.lc 3:21-3:22 V2 | ||
diff --git a/testdata/language-features/basic-values/infix02.lc b/testdata/language-features/basic-values/infix02.lc new file mode 100644 index 00000000..834d0430 --- /dev/null +++ b/testdata/language-features/basic-values/infix02.lc | |||
@@ -0,0 +1,3 @@ | |||
1 | fun a b c = () | ||
2 | |||
3 | value a b = a `fun` b | ||
diff --git a/testdata/language-features/basic-values/infix02.out b/testdata/language-features/basic-values/infix02.out new file mode 100644 index 00000000..b5ff8415 --- /dev/null +++ b/testdata/language-features/basic-values/infix02.out | |||
@@ -0,0 +1,9 @@ | |||
1 | main is not found | ||
2 | tooltips: | ||
3 | testdata/language-features/basic-values/infix02.lc 1:13-1:15 'Tuple0 | ||
4 | testdata/language-features/basic-values/infix02.lc 3:1-3:6 {a} -> {b} -> {c} -> a -> b -> c->'Tuple0 | ||
5 | testdata/language-features/basic-values/infix02.lc 3:13-3:14 V6 | ||
6 | testdata/language-features/basic-values/infix02.lc 3:13-3:20 V1 -> V1->'Tuple0 | ||
7 | testdata/language-features/basic-values/infix02.lc 3:13-3:22 V0->'Tuple0 | ||
8 | testdata/language-features/basic-values/infix02.lc 3:15-3:20 {a} -> {b} -> {c} -> a -> b -> c->'Tuple0 | ||
9 | testdata/language-features/basic-values/infix02.lc 3:21-3:22 V3 | ||
diff --git a/testdata/language-features/basic-values/infix03.lc b/testdata/language-features/basic-values/infix03.lc new file mode 100644 index 00000000..9526a254 --- /dev/null +++ b/testdata/language-features/basic-values/infix03.lc | |||
@@ -0,0 +1,6 @@ | |||
1 | data D = D2 () () | ||
2 | | D3 () () () | ||
3 | |||
4 | d2 a b = a `D2` b | ||
5 | |||
6 | d3 a b = a `D3` b | ||
diff --git a/testdata/language-features/basic-values/infix03.out b/testdata/language-features/basic-values/infix03.out new file mode 100644 index 00000000..52825833 --- /dev/null +++ b/testdata/language-features/basic-values/infix03.out | |||
@@ -0,0 +1,25 @@ | |||
1 | main is not found | ||
2 | tooltips: | ||
3 | testdata/language-features/basic-values/infix03.lc 1:6-1:7 Type | ||
4 | testdata/language-features/basic-values/infix03.lc 1:6-1:18 Type | ||
5 | testdata/language-features/basic-values/infix03.lc 1:6-2:12 Type | ||
6 | testdata/language-features/basic-values/infix03.lc 1:6-2:21 Type | ||
7 | testdata/language-features/basic-values/infix03.lc 1:10-1:12 'D | 'Tuple0 -> 'Tuple0->'D | Type | ||
8 | testdata/language-features/basic-values/infix03.lc 1:13-1:15 Type | ||
9 | testdata/language-features/basic-values/infix03.lc 1:16-1:18 Type | ||
10 | testdata/language-features/basic-values/infix03.lc 2:10-2:12 'D | 'Tuple0 -> 'Tuple0 -> 'Tuple0->'D | Type | ||
11 | testdata/language-features/basic-values/infix03.lc 2:13-2:15 Type | ||
12 | testdata/language-features/basic-values/infix03.lc 2:16-2:18 Type | ||
13 | testdata/language-features/basic-values/infix03.lc 2:19-2:21 Type | ||
14 | testdata/language-features/basic-values/infix03.lc 4:1-4:3 'Tuple0 -> 'Tuple0->'D | ||
15 | testdata/language-features/basic-values/infix03.lc 4:10-4:11 V3 | ||
16 | testdata/language-features/basic-values/infix03.lc 4:10-4:16 'Tuple0->'D | ||
17 | testdata/language-features/basic-values/infix03.lc 4:10-4:18 'D | ||
18 | testdata/language-features/basic-values/infix03.lc 4:12-4:16 'Tuple0 -> 'Tuple0->'D | ||
19 | testdata/language-features/basic-values/infix03.lc 4:17-4:18 V1 | ||
20 | testdata/language-features/basic-values/infix03.lc 6:1-6:3 'Tuple0 -> 'Tuple0 -> 'Tuple0->'D | ||
21 | testdata/language-features/basic-values/infix03.lc 6:10-6:11 V3 | ||
22 | testdata/language-features/basic-values/infix03.lc 6:10-6:16 'Tuple0 -> 'Tuple0->'D | ||
23 | testdata/language-features/basic-values/infix03.lc 6:10-6:18 'Tuple0->'D | ||
24 | testdata/language-features/basic-values/infix03.lc 6:12-6:16 'Tuple0 -> 'Tuple0 -> 'Tuple0->'D | ||
25 | testdata/language-features/basic-values/infix03.lc 6:17-6:18 V1 | ||
diff --git a/testdata/language-features/basic-values/infix04.reject.lc b/testdata/language-features/basic-values/infix04.reject.lc new file mode 100644 index 00000000..d93261d7 --- /dev/null +++ b/testdata/language-features/basic-values/infix04.reject.lc | |||
@@ -0,0 +1,3 @@ | |||
1 | fun1 a b c = () | ||
2 | |||
3 | fun2 a b = a `fun1()` b | ||
diff --git a/testdata/language-features/basic-values/infix04.reject.out b/testdata/language-features/basic-values/infix04.reject.out new file mode 100644 index 00000000..4880e065 --- /dev/null +++ b/testdata/language-features/basic-values/infix04.reject.out | |||
@@ -0,0 +1,3 @@ | |||
1 | "testdata/language-features/basic-values/infix04.reject.lc" (line 3, column 19): | ||
2 | unexpected "(" | ||
3 | expecting backquoted \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-values/typesig04.lc b/testdata/language-features/basic-values/typesig04.lc new file mode 100644 index 00000000..b06a8369 --- /dev/null +++ b/testdata/language-features/basic-values/typesig04.lc | |||
@@ -0,0 +1,6 @@ | |||
1 | fun1 :: a -> (b -> c) -> () | ||
2 | fun1 x z = () | ||
3 | |||
4 | fun2::a->(b->c)->() | ||
5 | fun2 x z = () | ||
6 | |||
diff --git a/testdata/language-features/basic-values/typesig04.out b/testdata/language-features/basic-values/typesig04.out new file mode 100644 index 00000000..05c6883b --- /dev/null +++ b/testdata/language-features/basic-values/typesig04.out | |||
@@ -0,0 +1,18 @@ | |||
1 | main is not found | ||
2 | tooltips: | ||
3 | testdata/language-features/basic-values/typesig04.lc 1:9-1:10 V5 | ||
4 | testdata/language-features/basic-values/typesig04.lc 1:9-1:28 Type | ||
5 | testdata/language-features/basic-values/typesig04.lc 1:14-1:28 Type | ||
6 | testdata/language-features/basic-values/typesig04.lc 1:15-1:16 V4 | ||
7 | testdata/language-features/basic-values/typesig04.lc 1:20-1:21 Type | V3 | ||
8 | testdata/language-features/basic-values/typesig04.lc 1:26-1:28 Type | ||
9 | testdata/language-features/basic-values/typesig04.lc 2:1-2:5 {a} -> {b} -> {c} -> a -> b->c -> 'Tuple0 | ||
10 | testdata/language-features/basic-values/typesig04.lc 2:12-2:14 'Tuple0 | V2 -> V2->V2 -> 'Tuple0 | V2->V2 -> 'Tuple0 | ||
11 | testdata/language-features/basic-values/typesig04.lc 4:7-4:8 V5 | ||
12 | testdata/language-features/basic-values/typesig04.lc 4:7-4:20 Type | ||
13 | testdata/language-features/basic-values/typesig04.lc 4:10-4:20 Type | ||
14 | testdata/language-features/basic-values/typesig04.lc 4:11-4:12 V4 | ||
15 | testdata/language-features/basic-values/typesig04.lc 4:14-4:15 Type | V3 | ||
16 | testdata/language-features/basic-values/typesig04.lc 4:18-4:20 Type | ||
17 | testdata/language-features/basic-values/typesig04.lc 5:1-5:5 {a} -> {b} -> {c} -> a -> b->c -> 'Tuple0 | ||
18 | testdata/language-features/basic-values/typesig04.lc 5:12-5:14 'Tuple0 | V2 -> V2->V2 -> 'Tuple0 | V2->V2 -> 'Tuple0 | ||
diff --git a/testdata/language-features/basic-values/typesyn01.lc b/testdata/language-features/basic-values/typesyn01.lc new file mode 100644 index 00000000..39471e30 --- /dev/null +++ b/testdata/language-features/basic-values/typesyn01.lc | |||
@@ -0,0 +1 @@ | |||
type MyUnit = () | |||
diff --git a/testdata/language-features/basic-values/typesyn01.out b/testdata/language-features/basic-values/typesyn01.out new file mode 100644 index 00000000..abfb0c51 --- /dev/null +++ b/testdata/language-features/basic-values/typesyn01.out | |||
@@ -0,0 +1,4 @@ | |||
1 | main is not found | ||
2 | tooltips: | ||
3 | testdata/language-features/basic-values/typesyn01.lc 1:6-1:12 Type | ||
4 | testdata/language-features/basic-values/typesyn01.lc 1:15-1:17 Type | ||
diff --git a/testdata/language-features/basic-values/typesyn02.lc b/testdata/language-features/basic-values/typesyn02.lc new file mode 100644 index 00000000..151ab092 --- /dev/null +++ b/testdata/language-features/basic-values/typesyn02.lc | |||
@@ -0,0 +1,4 @@ | |||
1 | type MyUnit = () | ||
2 | |||
3 | fun :: a -> MyUnit -> MyUnit | ||
4 | fun x () = () | ||
diff --git a/testdata/language-features/basic-values/typesyn02.out b/testdata/language-features/basic-values/typesyn02.out new file mode 100644 index 00000000..8850167f --- /dev/null +++ b/testdata/language-features/basic-values/typesyn02.out | |||
@@ -0,0 +1,11 @@ | |||
1 | main is not found | ||
2 | tooltips: | ||
3 | testdata/language-features/basic-values/typesyn02.lc 1:6-1:12 Type | ||
4 | testdata/language-features/basic-values/typesyn02.lc 1:15-1:17 Type | ||
5 | testdata/language-features/basic-values/typesyn02.lc 3:8-3:9 V1 | ||
6 | testdata/language-features/basic-values/typesyn02.lc 3:8-3:29 Type | ||
7 | testdata/language-features/basic-values/typesyn02.lc 3:13-3:19 Type | ||
8 | testdata/language-features/basic-values/typesyn02.lc 3:13-3:29 Type | ||
9 | testdata/language-features/basic-values/typesyn02.lc 3:23-3:29 Type | ||
10 | testdata/language-features/basic-values/typesyn02.lc 4:1-4:4 {a} -> a -> 'Tuple0->'Tuple0 | ||
11 | testdata/language-features/basic-values/typesyn02.lc 4:12-4:14 'Tuple0 | 'Tuple0->'Tuple0 | V0 -> 'Tuple0->'Tuple0 | ||
diff --git a/testdata/language-features/basic-values/typesyn03.reject.wip.lc b/testdata/language-features/basic-values/typesyn03.reject.wip.lc new file mode 100644 index 00000000..6e95e6f6 --- /dev/null +++ b/testdata/language-features/basic-values/typesyn03.reject.wip.lc | |||
@@ -0,0 +1,2 @@ | |||
1 | type MyUnit = () | ||
2 | type MyUnit = () | ||
diff --git a/testdata/language-features/basic-values/typesyn04.reject.wip.lc b/testdata/language-features/basic-values/typesyn04.reject.wip.lc new file mode 100644 index 00000000..cda6908d --- /dev/null +++ b/testdata/language-features/basic-values/typesyn04.reject.wip.lc | |||
@@ -0,0 +1,5 @@ | |||
1 | type MyUnit = () | ||
2 | type MyUnit = () | ||
3 | |||
4 | fun :: a -> MyUnit -> MyUnit | ||
5 | fun x () = () | ||
diff --git a/testdata/language-features/module/TypeSyn01.lc b/testdata/language-features/module/TypeSyn01.lc new file mode 100644 index 00000000..ed4686ff --- /dev/null +++ b/testdata/language-features/module/TypeSyn01.lc | |||
@@ -0,0 +1,2 @@ | |||
1 | module TypeSyn01 where | ||
2 | type MyUnit = () | ||
diff --git a/testdata/language-features/module/TypeSyn01.out b/testdata/language-features/module/TypeSyn01.out new file mode 100644 index 00000000..1e1a07f0 --- /dev/null +++ b/testdata/language-features/module/TypeSyn01.out | |||
@@ -0,0 +1,4 @@ | |||
1 | main is not found | ||
2 | tooltips: | ||
3 | testdata/language-features/module/TypeSyn01.lc 2:6-2:12 Type | ||
4 | testdata/language-features/module/TypeSyn01.lc 2:15-2:17 Type | ||
diff --git a/testdata/language-features/module/import09.lc b/testdata/language-features/module/import09.lc new file mode 100644 index 00000000..d69a61bd --- /dev/null +++ b/testdata/language-features/module/import09.lc | |||
@@ -0,0 +1,4 @@ | |||
1 | import TypeSyn01 | ||
2 | |||
3 | fun :: a -> MyUnit -> MyUnit | ||
4 | fun x () = () | ||
diff --git a/testdata/language-features/module/import09.out b/testdata/language-features/module/import09.out new file mode 100644 index 00000000..a15ac80e --- /dev/null +++ b/testdata/language-features/module/import09.out | |||
@@ -0,0 +1,9 @@ | |||
1 | main is not found | ||
2 | tooltips: | ||
3 | testdata/language-features/module/import09.lc 3:8-3:9 V1 | ||
4 | testdata/language-features/module/import09.lc 3:8-3:29 Type | ||
5 | testdata/language-features/module/import09.lc 3:13-3:19 Type | ||
6 | testdata/language-features/module/import09.lc 3:13-3:29 Type | ||
7 | testdata/language-features/module/import09.lc 3:23-3:29 Type | ||
8 | testdata/language-features/module/import09.lc 4:1-4:4 {a} -> a -> 'Tuple0->'Tuple0 | ||
9 | testdata/language-features/module/import09.lc 4:12-4:14 'Tuple0 | 'Tuple0->'Tuple0 | V0 -> 'Tuple0->'Tuple0 | ||
diff --git a/testdata/language-features/module/import10.reject.wip.lc b/testdata/language-features/module/import10.reject.wip.lc new file mode 100644 index 00000000..1ef15d48 --- /dev/null +++ b/testdata/language-features/module/import10.reject.wip.lc | |||
@@ -0,0 +1,3 @@ | |||
1 | import TypeSyn01 | ||
2 | |||
3 | type MyUnit = () | ||
diff --git a/testdata/language-features/module/import11.reject.wip.lc b/testdata/language-features/module/import11.reject.wip.lc new file mode 100644 index 00000000..55f45cd2 --- /dev/null +++ b/testdata/language-features/module/import11.reject.wip.lc | |||
@@ -0,0 +1,6 @@ | |||
1 | import TypeSyn01 | ||
2 | |||
3 | type MyUnit = () | ||
4 | |||
5 | fun :: a -> MyUnit -> MyUnit | ||
6 | fun x () = () | ||
diff --git a/testdata/language-features/pattern/pattern01.wip.lc b/testdata/language-features/pattern/pattern01.wip.lc new file mode 100644 index 00000000..3d1c02e5 --- /dev/null +++ b/testdata/language-features/pattern/pattern01.wip.lc | |||
@@ -0,0 +1,12 @@ | |||
1 | fun1 0 = '0' | ||
2 | fun1 _ = '_' | ||
3 | |||
4 | fun2 "0" = '0' | ||
5 | fun2 _ = '_' | ||
6 | |||
7 | fun3 '0' = '0' | ||
8 | fun3 _ = '_' | ||
9 | |||
10 | fun4 () = '0' | ||
11 | fun4 _ = '_' | ||
12 | |||
diff --git a/testdata/language-features/recursion/simplerec01.lc b/testdata/language-features/recursion/simplerec01.lc new file mode 100644 index 00000000..26f69541 --- /dev/null +++ b/testdata/language-features/recursion/simplerec01.lc | |||
@@ -0,0 +1,2 @@ | |||
1 | fun 0 = 'a' | ||
2 | fun _ = fun 0 | ||
diff --git a/testdata/language-features/recursion/simplerec01.out b/testdata/language-features/recursion/simplerec01.out new file mode 100644 index 00000000..7d1e88e7 --- /dev/null +++ b/testdata/language-features/recursion/simplerec01.out | |||
@@ -0,0 +1,7 @@ | |||
1 | main is not found | ||
2 | tooltips: | ||
3 | testdata/language-features/recursion/simplerec01.lc 1:9-1:12 'Char | ||
4 | testdata/language-features/recursion/simplerec01.lc 1:9-2:14 'Char -> 'Ordering->'Char | V0->V1 | ||
5 | testdata/language-features/recursion/simplerec01.lc 2:9-2:12 V1->'Char | V4 | ||
6 | testdata/language-features/recursion/simplerec01.lc 2:9-2:14 'Char | ||
7 | testdata/language-features/recursion/simplerec01.lc 2:13-2:14 V1 | ||