diff options
Diffstat (limited to 'testdata/language-features/basic-list')
21 files changed, 508 insertions, 271 deletions
diff --git a/testdata/language-features/basic-list/list01.out b/testdata/language-features/basic-list/list01.out index 500b3ba9..621aa15a 100644 --- a/testdata/language-features/basic-list/list01.out +++ b/testdata/language-features/basic-list/list01.out | |||
@@ -6,27 +6,47 @@ value2 | |||
6 | value3 = _rhs (Cons 'h' (Cons 'e' (Cons 'l' (Cons 'l' (Cons 'o' Nil))))) | 6 | value3 = _rhs (Cons 'h' (Cons 'e' (Cons 'l' (Cons 'l' (Cons 'o' Nil))))) |
7 | main is not found | 7 | main is not found |
8 | ------------ trace | 8 | ------------ trace |
9 | value1 :: [32mforall a . List [32ma[0;32m[0m | 9 | value1 :: forall a . List a |
10 | value2 :: [32mforall a . [32mNum [32m[32ma[0;32m[0;32m[0;32m => List [32ma[0;32m[0m | 10 | value2 :: forall a . Num a => List a |
11 | value3 :: [32mList Char[0m | 11 | value3 :: List Char |
12 | ------------ tooltips | 12 | ------------ tooltips |
13 | testdata/language-features/basic-list/list01.lc 1:1-1:7 forall a . List a | 13 | testdata/language-features/basic-list/list01.lc 1:1-1:7 |
14 | testdata/language-features/basic-list/list01.lc 1:10-1:12 forall a . List a | 14 | forall a . List a |
15 | testdata/language-features/basic-list/list01.lc 2:1-2:7 forall a . Num a => List a | 15 | testdata/language-features/basic-list/list01.lc 1:10-1:12 |
16 | testdata/language-features/basic-list/list01.lc 2:10-2:19 List _c | 16 | forall a . List a |
17 | testdata/language-features/basic-list/list01.lc 2:11-2:12 _b | 17 | testdata/language-features/basic-list/list01.lc 2:1-2:7 |
18 | testdata/language-features/basic-list/list01.lc 2:13-2:14 _b | 18 | forall a . Num a => List a |
19 | testdata/language-features/basic-list/list01.lc 2:13-2:18 List _d | 19 | testdata/language-features/basic-list/list01.lc 2:10-2:19 |
20 | testdata/language-features/basic-list/list01.lc 2:15-2:16 _b | 20 | List _c |
21 | testdata/language-features/basic-list/list01.lc 2:15-2:18 List _e | 21 | testdata/language-features/basic-list/list01.lc 2:11-2:12 |
22 | testdata/language-features/basic-list/list01.lc 2:17-2:18 List _e | _b | 22 | _b |
23 | testdata/language-features/basic-list/list01.lc 3:1-3:7 List Char | 23 | testdata/language-features/basic-list/list01.lc 2:13-2:14 |
24 | testdata/language-features/basic-list/list01.lc 3:10-3:31 List Char | 24 | _b |
25 | testdata/language-features/basic-list/list01.lc 3:11-3:14 Char | 25 | testdata/language-features/basic-list/list01.lc 2:13-2:18 |
26 | testdata/language-features/basic-list/list01.lc 3:15-3:18 Char | 26 | List _d |
27 | testdata/language-features/basic-list/list01.lc 3:15-3:30 List Char | 27 | testdata/language-features/basic-list/list01.lc 2:15-2:16 |
28 | testdata/language-features/basic-list/list01.lc 3:19-3:22 Char | 28 | _b |
29 | testdata/language-features/basic-list/list01.lc 3:19-3:30 List Char | 29 | testdata/language-features/basic-list/list01.lc 2:15-2:18 |
30 | testdata/language-features/basic-list/list01.lc 3:23-3:26 Char | 30 | List _e |
31 | testdata/language-features/basic-list/list01.lc 3:23-3:30 List Char | 31 | testdata/language-features/basic-list/list01.lc 2:17-2:18 |
32 | testdata/language-features/basic-list/list01.lc 3:27-3:30 Char | List Char | 32 | _b | List _e |
33 | testdata/language-features/basic-list/list01.lc 3:1-3:7 | ||
34 | List Char | ||
35 | testdata/language-features/basic-list/list01.lc 3:10-3:31 | ||
36 | List Char | ||
37 | testdata/language-features/basic-list/list01.lc 3:11-3:14 | ||
38 | Char | ||
39 | testdata/language-features/basic-list/list01.lc 3:15-3:18 | ||
40 | Char | ||
41 | testdata/language-features/basic-list/list01.lc 3:15-3:30 | ||
42 | List Char | ||
43 | testdata/language-features/basic-list/list01.lc 3:19-3:22 | ||
44 | Char | ||
45 | testdata/language-features/basic-list/list01.lc 3:19-3:30 | ||
46 | List Char | ||
47 | testdata/language-features/basic-list/list01.lc 3:23-3:26 | ||
48 | Char | ||
49 | testdata/language-features/basic-list/list01.lc 3:23-3:30 | ||
50 | List Char | ||
51 | testdata/language-features/basic-list/list01.lc 3:27-3:30 | ||
52 | Char | List Char \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/list02.out b/testdata/language-features/basic-list/list02.out index f10ae96c..665e8b7d 100644 --- a/testdata/language-features/basic-list/list02.out +++ b/testdata/language-features/basic-list/list02.out | |||
@@ -6,27 +6,47 @@ value2 | |||
6 | value3 = _rhs (Cons 'h' (Cons 'e' (Cons 'l' (Cons 'l' (Cons 'o' Nil))))) | 6 | value3 = _rhs (Cons 'h' (Cons 'e' (Cons 'l' (Cons 'l' (Cons 'o' Nil))))) |
7 | main is not found | 7 | main is not found |
8 | ------------ trace | 8 | ------------ trace |
9 | value1 :: [32mforall a . List [32ma[0;32m[0m | 9 | value1 :: forall a . List a |
10 | value2 :: [32mforall a . [32mNum [32m[32ma[0;32m[0;32m[0;32m => List [32ma[0;32m[0m | 10 | value2 :: forall a . Num a => List a |
11 | value3 :: [32mList Char[0m | 11 | value3 :: List Char |
12 | ------------ tooltips | 12 | ------------ tooltips |
13 | testdata/language-features/basic-list/list02.lc 1:1-1:7 forall a . List a | 13 | testdata/language-features/basic-list/list02.lc 1:1-1:7 |
14 | testdata/language-features/basic-list/list02.lc 1:10-2:4 forall a . List a | 14 | forall a . List a |
15 | testdata/language-features/basic-list/list02.lc 4:1-4:7 forall a . Num a => List a | 15 | testdata/language-features/basic-list/list02.lc 1:10-2:4 |
16 | testdata/language-features/basic-list/list02.lc 4:10-5:7 List _c | 16 | forall a . List a |
17 | testdata/language-features/basic-list/list02.lc 4:11-4:12 _b | 17 | testdata/language-features/basic-list/list02.lc 4:1-4:7 |
18 | testdata/language-features/basic-list/list02.lc 4:13-4:14 _b | 18 | forall a . Num a => List a |
19 | testdata/language-features/basic-list/list02.lc 4:13-5:6 List _d | 19 | testdata/language-features/basic-list/list02.lc 4:10-5:7 |
20 | testdata/language-features/basic-list/list02.lc 5:3-5:4 _b | 20 | List _c |
21 | testdata/language-features/basic-list/list02.lc 5:3-5:6 List _e | 21 | testdata/language-features/basic-list/list02.lc 4:11-4:12 |
22 | testdata/language-features/basic-list/list02.lc 5:5-5:6 List _e | _b | 22 | _b |
23 | testdata/language-features/basic-list/list02.lc 7:1-7:7 List Char | 23 | testdata/language-features/basic-list/list02.lc 4:13-4:14 |
24 | testdata/language-features/basic-list/list02.lc 8:3-13:4 List Char | 24 | _b |
25 | testdata/language-features/basic-list/list02.lc 8:5-8:8 Char | 25 | testdata/language-features/basic-list/list02.lc 4:13-5:6 |
26 | testdata/language-features/basic-list/list02.lc 9:5-9:8 Char | 26 | List _d |
27 | testdata/language-features/basic-list/list02.lc 9:5-12:8 List Char | 27 | testdata/language-features/basic-list/list02.lc 5:3-5:4 |
28 | testdata/language-features/basic-list/list02.lc 10:5-10:8 Char | 28 | _b |
29 | testdata/language-features/basic-list/list02.lc 10:5-12:8 List Char | 29 | testdata/language-features/basic-list/list02.lc 5:3-5:6 |
30 | testdata/language-features/basic-list/list02.lc 11:5-11:8 Char | 30 | List _e |
31 | testdata/language-features/basic-list/list02.lc 11:5-12:8 List Char | 31 | testdata/language-features/basic-list/list02.lc 5:5-5:6 |
32 | testdata/language-features/basic-list/list02.lc 12:5-12:8 Char | List Char | 32 | _b | List _e |
33 | testdata/language-features/basic-list/list02.lc 7:1-7:7 | ||
34 | List Char | ||
35 | testdata/language-features/basic-list/list02.lc 8:3-13:4 | ||
36 | List Char | ||
37 | testdata/language-features/basic-list/list02.lc 8:5-8:8 | ||
38 | Char | ||
39 | testdata/language-features/basic-list/list02.lc 9:5-9:8 | ||
40 | Char | ||
41 | testdata/language-features/basic-list/list02.lc 9:5-12:8 | ||
42 | List Char | ||
43 | testdata/language-features/basic-list/list02.lc 10:5-10:8 | ||
44 | Char | ||
45 | testdata/language-features/basic-list/list02.lc 10:5-12:8 | ||
46 | List Char | ||
47 | testdata/language-features/basic-list/list02.lc 11:5-11:8 | ||
48 | Char | ||
49 | testdata/language-features/basic-list/list02.lc 11:5-12:8 | ||
50 | List Char | ||
51 | testdata/language-features/basic-list/list02.lc 12:5-12:8 | ||
52 | Char | List Char \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/list07.reject.out b/testdata/language-features/basic-list/list07.reject.out index 27c8a2e3..a40c8c73 100644 --- a/testdata/language-features/basic-list/list07.reject.out +++ b/testdata/language-features/basic-list/list07.reject.out | |||
@@ -12,6 +12,9 @@ with | |||
12 | 12 | ||
13 | in builtin Nil | 13 | in builtin Nil |
14 | ------------ tooltips | 14 | ------------ tooltips |
15 | testdata/language-features/basic-list/list07.reject.lc 1:10-1:11 _b | 15 | testdata/language-features/basic-list/list07.reject.lc 1:10-1:11 |
16 | testdata/language-features/basic-list/list07.reject.lc 1:12-1:15 Float | 16 | _b |
17 | testdata/language-features/basic-list/list07.reject.lc 1:16-1:19 Char | 17 | testdata/language-features/basic-list/list07.reject.lc 1:12-1:15 |
18 | Float | ||
19 | testdata/language-features/basic-list/list07.reject.lc 1:16-1:19 | ||
20 | Char \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/list08.out b/testdata/language-features/basic-list/list08.out index 88bd2006..66a0526e 100644 --- a/testdata/language-features/basic-list/list08.out +++ b/testdata/language-features/basic-list/list08.out | |||
@@ -2,9 +2,13 @@ | |||
2 | value = _rhs (Cons (fromInt 1) (Cons 1.2 Nil)) | 2 | value = _rhs (Cons (fromInt 1) (Cons 1.2 Nil)) |
3 | main is not found | 3 | main is not found |
4 | ------------ trace | 4 | ------------ trace |
5 | value :: [32mList Float[0m | 5 | value :: List Float |
6 | ------------ tooltips | 6 | ------------ tooltips |
7 | testdata/language-features/basic-list/list08.lc 1:1-1:6 List Float | 7 | testdata/language-features/basic-list/list08.lc 1:1-1:6 |
8 | testdata/language-features/basic-list/list08.lc 1:9-1:16 List Float | 8 | List Float |
9 | testdata/language-features/basic-list/list08.lc 1:10-1:11 _b | 9 | testdata/language-features/basic-list/list08.lc 1:9-1:16 |
10 | testdata/language-features/basic-list/list08.lc 1:12-1:15 Float | List Float | 10 | List Float |
11 | testdata/language-features/basic-list/list08.lc 1:10-1:11 | ||
12 | _b | ||
13 | testdata/language-features/basic-list/list08.lc 1:12-1:15 | ||
14 | Float | List Float \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/list09.out b/testdata/language-features/basic-list/list09.out index 24341f59..7b7e8d99 100644 --- a/testdata/language-features/basic-list/list09.out +++ b/testdata/language-features/basic-list/list09.out | |||
@@ -2,11 +2,17 @@ | |||
2 | value = _rhs (Cons (fromInt 1) (Cons 1.2 Nil) :: List Float) | 2 | value = _rhs (Cons (fromInt 1) (Cons 1.2 Nil) :: List Float) |
3 | main is not found | 3 | main is not found |
4 | ------------ trace | 4 | ------------ trace |
5 | value :: [32mList Float[0m | 5 | value :: List Float |
6 | ------------ tooltips | 6 | ------------ tooltips |
7 | testdata/language-features/basic-list/list09.lc 1:1-1:6 List Float | 7 | testdata/language-features/basic-list/list09.lc 1:1-1:6 |
8 | testdata/language-features/basic-list/list09.lc 1:9-1:16 List Float | 8 | List Float |
9 | testdata/language-features/basic-list/list09.lc 1:10-1:11 _b | 9 | testdata/language-features/basic-list/list09.lc 1:9-1:16 |
10 | testdata/language-features/basic-list/list09.lc 1:12-1:15 Float | List Float | 10 | List Float |
11 | testdata/language-features/basic-list/list09.lc 1:20-1:27 Type | 11 | testdata/language-features/basic-list/list09.lc 1:10-1:11 |
12 | testdata/language-features/basic-list/list09.lc 1:21-1:26 Type | 12 | _b |
13 | testdata/language-features/basic-list/list09.lc 1:12-1:15 | ||
14 | Float | List Float | ||
15 | testdata/language-features/basic-list/list09.lc 1:20-1:27 | ||
16 | Type | ||
17 | testdata/language-features/basic-list/list09.lc 1:21-1:26 | ||
18 | Type \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/list10.reject.out b/testdata/language-features/basic-list/list10.reject.out index 186dc9c6..0ce8bd30 100644 --- a/testdata/language-features/basic-list/list10.reject.out +++ b/testdata/language-features/basic-list/list10.reject.out | |||
@@ -12,7 +12,11 @@ with | |||
12 | 12 | ||
13 | in builtin Nil | 13 | in builtin Nil |
14 | ------------ tooltips | 14 | ------------ tooltips |
15 | testdata/language-features/basic-list/list10.reject.lc 1:10-1:11 _b | 15 | testdata/language-features/basic-list/list10.reject.lc 1:10-1:11 |
16 | testdata/language-features/basic-list/list10.reject.lc 1:12-1:15 Float | 16 | _b |
17 | testdata/language-features/basic-list/list10.reject.lc 1:20-1:25 Type | 17 | testdata/language-features/basic-list/list10.reject.lc 1:12-1:15 |
18 | testdata/language-features/basic-list/list10.reject.lc 1:21-1:24 Type | 18 | Float |
19 | testdata/language-features/basic-list/list10.reject.lc 1:20-1:25 | ||
20 | Type | ||
21 | testdata/language-features/basic-list/list10.reject.lc 1:21-1:24 | ||
22 | Type \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/list11.out b/testdata/language-features/basic-list/list11.out index 01414c97..b02e1b06 100644 --- a/testdata/language-features/basic-list/list11.out +++ b/testdata/language-features/basic-list/list11.out | |||
@@ -2,11 +2,17 @@ | |||
2 | value = _rhs (fromInt 1 : Nil) | 2 | value = _rhs (fromInt 1 : Nil) |
3 | main is not found | 3 | main is not found |
4 | ------------ trace | 4 | ------------ trace |
5 | value :: [32mforall a . [32mNum [32m[32ma[0;32m[0;32m[0;32m => List [32ma[0;32m[0m | 5 | value :: forall a . Num a => List a |
6 | ------------ tooltips | 6 | ------------ tooltips |
7 | testdata/language-features/basic-list/list11.lc 1:1-1:6 forall a . Num a => List a | 7 | testdata/language-features/basic-list/list11.lc 1:1-1:6 |
8 | testdata/language-features/basic-list/list11.lc 1:9-1:10 _b | 8 | forall a . Num a => List a |
9 | testdata/language-features/basic-list/list11.lc 1:9-1:11 List _b -> List _b | 9 | testdata/language-features/basic-list/list11.lc 1:9-1:10 |
10 | testdata/language-features/basic-list/list11.lc 1:9-1:13 List _b | 10 | _b |
11 | testdata/language-features/basic-list/list11.lc 1:10-1:11 forall a . a -> List a -> List a | 11 | testdata/language-features/basic-list/list11.lc 1:9-1:11 |
12 | testdata/language-features/basic-list/list11.lc 1:11-1:13 forall a . List a | 12 | List _b -> List _b |
13 | testdata/language-features/basic-list/list11.lc 1:9-1:13 | ||
14 | List _b | ||
15 | testdata/language-features/basic-list/list11.lc 1:10-1:11 | ||
16 | forall a . a -> List a -> List a | ||
17 | testdata/language-features/basic-list/list11.lc 1:11-1:13 | ||
18 | forall a . List a \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/list12.out b/testdata/language-features/basic-list/list12.out index 9d57e36d..b33e242d 100644 --- a/testdata/language-features/basic-list/list12.out +++ b/testdata/language-features/basic-list/list12.out | |||
@@ -2,27 +2,49 @@ | |||
2 | value = _rhs (fromInt 1 : fromInt 2 : fromInt 3 : fromInt 4 : fromInt 5 : Nil) | 2 | value = _rhs (fromInt 1 : fromInt 2 : fromInt 3 : fromInt 4 : fromInt 5 : Nil) |
3 | main is not found | 3 | main is not found |
4 | ------------ trace | 4 | ------------ trace |
5 | value :: [32mforall a . [32mNum [32m[32ma[0;32m[0;32m[0;32m => List [32ma[0;32m[0m | 5 | value :: forall a . Num a => List a |
6 | ------------ tooltips | 6 | ------------ tooltips |
7 | testdata/language-features/basic-list/list12.lc 1:1-1:6 forall a . Num a => List a | 7 | testdata/language-features/basic-list/list12.lc 1:1-1:6 |
8 | testdata/language-features/basic-list/list12.lc 1:9-1:10 _b | 8 | forall a . Num a => List a |
9 | testdata/language-features/basic-list/list12.lc 1:9-1:11 List _b -> List _b | 9 | testdata/language-features/basic-list/list12.lc 1:9-1:10 |
10 | testdata/language-features/basic-list/list12.lc 1:9-1:21 List _c | 10 | _b |
11 | testdata/language-features/basic-list/list12.lc 1:10-1:11 forall a . a -> List a -> List a | 11 | testdata/language-features/basic-list/list12.lc 1:9-1:11 |
12 | testdata/language-features/basic-list/list12.lc 1:11-1:12 _b | 12 | List _b -> List _b |
13 | testdata/language-features/basic-list/list12.lc 1:11-1:13 List _b -> List _b | 13 | testdata/language-features/basic-list/list12.lc 1:9-1:21 |
14 | testdata/language-features/basic-list/list12.lc 1:11-1:21 List _d | 14 | List _c |
15 | testdata/language-features/basic-list/list12.lc 1:12-1:13 forall a . a -> List a -> List a | 15 | testdata/language-features/basic-list/list12.lc 1:10-1:11 |
16 | testdata/language-features/basic-list/list12.lc 1:13-1:14 _b | 16 | forall a . a -> List a -> List a |
17 | testdata/language-features/basic-list/list12.lc 1:13-1:15 List _b -> List _b | 17 | testdata/language-features/basic-list/list12.lc 1:11-1:12 |
18 | testdata/language-features/basic-list/list12.lc 1:13-1:21 List _e | 18 | _b |
19 | testdata/language-features/basic-list/list12.lc 1:14-1:15 forall a . a -> List a -> List a | 19 | testdata/language-features/basic-list/list12.lc 1:11-1:13 |
20 | testdata/language-features/basic-list/list12.lc 1:15-1:16 _b | 20 | List _b -> List _b |
21 | testdata/language-features/basic-list/list12.lc 1:15-1:17 List _b -> List _b | 21 | testdata/language-features/basic-list/list12.lc 1:11-1:21 |
22 | testdata/language-features/basic-list/list12.lc 1:15-1:21 List _f | 22 | List _d |
23 | testdata/language-features/basic-list/list12.lc 1:16-1:17 forall a . a -> List a -> List a | 23 | testdata/language-features/basic-list/list12.lc 1:12-1:13 |
24 | testdata/language-features/basic-list/list12.lc 1:17-1:18 _b | 24 | forall a . a -> List a -> List a |
25 | testdata/language-features/basic-list/list12.lc 1:17-1:19 List _b -> List _b | 25 | testdata/language-features/basic-list/list12.lc 1:13-1:14 |
26 | testdata/language-features/basic-list/list12.lc 1:17-1:21 List _f | 26 | _b |
27 | testdata/language-features/basic-list/list12.lc 1:18-1:19 forall a . a -> List a -> List a | 27 | testdata/language-features/basic-list/list12.lc 1:13-1:15 |
28 | testdata/language-features/basic-list/list12.lc 1:19-1:21 forall a . List a | 28 | List _b -> List _b |
29 | testdata/language-features/basic-list/list12.lc 1:13-1:21 | ||
30 | List _e | ||
31 | testdata/language-features/basic-list/list12.lc 1:14-1:15 | ||
32 | forall a . a -> List a -> List a | ||
33 | testdata/language-features/basic-list/list12.lc 1:15-1:16 | ||
34 | _b | ||
35 | testdata/language-features/basic-list/list12.lc 1:15-1:17 | ||
36 | List _b -> List _b | ||
37 | testdata/language-features/basic-list/list12.lc 1:15-1:21 | ||
38 | List _f | ||
39 | testdata/language-features/basic-list/list12.lc 1:16-1:17 | ||
40 | forall a . a -> List a -> List a | ||
41 | testdata/language-features/basic-list/list12.lc 1:17-1:18 | ||
42 | _b | ||
43 | testdata/language-features/basic-list/list12.lc 1:17-1:19 | ||
44 | List _b -> List _b | ||
45 | testdata/language-features/basic-list/list12.lc 1:17-1:21 | ||
46 | List _f | ||
47 | testdata/language-features/basic-list/list12.lc 1:18-1:19 | ||
48 | forall a . a -> List a -> List a | ||
49 | testdata/language-features/basic-list/list12.lc 1:19-1:21 | ||
50 | forall a . List a \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/list13.out b/testdata/language-features/basic-list/list13.out index 477564f1..f0a9adde 100644 --- a/testdata/language-features/basic-list/list13.out +++ b/testdata/language-features/basic-list/list13.out | |||
@@ -2,27 +2,49 @@ | |||
2 | value = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : Nil) | 2 | value = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : Nil) |
3 | main is not found | 3 | main is not found |
4 | ------------ trace | 4 | ------------ trace |
5 | value :: [32mList Char[0m | 5 | value :: List Char |
6 | ------------ tooltips | 6 | ------------ tooltips |
7 | testdata/language-features/basic-list/list13.lc 1:1-1:6 List Char | 7 | testdata/language-features/basic-list/list13.lc 1:1-1:6 |
8 | testdata/language-features/basic-list/list13.lc 1:9-1:12 Char | 8 | List Char |
9 | testdata/language-features/basic-list/list13.lc 1:9-1:13 List Char -> List Char | 9 | testdata/language-features/basic-list/list13.lc 1:9-1:12 |
10 | testdata/language-features/basic-list/list13.lc 1:9-1:31 List Char | 10 | Char |
11 | testdata/language-features/basic-list/list13.lc 1:12-1:13 forall a . a -> List a -> List a | 11 | testdata/language-features/basic-list/list13.lc 1:9-1:13 |
12 | testdata/language-features/basic-list/list13.lc 1:13-1:16 Char | 12 | List Char -> List Char |
13 | testdata/language-features/basic-list/list13.lc 1:13-1:17 List Char -> List Char | 13 | testdata/language-features/basic-list/list13.lc 1:9-1:31 |
14 | testdata/language-features/basic-list/list13.lc 1:13-1:31 List Char | 14 | List Char |
15 | testdata/language-features/basic-list/list13.lc 1:16-1:17 forall a . a -> List a -> List a | 15 | testdata/language-features/basic-list/list13.lc 1:12-1:13 |
16 | testdata/language-features/basic-list/list13.lc 1:17-1:20 Char | 16 | forall a . a -> List a -> List a |
17 | testdata/language-features/basic-list/list13.lc 1:17-1:21 List Char -> List Char | 17 | testdata/language-features/basic-list/list13.lc 1:13-1:16 |
18 | testdata/language-features/basic-list/list13.lc 1:17-1:31 List Char | 18 | Char |
19 | testdata/language-features/basic-list/list13.lc 1:20-1:21 forall a . a -> List a -> List a | 19 | testdata/language-features/basic-list/list13.lc 1:13-1:17 |
20 | testdata/language-features/basic-list/list13.lc 1:21-1:24 Char | 20 | List Char -> List Char |
21 | testdata/language-features/basic-list/list13.lc 1:21-1:25 List Char -> List Char | 21 | testdata/language-features/basic-list/list13.lc 1:13-1:31 |
22 | testdata/language-features/basic-list/list13.lc 1:21-1:31 List Char | 22 | List Char |
23 | testdata/language-features/basic-list/list13.lc 1:24-1:25 forall a . a -> List a -> List a | 23 | testdata/language-features/basic-list/list13.lc 1:16-1:17 |
24 | testdata/language-features/basic-list/list13.lc 1:25-1:28 Char | 24 | forall a . a -> List a -> List a |
25 | testdata/language-features/basic-list/list13.lc 1:25-1:29 List Char -> List Char | 25 | testdata/language-features/basic-list/list13.lc 1:17-1:20 |
26 | testdata/language-features/basic-list/list13.lc 1:25-1:31 List Char | 26 | Char |
27 | testdata/language-features/basic-list/list13.lc 1:28-1:29 forall a . a -> List a -> List a | 27 | testdata/language-features/basic-list/list13.lc 1:17-1:21 |
28 | testdata/language-features/basic-list/list13.lc 1:29-1:31 forall a . List a | 28 | List Char -> List Char |
29 | testdata/language-features/basic-list/list13.lc 1:17-1:31 | ||
30 | List Char | ||
31 | testdata/language-features/basic-list/list13.lc 1:20-1:21 | ||
32 | forall a . a -> List a -> List a | ||
33 | testdata/language-features/basic-list/list13.lc 1:21-1:24 | ||
34 | Char | ||
35 | testdata/language-features/basic-list/list13.lc 1:21-1:25 | ||
36 | List Char -> List Char | ||
37 | testdata/language-features/basic-list/list13.lc 1:21-1:31 | ||
38 | List Char | ||
39 | testdata/language-features/basic-list/list13.lc 1:24-1:25 | ||
40 | forall a . a -> List a -> List a | ||
41 | testdata/language-features/basic-list/list13.lc 1:25-1:28 | ||
42 | Char | ||
43 | testdata/language-features/basic-list/list13.lc 1:25-1:29 | ||
44 | List Char -> List Char | ||
45 | testdata/language-features/basic-list/list13.lc 1:25-1:31 | ||
46 | List Char | ||
47 | testdata/language-features/basic-list/list13.lc 1:28-1:29 | ||
48 | forall a . a -> List a -> List a | ||
49 | testdata/language-features/basic-list/list13.lc 1:29-1:31 | ||
50 | forall a . List a \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/list14.reject.out b/testdata/language-features/basic-list/list14.reject.out index c8abf9be..8d1a59e9 100644 --- a/testdata/language-features/basic-list/list14.reject.out +++ b/testdata/language-features/basic-list/list14.reject.out | |||
@@ -16,10 +16,17 @@ in testdata/language-features/basic-list/list14.reject.lc:1:17: | |||
16 | value = 'h':'i':() | 16 | value = 'h':'i':() |
17 | ^^ | 17 | ^^ |
18 | ------------ tooltips | 18 | ------------ tooltips |
19 | testdata/language-features/basic-list/list14.reject.lc 1:9-1:12 Char | 19 | testdata/language-features/basic-list/list14.reject.lc 1:9-1:12 |
20 | testdata/language-features/basic-list/list14.reject.lc 1:9-1:13 List Char -> List Char | 20 | Char |
21 | testdata/language-features/basic-list/list14.reject.lc 1:12-1:13 forall a . a -> List a -> List a | 21 | testdata/language-features/basic-list/list14.reject.lc 1:9-1:13 |
22 | testdata/language-features/basic-list/list14.reject.lc 1:13-1:16 Char | 22 | List Char -> List Char |
23 | testdata/language-features/basic-list/list14.reject.lc 1:13-1:17 List Char -> List Char | 23 | testdata/language-features/basic-list/list14.reject.lc 1:12-1:13 |
24 | testdata/language-features/basic-list/list14.reject.lc 1:16-1:17 forall a . a -> List a -> List a | 24 | forall a . a -> List a -> List a |
25 | testdata/language-features/basic-list/list14.reject.lc 1:17-1:19 () | 25 | testdata/language-features/basic-list/list14.reject.lc 1:13-1:16 |
26 | Char | ||
27 | testdata/language-features/basic-list/list14.reject.lc 1:13-1:17 | ||
28 | List Char -> List Char | ||
29 | testdata/language-features/basic-list/list14.reject.lc 1:16-1:17 | ||
30 | forall a . a -> List a -> List a | ||
31 | testdata/language-features/basic-list/list14.reject.lc 1:17-1:19 | ||
32 | () \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/list15.reject.out b/testdata/language-features/basic-list/list15.reject.out index 96a8907d..9caab32f 100644 --- a/testdata/language-features/basic-list/list15.reject.out +++ b/testdata/language-features/basic-list/list15.reject.out | |||
@@ -16,12 +16,21 @@ in testdata/language-features/basic-list/list15.reject.lc:1:20: | |||
16 | value = 'h':'i':():[] | 16 | value = 'h':'i':():[] |
17 | ^^ | 17 | ^^ |
18 | ------------ tooltips | 18 | ------------ tooltips |
19 | testdata/language-features/basic-list/list15.reject.lc 1:9-1:12 Char | 19 | testdata/language-features/basic-list/list15.reject.lc 1:9-1:12 |
20 | testdata/language-features/basic-list/list15.reject.lc 1:9-1:13 List Char -> List Char | 20 | Char |
21 | testdata/language-features/basic-list/list15.reject.lc 1:12-1:13 forall a . a -> List a -> List a | 21 | testdata/language-features/basic-list/list15.reject.lc 1:9-1:13 |
22 | testdata/language-features/basic-list/list15.reject.lc 1:13-1:16 Char | 22 | List Char -> List Char |
23 | testdata/language-features/basic-list/list15.reject.lc 1:13-1:17 List Char -> List Char | 23 | testdata/language-features/basic-list/list15.reject.lc 1:12-1:13 |
24 | testdata/language-features/basic-list/list15.reject.lc 1:16-1:17 forall a . a -> List a -> List a | 24 | forall a . a -> List a -> List a |
25 | testdata/language-features/basic-list/list15.reject.lc 1:17-1:19 () | 25 | testdata/language-features/basic-list/list15.reject.lc 1:13-1:16 |
26 | testdata/language-features/basic-list/list15.reject.lc 1:17-1:20 List () -> List () | 26 | Char |
27 | testdata/language-features/basic-list/list15.reject.lc 1:19-1:20 forall a . a -> List a -> List a | 27 | testdata/language-features/basic-list/list15.reject.lc 1:13-1:17 |
28 | List Char -> List Char | ||
29 | testdata/language-features/basic-list/list15.reject.lc 1:16-1:17 | ||
30 | forall a . a -> List a -> List a | ||
31 | testdata/language-features/basic-list/list15.reject.lc 1:17-1:19 | ||
32 | () | ||
33 | testdata/language-features/basic-list/list15.reject.lc 1:17-1:20 | ||
34 | List () -> List () | ||
35 | testdata/language-features/basic-list/list15.reject.lc 1:19-1:20 | ||
36 | forall a . a -> List a -> List a \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/list16.reject.out b/testdata/language-features/basic-list/list16.reject.out index e109192d..4ffd3ea0 100644 --- a/testdata/language-features/basic-list/list16.reject.out +++ b/testdata/language-features/basic-list/list16.reject.out | |||
@@ -16,7 +16,11 @@ in testdata/language-features/basic-list/list16.reject.lc:1:13: | |||
16 | value = 'h':'i' | 16 | value = 'h':'i' |
17 | ^^^ | 17 | ^^^ |
18 | ------------ tooltips | 18 | ------------ tooltips |
19 | testdata/language-features/basic-list/list16.reject.lc 1:9-1:12 Char | 19 | testdata/language-features/basic-list/list16.reject.lc 1:9-1:12 |
20 | testdata/language-features/basic-list/list16.reject.lc 1:9-1:13 List Char -> List Char | 20 | Char |
21 | testdata/language-features/basic-list/list16.reject.lc 1:12-1:13 forall a . a -> List a -> List a | 21 | testdata/language-features/basic-list/list16.reject.lc 1:9-1:13 |
22 | testdata/language-features/basic-list/list16.reject.lc 1:13-1:16 Char | 22 | List Char -> List Char |
23 | testdata/language-features/basic-list/list16.reject.lc 1:12-1:13 | ||
24 | forall a . a -> List a -> List a | ||
25 | testdata/language-features/basic-list/list16.reject.lc 1:13-1:16 | ||
26 | Char \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/listcomp01.out b/testdata/language-features/basic-list/listcomp01.out index 74cf6abb..56aeb025 100644 --- a/testdata/language-features/basic-list/listcomp01.out +++ b/testdata/language-features/basic-list/listcomp01.out | |||
@@ -6,15 +6,25 @@ value | |||
6 | (Cons HNil (Cons HNil (Cons HNil (Cons HNil Nil))))) | 6 | (Cons HNil (Cons HNil (Cons HNil (Cons HNil Nil))))) |
7 | main is not found | 7 | main is not found |
8 | ------------ trace | 8 | ------------ trace |
9 | value :: [32mList ()[0m | 9 | value :: List () |
10 | ------------ tooltips | 10 | ------------ tooltips |
11 | testdata/language-features/basic-list/listcomp01.lc 1:1-1:6 List () | 11 | testdata/language-features/basic-list/listcomp01.lc 1:1-1:6 |
12 | testdata/language-features/basic-list/listcomp01.lc 1:9-1:34 List () | 12 | List () |
13 | testdata/language-features/basic-list/listcomp01.lc 1:10-1:12 () | List () | _b -> List _a | 13 | testdata/language-features/basic-list/listcomp01.lc 1:9-1:34 |
14 | testdata/language-features/basic-list/listcomp01.lc 1:20-1:33 List () | 14 | List () |
15 | testdata/language-features/basic-list/listcomp01.lc 1:21-1:23 () | 15 | testdata/language-features/basic-list/listcomp01.lc 1:10-1:12 |
16 | testdata/language-features/basic-list/listcomp01.lc 1:24-1:26 () | 16 | () | List () |
17 | testdata/language-features/basic-list/listcomp01.lc 1:24-1:32 List () | 17 | testdata/language-features/basic-list/listcomp01.lc 1:20-1:33 |
18 | testdata/language-features/basic-list/listcomp01.lc 1:27-1:29 () | 18 | List () |
19 | testdata/language-features/basic-list/listcomp01.lc 1:27-1:32 List () | 19 | testdata/language-features/basic-list/listcomp01.lc 1:21-1:23 |
20 | testdata/language-features/basic-list/listcomp01.lc 1:30-1:32 () | List () | 20 | () |
21 | testdata/language-features/basic-list/listcomp01.lc 1:24-1:26 | ||
22 | () | ||
23 | testdata/language-features/basic-list/listcomp01.lc 1:24-1:32 | ||
24 | List () | ||
25 | testdata/language-features/basic-list/listcomp01.lc 1:27-1:29 | ||
26 | () | ||
27 | testdata/language-features/basic-list/listcomp01.lc 1:27-1:32 | ||
28 | List () | ||
29 | testdata/language-features/basic-list/listcomp01.lc 1:30-1:32 | ||
30 | () | List () \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/listcomp02.out b/testdata/language-features/basic-list/listcomp02.out index 7e689b09..dfd424a4 100644 --- a/testdata/language-features/basic-list/listcomp02.out +++ b/testdata/language-features/basic-list/listcomp02.out | |||
@@ -3,18 +3,30 @@ l = _rhs (Cons HNil (Cons HNil (Cons HNil (Cons HNil Nil)))) | |||
3 | value = _rhs (concatMap \(a :: _) -> Cons a Nil l) | 3 | value = _rhs (concatMap \(a :: _) -> Cons a Nil l) |
4 | main is not found | 4 | main is not found |
5 | ------------ trace | 5 | ------------ trace |
6 | l :: [32mList ()[0m | 6 | l :: List () |
7 | value :: [32mList ()[0m | 7 | value :: List () |
8 | ------------ tooltips | 8 | ------------ tooltips |
9 | testdata/language-features/basic-list/listcomp02.lc 1:1-1:2 List () | 9 | testdata/language-features/basic-list/listcomp02.lc 1:1-1:2 |
10 | testdata/language-features/basic-list/listcomp02.lc 1:5-1:18 List () | 10 | List () |
11 | testdata/language-features/basic-list/listcomp02.lc 1:6-1:8 () | 11 | testdata/language-features/basic-list/listcomp02.lc 1:5-1:18 |
12 | testdata/language-features/basic-list/listcomp02.lc 1:9-1:11 () | 12 | List () |
13 | testdata/language-features/basic-list/listcomp02.lc 1:9-1:17 List () | 13 | testdata/language-features/basic-list/listcomp02.lc 1:6-1:8 |
14 | testdata/language-features/basic-list/listcomp02.lc 1:12-1:14 () | 14 | () |
15 | testdata/language-features/basic-list/listcomp02.lc 1:12-1:17 List () | 15 | testdata/language-features/basic-list/listcomp02.lc 1:9-1:11 |
16 | testdata/language-features/basic-list/listcomp02.lc 1:15-1:17 () | List () | 16 | () |
17 | testdata/language-features/basic-list/listcomp02.lc 2:1-2:6 List () | 17 | testdata/language-features/basic-list/listcomp02.lc 1:9-1:17 |
18 | testdata/language-features/basic-list/listcomp02.lc 2:9-2:21 List () | 18 | List () |
19 | testdata/language-features/basic-list/listcomp02.lc 2:10-2:11 List _b | _b -> List _a | _d | 19 | testdata/language-features/basic-list/listcomp02.lc 1:12-1:14 |
20 | testdata/language-features/basic-list/listcomp02.lc 2:19-2:20 List () | 20 | () |
21 | testdata/language-features/basic-list/listcomp02.lc 1:12-1:17 | ||
22 | List () | ||
23 | testdata/language-features/basic-list/listcomp02.lc 1:15-1:17 | ||
24 | () | List () | ||
25 | testdata/language-features/basic-list/listcomp02.lc 2:1-2:6 | ||
26 | List () | ||
27 | testdata/language-features/basic-list/listcomp02.lc 2:9-2:21 | ||
28 | List () | ||
29 | testdata/language-features/basic-list/listcomp02.lc 2:10-2:11 | ||
30 | _d | List _b | ||
31 | testdata/language-features/basic-list/listcomp02.lc 2:19-2:20 | ||
32 | List () \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/listcomp03.out b/testdata/language-features/basic-list/listcomp03.out index 6bb450ce..4fce997f 100644 --- a/testdata/language-features/basic-list/listcomp03.out +++ b/testdata/language-features/basic-list/listcomp03.out | |||
@@ -6,17 +6,29 @@ value | |||
6 | (Cons HNil (Cons HNil (Cons HNil (Cons HNil Nil))))) | 6 | (Cons HNil (Cons HNil (Cons HNil (Cons HNil Nil))))) |
7 | main is not found | 7 | main is not found |
8 | ------------ trace | 8 | ------------ trace |
9 | value :: [32mList ()[0m | 9 | value :: List () |
10 | ------------ tooltips | 10 | ------------ tooltips |
11 | testdata/language-features/basic-list/listcomp03.lc 1:1-1:6 List () | 11 | testdata/language-features/basic-list/listcomp03.lc 1:1-1:6 |
12 | testdata/language-features/basic-list/listcomp03.lc 1:9-1:41 List () | 12 | List () |
13 | testdata/language-features/basic-list/listcomp03.lc 1:10-1:12 () | List () | 13 | testdata/language-features/basic-list/listcomp03.lc 1:9-1:41 |
14 | testdata/language-features/basic-list/listcomp03.lc 1:10-1:40 List () | List () -> List () | _b -> List _a | 14 | List () |
15 | testdata/language-features/basic-list/listcomp03.lc 1:20-1:33 List () | 15 | testdata/language-features/basic-list/listcomp03.lc 1:10-1:12 |
16 | testdata/language-features/basic-list/listcomp03.lc 1:21-1:23 () | 16 | () | List () |
17 | testdata/language-features/basic-list/listcomp03.lc 1:24-1:26 () | 17 | testdata/language-features/basic-list/listcomp03.lc 1:10-1:40 |
18 | testdata/language-features/basic-list/listcomp03.lc 1:24-1:32 List () | 18 | List () -> List () | List () |
19 | testdata/language-features/basic-list/listcomp03.lc 1:27-1:29 () | 19 | testdata/language-features/basic-list/listcomp03.lc 1:20-1:33 |
20 | testdata/language-features/basic-list/listcomp03.lc 1:27-1:32 List () | 20 | List () |
21 | testdata/language-features/basic-list/listcomp03.lc 1:30-1:32 () | List () | 21 | testdata/language-features/basic-list/listcomp03.lc 1:21-1:23 |
22 | testdata/language-features/basic-list/listcomp03.lc 1:35-1:40 Bool | 22 | () |
23 | testdata/language-features/basic-list/listcomp03.lc 1:24-1:26 | ||
24 | () | ||
25 | testdata/language-features/basic-list/listcomp03.lc 1:24-1:32 | ||
26 | List () | ||
27 | testdata/language-features/basic-list/listcomp03.lc 1:27-1:29 | ||
28 | () | ||
29 | testdata/language-features/basic-list/listcomp03.lc 1:27-1:32 | ||
30 | List () | ||
31 | testdata/language-features/basic-list/listcomp03.lc 1:30-1:32 | ||
32 | () | List () | ||
33 | testdata/language-features/basic-list/listcomp03.lc 1:35-1:40 | ||
34 | Bool \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/listcomp04.out b/testdata/language-features/basic-list/listcomp04.out index 48f2b74f..05e9c859 100644 --- a/testdata/language-features/basic-list/listcomp04.out +++ b/testdata/language-features/basic-list/listcomp04.out | |||
@@ -3,20 +3,34 @@ l = _rhs (Cons HNil (Cons HNil (Cons HNil (Cons HNil Nil)))) | |||
3 | value = _rhs (concatMap \_ -> concatMap \_ -> Cons HNil Nil l l) | 3 | value = _rhs (concatMap \_ -> concatMap \_ -> Cons HNil Nil l l) |
4 | main is not found | 4 | main is not found |
5 | ------------ trace | 5 | ------------ trace |
6 | l :: [32mList ()[0m | 6 | l :: List () |
7 | value :: [32mList ()[0m | 7 | value :: List () |
8 | ------------ tooltips | 8 | ------------ tooltips |
9 | testdata/language-features/basic-list/listcomp04.lc 1:1-1:2 List () | 9 | testdata/language-features/basic-list/listcomp04.lc 1:1-1:2 |
10 | testdata/language-features/basic-list/listcomp04.lc 1:5-1:18 List () | 10 | List () |
11 | testdata/language-features/basic-list/listcomp04.lc 1:6-1:8 () | 11 | testdata/language-features/basic-list/listcomp04.lc 1:5-1:18 |
12 | testdata/language-features/basic-list/listcomp04.lc 1:9-1:11 () | 12 | List () |
13 | testdata/language-features/basic-list/listcomp04.lc 1:9-1:17 List () | 13 | testdata/language-features/basic-list/listcomp04.lc 1:6-1:8 |
14 | testdata/language-features/basic-list/listcomp04.lc 1:12-1:14 () | 14 | () |
15 | testdata/language-features/basic-list/listcomp04.lc 1:12-1:17 List () | 15 | testdata/language-features/basic-list/listcomp04.lc 1:9-1:11 |
16 | testdata/language-features/basic-list/listcomp04.lc 1:15-1:17 () | List () | 16 | () |
17 | testdata/language-features/basic-list/listcomp04.lc 2:1-2:6 List () | 17 | testdata/language-features/basic-list/listcomp04.lc 1:9-1:17 |
18 | testdata/language-features/basic-list/listcomp04.lc 2:9-2:30 List () | 18 | List () |
19 | testdata/language-features/basic-list/listcomp04.lc 2:10-2:12 () | List () | _b -> List _a | 19 | testdata/language-features/basic-list/listcomp04.lc 1:12-1:14 |
20 | testdata/language-features/basic-list/listcomp04.lc 2:10-2:29 List () | _b -> List _a | 20 | () |
21 | testdata/language-features/basic-list/listcomp04.lc 2:20-2:21 List () | 21 | testdata/language-features/basic-list/listcomp04.lc 1:12-1:17 |
22 | testdata/language-features/basic-list/listcomp04.lc 2:28-2:29 List () | 22 | List () |
23 | testdata/language-features/basic-list/listcomp04.lc 1:15-1:17 | ||
24 | () | List () | ||
25 | testdata/language-features/basic-list/listcomp04.lc 2:1-2:6 | ||
26 | List () | ||
27 | testdata/language-features/basic-list/listcomp04.lc 2:9-2:30 | ||
28 | List () | ||
29 | testdata/language-features/basic-list/listcomp04.lc 2:10-2:12 | ||
30 | () | List () | ||
31 | testdata/language-features/basic-list/listcomp04.lc 2:10-2:29 | ||
32 | List () | ||
33 | testdata/language-features/basic-list/listcomp04.lc 2:20-2:21 | ||
34 | List () | ||
35 | testdata/language-features/basic-list/listcomp04.lc 2:28-2:29 | ||
36 | List () \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/listcomp05.out b/testdata/language-features/basic-list/listcomp05.out index ff151c96..c345731c 100644 --- a/testdata/language-features/basic-list/listcomp05.out +++ b/testdata/language-features/basic-list/listcomp05.out | |||
@@ -6,14 +6,21 @@ value | |||
6 | (Cons HNil (Cons HNil Nil))) | 6 | (Cons HNil (Cons HNil Nil))) |
7 | main is not found | 7 | main is not found |
8 | ------------ trace | 8 | ------------ trace |
9 | value :: [32mList ()[0m | 9 | value :: List () |
10 | ------------ tooltips | 10 | ------------ tooltips |
11 | testdata/language-features/basic-list/listcomp05.lc 1:1-1:6 List () | 11 | testdata/language-features/basic-list/listcomp05.lc 1:1-1:6 |
12 | testdata/language-features/basic-list/listcomp05.lc 1:9-1:39 List () | 12 | List () |
13 | testdata/language-features/basic-list/listcomp05.lc 1:10-1:11 () | 13 | testdata/language-features/basic-list/listcomp05.lc 1:9-1:39 |
14 | testdata/language-features/basic-list/listcomp05.lc 1:10-1:38 _b -> List _a | 14 | List () |
15 | testdata/language-features/basic-list/listcomp05.lc 1:19-1:26 List () | 15 | testdata/language-features/basic-list/listcomp05.lc 1:10-1:11 |
16 | testdata/language-features/basic-list/listcomp05.lc 1:20-1:22 () | 16 | () |
17 | testdata/language-features/basic-list/listcomp05.lc 1:23-1:25 () | List () | 17 | testdata/language-features/basic-list/listcomp05.lc 1:19-1:26 |
18 | testdata/language-features/basic-list/listcomp05.lc 1:32-1:33 () | _b | 18 | List () |
19 | testdata/language-features/basic-list/listcomp05.lc 1:36-1:38 () | 19 | testdata/language-features/basic-list/listcomp05.lc 1:20-1:22 |
20 | () | ||
21 | testdata/language-features/basic-list/listcomp05.lc 1:23-1:25 | ||
22 | () | List () | ||
23 | testdata/language-features/basic-list/listcomp05.lc 1:32-1:33 | ||
24 | _b | () | ||
25 | testdata/language-features/basic-list/listcomp05.lc 1:36-1:38 | ||
26 | () \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/listcomp06.out b/testdata/language-features/basic-list/listcomp06.out index 4219a6d0..c06f6155 100644 --- a/testdata/language-features/basic-list/listcomp06.out +++ b/testdata/language-features/basic-list/listcomp06.out | |||
@@ -17,26 +17,46 @@ value2 | |||
17 | (Cons HNil (Cons HNil Nil))) | 17 | (Cons HNil (Cons HNil Nil))) |
18 | main is not found | 18 | main is not found |
19 | ------------ trace | 19 | ------------ trace |
20 | value1 :: [32mList ()[0m | 20 | value1 :: List () |
21 | value2 :: [32mList ()[0m | 21 | value2 :: List () |
22 | ------------ tooltips | 22 | ------------ tooltips |
23 | testdata/language-features/basic-list/listcomp06.lc 1:1-1:7 List () | 23 | testdata/language-features/basic-list/listcomp06.lc 1:1-1:7 |
24 | testdata/language-features/basic-list/listcomp06.lc 1:10-1:46 List () | 24 | List () |
25 | testdata/language-features/basic-list/listcomp06.lc 1:11-1:12 () | List () | 25 | testdata/language-features/basic-list/listcomp06.lc 1:10-1:46 |
26 | testdata/language-features/basic-list/listcomp06.lc 1:11-1:45 List () -> List () | _b -> List _a | 26 | List () |
27 | testdata/language-features/basic-list/listcomp06.lc 1:20-1:27 List () | 27 | testdata/language-features/basic-list/listcomp06.lc 1:11-1:12 |
28 | testdata/language-features/basic-list/listcomp06.lc 1:21-1:23 () | 28 | () | List () |
29 | testdata/language-features/basic-list/listcomp06.lc 1:24-1:26 () | List () | 29 | testdata/language-features/basic-list/listcomp06.lc 1:11-1:45 |
30 | testdata/language-features/basic-list/listcomp06.lc 1:33-1:34 () | _b | 30 | List () -> List () |
31 | testdata/language-features/basic-list/listcomp06.lc 1:37-1:39 () | 31 | testdata/language-features/basic-list/listcomp06.lc 1:20-1:27 |
32 | testdata/language-features/basic-list/listcomp06.lc 1:41-1:45 Bool | 32 | List () |
33 | testdata/language-features/basic-list/listcomp06.lc 3:1-3:7 List () | 33 | testdata/language-features/basic-list/listcomp06.lc 1:21-1:23 |
34 | testdata/language-features/basic-list/listcomp06.lc 3:10-3:46 List () | 34 | () |
35 | testdata/language-features/basic-list/listcomp06.lc 3:11-3:12 () | 35 | testdata/language-features/basic-list/listcomp06.lc 1:24-1:26 |
36 | testdata/language-features/basic-list/listcomp06.lc 3:11-3:45 List () | _b -> List _a | 36 | () | List () |
37 | testdata/language-features/basic-list/listcomp06.lc 3:20-3:27 List () | 37 | testdata/language-features/basic-list/listcomp06.lc 1:33-1:34 |
38 | testdata/language-features/basic-list/listcomp06.lc 3:21-3:23 () | 38 | _b | () |
39 | testdata/language-features/basic-list/listcomp06.lc 3:24-3:26 () | List () | 39 | testdata/language-features/basic-list/listcomp06.lc 1:37-1:39 |
40 | testdata/language-features/basic-list/listcomp06.lc 3:29-3:33 Bool | 40 | () |
41 | testdata/language-features/basic-list/listcomp06.lc 3:39-3:40 () | _b | 41 | testdata/language-features/basic-list/listcomp06.lc 1:41-1:45 |
42 | testdata/language-features/basic-list/listcomp06.lc 3:43-3:45 () | 42 | Bool |
43 | testdata/language-features/basic-list/listcomp06.lc 3:1-3:7 | ||
44 | List () | ||
45 | testdata/language-features/basic-list/listcomp06.lc 3:10-3:46 | ||
46 | List () | ||
47 | testdata/language-features/basic-list/listcomp06.lc 3:11-3:12 | ||
48 | () | ||
49 | testdata/language-features/basic-list/listcomp06.lc 3:11-3:45 | ||
50 | List () | ||
51 | testdata/language-features/basic-list/listcomp06.lc 3:20-3:27 | ||
52 | List () | ||
53 | testdata/language-features/basic-list/listcomp06.lc 3:21-3:23 | ||
54 | () | ||
55 | testdata/language-features/basic-list/listcomp06.lc 3:24-3:26 | ||
56 | () | List () | ||
57 | testdata/language-features/basic-list/listcomp06.lc 3:29-3:33 | ||
58 | Bool | ||
59 | testdata/language-features/basic-list/listcomp06.lc 3:39-3:40 | ||
60 | _b | () | ||
61 | testdata/language-features/basic-list/listcomp06.lc 3:43-3:45 | ||
62 | () \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/listcomp07.out b/testdata/language-features/basic-list/listcomp07.out index 62a30caf..617c9b61 100644 --- a/testdata/language-features/basic-list/listcomp07.out +++ b/testdata/language-features/basic-list/listcomp07.out | |||
@@ -25,43 +25,73 @@ value3 | |||
25 | (Cons HNil (Cons HNil Nil))) | 25 | (Cons HNil (Cons HNil Nil))) |
26 | main is not found | 26 | main is not found |
27 | ------------ trace | 27 | ------------ trace |
28 | value1 :: [32mList ()[0m | 28 | value1 :: List () |
29 | value2 :: [32mList ()[0m | 29 | value2 :: List () |
30 | value3 :: [32mList ()[0m | 30 | value3 :: List () |
31 | ------------ tooltips | 31 | ------------ tooltips |
32 | testdata/language-features/basic-list/listcomp07.lc 1:1-1:7 List () | 32 | testdata/language-features/basic-list/listcomp07.lc 1:1-1:7 |
33 | testdata/language-features/basic-list/listcomp07.lc 1:10-6:11 List () | 33 | List () |
34 | testdata/language-features/basic-list/listcomp07.lc 1:12-1:13 () | 34 | testdata/language-features/basic-list/listcomp07.lc 1:10-6:11 |
35 | testdata/language-features/basic-list/listcomp07.lc 1:12-5:21 _b -> List _a | 35 | List () |
36 | testdata/language-features/basic-list/listcomp07.lc 2:17-2:24 List () | 36 | testdata/language-features/basic-list/listcomp07.lc 1:12-1:13 |
37 | testdata/language-features/basic-list/listcomp07.lc 2:18-2:20 () | 37 | () |
38 | testdata/language-features/basic-list/listcomp07.lc 2:21-2:23 () | List () | 38 | testdata/language-features/basic-list/listcomp07.lc 2:17-2:24 |
39 | testdata/language-features/basic-list/listcomp07.lc 3:16-3:17 () | _b | 39 | List () |
40 | testdata/language-features/basic-list/listcomp07.lc 3:20-3:22 () | 40 | testdata/language-features/basic-list/listcomp07.lc 2:18-2:20 |
41 | testdata/language-features/basic-list/listcomp07.lc 4:12-4:16 Bool | 41 | () |
42 | testdata/language-features/basic-list/listcomp07.lc 5:16-5:17 () | _b | 42 | testdata/language-features/basic-list/listcomp07.lc 2:21-2:23 |
43 | testdata/language-features/basic-list/listcomp07.lc 5:20-5:21 () | 43 | () | List () |
44 | testdata/language-features/basic-list/listcomp07.lc 8:1-8:7 List () | 44 | testdata/language-features/basic-list/listcomp07.lc 3:16-3:17 |
45 | testdata/language-features/basic-list/listcomp07.lc 8:10-12:11 List () | 45 | _b | () |
46 | testdata/language-features/basic-list/listcomp07.lc 8:12-8:13 () | 46 | testdata/language-features/basic-list/listcomp07.lc 3:20-3:22 |
47 | testdata/language-features/basic-list/listcomp07.lc 8:12-11:21 _b -> List _a | 47 | () |
48 | testdata/language-features/basic-list/listcomp07.lc 8:21-8:28 List () | 48 | testdata/language-features/basic-list/listcomp07.lc 4:12-4:16 |
49 | testdata/language-features/basic-list/listcomp07.lc 8:22-8:24 () | 49 | Bool |
50 | testdata/language-features/basic-list/listcomp07.lc 8:25-8:27 () | List () | 50 | testdata/language-features/basic-list/listcomp07.lc 5:16-5:17 |
51 | testdata/language-features/basic-list/listcomp07.lc 9:16-9:17 () | _b | 51 | _b | () |
52 | testdata/language-features/basic-list/listcomp07.lc 9:20-9:22 () | 52 | testdata/language-features/basic-list/listcomp07.lc 5:20-5:21 |
53 | testdata/language-features/basic-list/listcomp07.lc 10:12-10:16 Bool | 53 | () |
54 | testdata/language-features/basic-list/listcomp07.lc 11:16-11:17 () | _b | 54 | testdata/language-features/basic-list/listcomp07.lc 8:1-8:7 |
55 | testdata/language-features/basic-list/listcomp07.lc 11:20-11:21 () | 55 | List () |
56 | testdata/language-features/basic-list/listcomp07.lc 14:1-14:7 List () | 56 | testdata/language-features/basic-list/listcomp07.lc 8:10-12:11 |
57 | testdata/language-features/basic-list/listcomp07.lc 14:10-20:3 List () | 57 | List () |
58 | testdata/language-features/basic-list/listcomp07.lc 14:12-14:13 () | 58 | testdata/language-features/basic-list/listcomp07.lc 8:12-8:13 |
59 | testdata/language-features/basic-list/listcomp07.lc 14:12-19:15 _b -> List _a | 59 | () |
60 | testdata/language-features/basic-list/listcomp07.lc 15:15-15:22 List () | 60 | testdata/language-features/basic-list/listcomp07.lc 8:21-8:28 |
61 | testdata/language-features/basic-list/listcomp07.lc 15:16-15:18 () | 61 | List () |
62 | testdata/language-features/basic-list/listcomp07.lc 15:19-15:21 () | List () | 62 | testdata/language-features/basic-list/listcomp07.lc 8:22-8:24 |
63 | testdata/language-features/basic-list/listcomp07.lc 17:2-17:3 () | _b | 63 | () |
64 | testdata/language-features/basic-list/listcomp07.lc 17:6-17:8 () | 64 | testdata/language-features/basic-list/listcomp07.lc 8:25-8:27 |
65 | testdata/language-features/basic-list/listcomp07.lc 18:7-18:11 Bool | 65 | () | List () |
66 | testdata/language-features/basic-list/listcomp07.lc 19:10-19:11 () | _b | 66 | testdata/language-features/basic-list/listcomp07.lc 9:16-9:17 |
67 | testdata/language-features/basic-list/listcomp07.lc 19:14-19:15 () | 67 | _b | () |
68 | testdata/language-features/basic-list/listcomp07.lc 9:20-9:22 | ||
69 | () | ||
70 | testdata/language-features/basic-list/listcomp07.lc 10:12-10:16 | ||
71 | Bool | ||
72 | testdata/language-features/basic-list/listcomp07.lc 11:16-11:17 | ||
73 | _b | () | ||
74 | testdata/language-features/basic-list/listcomp07.lc 11:20-11:21 | ||
75 | () | ||
76 | testdata/language-features/basic-list/listcomp07.lc 14:1-14:7 | ||
77 | List () | ||
78 | testdata/language-features/basic-list/listcomp07.lc 14:10-20:3 | ||
79 | List () | ||
80 | testdata/language-features/basic-list/listcomp07.lc 14:12-14:13 | ||
81 | () | ||
82 | testdata/language-features/basic-list/listcomp07.lc 15:15-15:22 | ||
83 | List () | ||
84 | testdata/language-features/basic-list/listcomp07.lc 15:16-15:18 | ||
85 | () | ||
86 | testdata/language-features/basic-list/listcomp07.lc 15:19-15:21 | ||
87 | () | List () | ||
88 | testdata/language-features/basic-list/listcomp07.lc 17:2-17:3 | ||
89 | _b | () | ||
90 | testdata/language-features/basic-list/listcomp07.lc 17:6-17:8 | ||
91 | () | ||
92 | testdata/language-features/basic-list/listcomp07.lc 18:7-18:11 | ||
93 | Bool | ||
94 | testdata/language-features/basic-list/listcomp07.lc 19:10-19:11 | ||
95 | _b | () | ||
96 | testdata/language-features/basic-list/listcomp07.lc 19:14-19:15 | ||
97 | () \ No newline at end of file | ||
diff --git a/testdata/language-features/basic-list/listcomp08.reject.out b/testdata/language-features/basic-list/listcomp08.reject.out index 3a989de0..6ecdfd71 100644 --- a/testdata/language-features/basic-list/listcomp08.reject.out +++ b/testdata/language-features/basic-list/listcomp08.reject.out | |||
@@ -16,5 +16,5 @@ in testdata/language-features/basic-list/listcomp08.reject.lc:1:23: | |||
16 | value = [x | x <- [], "not Bool"] | 16 | value = [x | x <- [], "not Bool"] |
17 | ^^^^^^^^^^ | 17 | ^^^^^^^^^^ |
18 | ------------ tooltips | 18 | ------------ tooltips |
19 | testdata/language-features/basic-list/listcomp08.reject.lc 1:10-1:33 _b -> List _a | 19 | testdata/language-features/basic-list/listcomp08.reject.lc 1:23-1:33 |
20 | testdata/language-features/basic-list/listcomp08.reject.lc 1:23-1:33 String | 20 | String \ No newline at end of file |
diff --git a/testdata/language-features/basic-list/listcomp09.out b/testdata/language-features/basic-list/listcomp09.out index 34f86f7f..60e73fcc 100644 --- a/testdata/language-features/basic-list/listcomp09.out +++ b/testdata/language-features/basic-list/listcomp09.out | |||
@@ -4,10 +4,15 @@ value1 | |||
4 | (concatMap \_ -> Cons \(a :: _) -> hlistNilCase (_ :: _) "Hello" a Nil Nil) | 4 | (concatMap \_ -> Cons \(a :: _) -> hlistNilCase (_ :: _) "Hello" a Nil Nil) |
5 | main is not found | 5 | main is not found |
6 | ------------ trace | 6 | ------------ trace |
7 | value1 :: [32mType => List (() -> String)[0m | 7 | value1 :: Type => List (() -> String) |
8 | ------------ tooltips | 8 | ------------ tooltips |
9 | testdata/language-features/basic-list/listcomp09.lc 1:1-1:7 Type => List (() -> String) | 9 | testdata/language-features/basic-list/listcomp09.lc 1:1-1:7 |
10 | testdata/language-features/basic-list/listcomp09.lc 1:10-1:36 List (() -> String) | 10 | Type => List (() -> String) |
11 | testdata/language-features/basic-list/listcomp09.lc 1:11-1:25 List (() -> String) | _b -> List _a | 11 | testdata/language-features/basic-list/listcomp09.lc 1:10-1:36 |
12 | testdata/language-features/basic-list/listcomp09.lc 1:18-1:25 String | 12 | List (() -> String) |
13 | testdata/language-features/basic-list/listcomp09.lc 1:33-1:35 forall a . List a | 13 | testdata/language-features/basic-list/listcomp09.lc 1:11-1:25 |
14 | List (() -> String) | ||
15 | testdata/language-features/basic-list/listcomp09.lc 1:18-1:25 | ||
16 | String | ||
17 | testdata/language-features/basic-list/listcomp09.lc 1:33-1:35 | ||
18 | forall a . List a \ No newline at end of file | ||