summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-list
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/basic-list')
-rw-r--r--testdata/language-features/basic-list/dotdot01.out8
-rw-r--r--testdata/language-features/basic-list/list01.out40
-rw-r--r--testdata/language-features/basic-list/list02.out40
-rw-r--r--testdata/language-features/basic-list/list03.reject.out4
-rw-r--r--testdata/language-features/basic-list/list04.reject.out4
-rw-r--r--testdata/language-features/basic-list/list05.reject.out4
-rw-r--r--testdata/language-features/basic-list/list06.reject.out4
-rw-r--r--testdata/language-features/basic-list/list07.reject.out6
-rw-r--r--testdata/language-features/basic-list/list08.out8
-rw-r--r--testdata/language-features/basic-list/list09.out12
-rw-r--r--testdata/language-features/basic-list/list10.reject.out12
-rw-r--r--testdata/language-features/basic-list/list11.out12
-rw-r--r--testdata/language-features/basic-list/list12.out44
-rw-r--r--testdata/language-features/basic-list/list13.out44
-rw-r--r--testdata/language-features/basic-list/list14.reject.out18
-rw-r--r--testdata/language-features/basic-list/list15.reject.out22
-rw-r--r--testdata/language-features/basic-list/list16.reject.out12
-rw-r--r--testdata/language-features/basic-list/listcomp01.out20
-rw-r--r--testdata/language-features/basic-list/listcomp02.out24
-rw-r--r--testdata/language-features/basic-list/listcomp03.out24
-rw-r--r--testdata/language-features/basic-list/listcomp04.out28
-rw-r--r--testdata/language-features/basic-list/listcomp05.out16
-rw-r--r--testdata/language-features/basic-list/listcomp06.out40
-rw-r--r--testdata/language-features/basic-list/listcomp07.out66
-rw-r--r--testdata/language-features/basic-list/listcomp08.reject.out10
-rw-r--r--testdata/language-features/basic-list/listcomp09.out10
26 files changed, 266 insertions, 266 deletions
diff --git a/testdata/language-features/basic-list/dotdot01.out b/testdata/language-features/basic-list/dotdot01.out
index b1e0fac8..9a9defd3 100644
--- a/testdata/language-features/basic-list/dotdot01.out
+++ b/testdata/language-features/basic-list/dotdot01.out
@@ -6,11 +6,11 @@ main = _lhs main (_rhs (fromTo (fromInt 1) (fromInt 10)))
6main :: [Float] 6main :: [Float]
7main = _rhs (1.0 : fromTo (1.0 + 1.0) 10.0) 7main = _rhs (1.0 : fromTo (1.0 + 1.0) 10.0)
8------------ tooltips 8------------ tooltips
9dotdot01.lc 2:1-2:5 92:1-2:5
10 [Float] 10 [Float]
11dotdot01.lc 2:8-2:15 112:8-2:15
12 [Float] 12 [Float]
13dotdot01.lc 2:9-2:10 132:9-2:10
14 _b 14 _b
15dotdot01.lc 2:12-2:14 152:12-2:14
16 _b \ No newline at end of file 16 _b \ No newline at end of file
diff --git a/testdata/language-features/basic-list/list01.out b/testdata/language-features/basic-list/list01.out
index e8fabda7..c084335f 100644
--- a/testdata/language-features/basic-list/list01.out
+++ b/testdata/language-features/basic-list/list01.out
@@ -16,43 +16,43 @@ value2
16value3 :: [Char] 16value3 :: [Char]
17value3 = _rhs ['h', 'e', 'l', 'l', 'o'] 17value3 = _rhs ['h', 'e', 'l', 'l', 'o']
18------------ tooltips 18------------ tooltips
19list01.lc 1:1-1:7 191:1-1:7
20 forall a . [a] 20 forall a . [a]
21list01.lc 1:10-1:12 211:10-1:12
22 forall a . [a] 22 forall a . [a]
23list01.lc 2:1-2:7 232:1-2:7
24 forall a . Num a => [a] 24 forall a . Num a => [a]
25list01.lc 2:10-2:19 252:10-2:19
26 [_c] 26 [_c]
27list01.lc 2:11-2:12 272:11-2:12
28 _b 28 _b
29list01.lc 2:13-2:14 292:13-2:14
30 _b 30 _b
31list01.lc 2:13-2:18 312:13-2:18
32 [_d] 32 [_d]
33list01.lc 2:15-2:16 332:15-2:16
34 _b 34 _b
35list01.lc 2:15-2:18 352:15-2:18
36 [_e] 36 [_e]
37list01.lc 2:17-2:18 372:17-2:18
38 _b | [_e] 38 _b | [_e]
39list01.lc 3:1-3:7 393:1-3:7
40 [Char] 40 [Char]
41list01.lc 3:10-3:31 413:10-3:31
42 [Char] 42 [Char]
43list01.lc 3:11-3:14 433:11-3:14
44 Char 44 Char
45list01.lc 3:15-3:18 453:15-3:18
46 Char 46 Char
47list01.lc 3:15-3:30 473:15-3:30
48 [Char] 48 [Char]
49list01.lc 3:19-3:22 493:19-3:22
50 Char 50 Char
51list01.lc 3:19-3:30 513:19-3:30
52 [Char] 52 [Char]
53list01.lc 3:23-3:26 533:23-3:26
54 Char 54 Char
55list01.lc 3:23-3:30 553:23-3:30
56 [Char] 56 [Char]
57list01.lc 3:27-3:30 573:27-3:30
58 Char | [Char] \ No newline at end of file 58 Char | [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 cbec659d..9d0681f2 100644
--- a/testdata/language-features/basic-list/list02.out
+++ b/testdata/language-features/basic-list/list02.out
@@ -16,43 +16,43 @@ value2
16value3 :: [Char] 16value3 :: [Char]
17value3 = _rhs ['h', 'e', 'l', 'l', 'o'] 17value3 = _rhs ['h', 'e', 'l', 'l', 'o']
18------------ tooltips 18------------ tooltips
19list02.lc 1:1-1:7 191:1-1:7
20 forall a . [a] 20 forall a . [a]
21list02.lc 1:10-2:4 211:10-2:4
22 forall a . [a] 22 forall a . [a]
23list02.lc 4:1-4:7 234:1-4:7
24 forall a . Num a => [a] 24 forall a . Num a => [a]
25list02.lc 4:10-5:7 254:10-5:7
26 [_c] 26 [_c]
27list02.lc 4:11-4:12 274:11-4:12
28 _b 28 _b
29list02.lc 4:13-4:14 294:13-4:14
30 _b 30 _b
31list02.lc 4:13-5:6 314:13-5:6
32 [_d] 32 [_d]
33list02.lc 5:3-5:4 335:3-5:4
34 _b 34 _b
35list02.lc 5:3-5:6 355:3-5:6
36 [_e] 36 [_e]
37list02.lc 5:5-5:6 375:5-5:6
38 _b | [_e] 38 _b | [_e]
39list02.lc 7:1-7:7 397:1-7:7
40 [Char] 40 [Char]
41list02.lc 8:3-13:4 418:3-13:4
42 [Char] 42 [Char]
43list02.lc 8:5-8:8 438:5-8:8
44 Char 44 Char
45list02.lc 9:5-9:8 459:5-9:8
46 Char 46 Char
47list02.lc 9:5-12:8 479:5-12:8
48 [Char] 48 [Char]
49list02.lc 10:5-10:8 4910:5-10:8
50 Char 50 Char
51list02.lc 10:5-12:8 5110:5-12:8
52 [Char] 52 [Char]
53list02.lc 11:5-11:8 5311:5-11:8
54 Char 54 Char
55list02.lc 11:5-12:8 5511:5-12:8
56 [Char] 56 [Char]
57list02.lc 12:5-12:8 5712:5-12:8
58 Char | [Char] \ No newline at end of file 58 Char | [Char] \ No newline at end of file
diff --git a/testdata/language-features/basic-list/list03.reject.out b/testdata/language-features/basic-list/list03.reject.out
index cd099e9c..4be98b40 100644
--- a/testdata/language-features/basic-list/list03.reject.out
+++ b/testdata/language-features/basic-list/list03.reject.out
@@ -1,3 +1,3 @@
1testdata/language-features/basic-list/list03.reject.lc:2:1: 1./testdata/language-features/basic-list/list03.reject.lc:2:1:
2expecting expression 2expecting expression
3wrong indentation 3wrong indentation \ No newline at end of file
diff --git a/testdata/language-features/basic-list/list04.reject.out b/testdata/language-features/basic-list/list04.reject.out
index 00ca6166..b000c562 100644
--- a/testdata/language-features/basic-list/list04.reject.out
+++ b/testdata/language-features/basic-list/list04.reject.out
@@ -1,3 +1,3 @@
1testdata/language-features/basic-list/list04.reject.lc:2:1: 1./testdata/language-features/basic-list/list04.reject.lc:2:1:
2expecting expression 2expecting expression
3wrong indentation 3wrong indentation \ No newline at end of file
diff --git a/testdata/language-features/basic-list/list05.reject.out b/testdata/language-features/basic-list/list05.reject.out
index 15b54a98..4801e2b7 100644
--- a/testdata/language-features/basic-list/list05.reject.out
+++ b/testdata/language-features/basic-list/list05.reject.out
@@ -1,4 +1,4 @@
1testdata/language-features/basic-list/list05.reject.lc:2:1: 1./testdata/language-features/basic-list/list05.reject.lc:2:1:
2unexpected end of input 2unexpected end of input
3expecting expression 3expecting expression
4wrong indentation 4wrong indentation \ No newline at end of file
diff --git a/testdata/language-features/basic-list/list06.reject.out b/testdata/language-features/basic-list/list06.reject.out
index 891e48f6..68775106 100644
--- a/testdata/language-features/basic-list/list06.reject.out
+++ b/testdata/language-features/basic-list/list06.reject.out
@@ -1,3 +1,3 @@
1testdata/language-features/basic-list/list06.reject.lc:1:10: 1./testdata/language-features/basic-list/list06.reject.lc:1:10:
2unexpected ',' 2unexpected ','
3expecting expression 3expecting expression \ 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 576973a9..38039104 100644
--- a/testdata/language-features/basic-list/list07.reject.out
+++ b/testdata/language-features/basic-list/list07.reject.out
@@ -10,9 +10,9 @@ with
10 Char 10 Char
11in [] 11in []
12------------ tooltips 12------------ tooltips
13list07.reject.lc 1:10-1:11 131:10-1:11
14 _b 14 _b
15list07.reject.lc 1:12-1:15 151:12-1:15
16 Float 16 Float
17list07.reject.lc 1:16-1:19 171:16-1:19
18 Char \ No newline at end of file 18 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 68e3aaea..2f6f9a77 100644
--- a/testdata/language-features/basic-list/list08.out
+++ b/testdata/language-features/basic-list/list08.out
@@ -5,11 +5,11 @@ value = _lhs value (_rhs [fromInt 1, 1.2])
5value :: [Float] 5value :: [Float]
6value = _rhs [1.0, 1.2] 6value = _rhs [1.0, 1.2]
7------------ tooltips 7------------ tooltips
8list08.lc 1:1-1:6 81:1-1:6
9 [Float] 9 [Float]
10list08.lc 1:9-1:16 101:9-1:16
11 [Float] 11 [Float]
12list08.lc 1:10-1:11 121:10-1:11
13 _b 13 _b
14list08.lc 1:12-1:15 141:12-1:15
15 Float | [Float] \ No newline at end of file 15 Float | [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 0d09aea9..99879a64 100644
--- a/testdata/language-features/basic-list/list09.out
+++ b/testdata/language-features/basic-list/list09.out
@@ -5,15 +5,15 @@ value = _lhs value (_rhs ([fromInt 1, 1.2] :: [Float]))
5value :: [Float] 5value :: [Float]
6value = _rhs [1.0, 1.2] 6value = _rhs [1.0, 1.2]
7------------ tooltips 7------------ tooltips
8list09.lc 1:1-1:6 81:1-1:6
9 [Float] 9 [Float]
10list09.lc 1:9-1:16 101:9-1:16
11 [Float] 11 [Float]
12list09.lc 1:10-1:11 121:10-1:11
13 _b 13 _b
14list09.lc 1:12-1:15 141:12-1:15
15 Float | [Float] 15 Float | [Float]
16list09.lc 1:20-1:27 161:20-1:27
17 Type 17 Type
18list09.lc 1:21-1:26 181:21-1:26
19 Type \ No newline at end of file 19 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 8cad72ab..1b9da45f 100644
--- a/testdata/language-features/basic-list/list10.reject.out
+++ b/testdata/language-features/basic-list/list10.reject.out
@@ -1,5 +1,5 @@
1type error: can not unify 1type error: can not unify
2 'Internals.lc:58:6: 2 <<installed-prelude-path>>/Internals.lc:58:6:
3 data Int 3 data Int
4 ^^^ 4 ^^^
5with 5with
@@ -7,18 +7,18 @@ with
7in [] 7in []
8------------ trace 8------------ trace
9!type error: can not unify 9!type error: can not unify
10 'Internals.lc:58:6: 10 <<installed-prelude-path>>/Internals.lc:58:6:
11 data Int 11 data Int
12 ^^^ 12 ^^^
13with 13with
14 Float 14 Float
15in [] 15in []
16------------ tooltips 16------------ tooltips
17list10.reject.lc 1:10-1:11 171:10-1:11
18 _b 18 _b
19list10.reject.lc 1:12-1:15 191:12-1:15
20 Float 20 Float
21list10.reject.lc 1:20-1:25 211:20-1:25
22 Type 22 Type
23list10.reject.lc 1:21-1:24 231:21-1:24
24 Type \ No newline at end of file 24 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 912daca2..c114b1b2 100644
--- a/testdata/language-features/basic-list/list11.out
+++ b/testdata/language-features/basic-list/list11.out
@@ -5,15 +5,15 @@ value = _lhs value (_rhs [fromInt 1])
5value :: forall a . Num a => [a] 5value :: forall a . Num a => [a]
6value = \a b -> _rhs [fromInt a b 1] 6value = \a b -> _rhs [fromInt a b 1]
7------------ tooltips 7------------ tooltips
8list11.lc 1:1-1:6 81:1-1:6
9 forall a . Num a => [a] 9 forall a . Num a => [a]
10list11.lc 1:9-1:10 101:9-1:10
11 _b 11 _b
12list11.lc 1:9-1:11 121:9-1:11
13 [_b] -> [_b] 13 [_b] -> [_b]
14list11.lc 1:9-1:13 141:9-1:13
15 [_b] 15 [_b]
16list11.lc 1:10-1:11 161:10-1:11
17 forall a . a -> [a] -> [a] 17 forall a . a -> [a] -> [a]
18list11.lc 1:11-1:13 181:11-1:13
19 forall a . [a] \ No newline at end of file 19 forall a . [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 ed67387e..0ddb0d7e 100644
--- a/testdata/language-features/basic-list/list12.out
+++ b/testdata/language-features/basic-list/list12.out
@@ -8,47 +8,47 @@ value
8 = \a b -> _rhs 8 = \a b -> _rhs
9 [fromInt a b 1, fromInt a b 2, fromInt a b 3, fromInt a b 4, fromInt a b 5] 9 [fromInt a b 1, fromInt a b 2, fromInt a b 3, fromInt a b 4, fromInt a b 5]
10------------ tooltips 10------------ tooltips
11list12.lc 1:1-1:6 111:1-1:6
12 forall a . Num a => [a] 12 forall a . Num a => [a]
13list12.lc 1:9-1:10 131:9-1:10
14 _b 14 _b
15list12.lc 1:9-1:11 151:9-1:11
16 [_b] -> [_b] 16 [_b] -> [_b]
17list12.lc 1:9-1:21 171:9-1:21
18 [_c] 18 [_c]
19list12.lc 1:10-1:11 191:10-1:11
20 forall a . a -> [a] -> [a] 20 forall a . a -> [a] -> [a]
21list12.lc 1:11-1:12 211:11-1:12
22 _b 22 _b
23list12.lc 1:11-1:13 231:11-1:13
24 [_b] -> [_b] 24 [_b] -> [_b]
25list12.lc 1:11-1:21 251:11-1:21
26 [_d] 26 [_d]
27list12.lc 1:12-1:13 271:12-1:13
28 forall a . a -> [a] -> [a] 28 forall a . a -> [a] -> [a]
29list12.lc 1:13-1:14 291:13-1:14
30 _b 30 _b
31list12.lc 1:13-1:15 311:13-1:15
32 [_b] -> [_b] 32 [_b] -> [_b]
33list12.lc 1:13-1:21 331:13-1:21
34 [_e] 34 [_e]
35list12.lc 1:14-1:15 351:14-1:15
36 forall a . a -> [a] -> [a] 36 forall a . a -> [a] -> [a]
37list12.lc 1:15-1:16 371:15-1:16
38 _b 38 _b
39list12.lc 1:15-1:17 391:15-1:17
40 [_b] -> [_b] 40 [_b] -> [_b]
41list12.lc 1:15-1:21 411:15-1:21
42 [_f] 42 [_f]
43list12.lc 1:16-1:17 431:16-1:17
44 forall a . a -> [a] -> [a] 44 forall a . a -> [a] -> [a]
45list12.lc 1:17-1:18 451:17-1:18
46 _b 46 _b
47list12.lc 1:17-1:19 471:17-1:19
48 [_b] -> [_b] 48 [_b] -> [_b]
49list12.lc 1:17-1:21 491:17-1:21
50 [_f] 50 [_f]
51list12.lc 1:18-1:19 511:18-1:19
52 forall a . a -> [a] -> [a] 52 forall a . a -> [a] -> [a]
53list12.lc 1:19-1:21 531:19-1:21
54 forall a . [a] \ No newline at end of file 54 forall a . [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 8002d692..752d6e1e 100644
--- a/testdata/language-features/basic-list/list13.out
+++ b/testdata/language-features/basic-list/list13.out
@@ -5,47 +5,47 @@ value = _lhs value (_rhs ['h', 'e', 'l', 'l', 'o'])
5value :: [Char] 5value :: [Char]
6value = _rhs ['h', 'e', 'l', 'l', 'o'] 6value = _rhs ['h', 'e', 'l', 'l', 'o']
7------------ tooltips 7------------ tooltips
8list13.lc 1:1-1:6 81:1-1:6
9 [Char] 9 [Char]
10list13.lc 1:9-1:12 101:9-1:12
11 Char 11 Char
12list13.lc 1:9-1:13 121:9-1:13
13 [Char] -> [Char] 13 [Char] -> [Char]
14list13.lc 1:9-1:31 141:9-1:31
15 [Char] 15 [Char]
16list13.lc 1:12-1:13 161:12-1:13
17 forall a . a -> [a] -> [a] 17 forall a . a -> [a] -> [a]
18list13.lc 1:13-1:16 181:13-1:16
19 Char 19 Char
20list13.lc 1:13-1:17 201:13-1:17
21 [Char] -> [Char] 21 [Char] -> [Char]
22list13.lc 1:13-1:31 221:13-1:31
23 [Char] 23 [Char]
24list13.lc 1:16-1:17 241:16-1:17
25 forall a . a -> [a] -> [a] 25 forall a . a -> [a] -> [a]
26list13.lc 1:17-1:20 261:17-1:20
27 Char 27 Char
28list13.lc 1:17-1:21 281:17-1:21
29 [Char] -> [Char] 29 [Char] -> [Char]
30list13.lc 1:17-1:31 301:17-1:31
31 [Char] 31 [Char]
32list13.lc 1:20-1:21 321:20-1:21
33 forall a . a -> [a] -> [a] 33 forall a . a -> [a] -> [a]
34list13.lc 1:21-1:24 341:21-1:24
35 Char 35 Char
36list13.lc 1:21-1:25 361:21-1:25
37 [Char] -> [Char] 37 [Char] -> [Char]
38list13.lc 1:21-1:31 381:21-1:31
39 [Char] 39 [Char]
40list13.lc 1:24-1:25 401:24-1:25
41 forall a . a -> [a] -> [a] 41 forall a . a -> [a] -> [a]
42list13.lc 1:25-1:28 421:25-1:28
43 Char 43 Char
44list13.lc 1:25-1:29 441:25-1:29
45 [Char] -> [Char] 45 [Char] -> [Char]
46list13.lc 1:25-1:31 461:25-1:31
47 [Char] 47 [Char]
48list13.lc 1:28-1:29 481:28-1:29
49 forall a . a -> [a] -> [a] 49 forall a . a -> [a] -> [a]
50list13.lc 1:29-1:31 501:29-1:31
51 forall a . [a] \ No newline at end of file 51 forall a . [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 ba2e1a66..597a0a78 100644
--- a/testdata/language-features/basic-list/list14.reject.out
+++ b/testdata/language-features/basic-list/list14.reject.out
@@ -2,7 +2,7 @@ type error: can not unify
2 [Char] 2 [Char]
3with 3with
4 () 4 ()
5in list14.reject.lc:1:17: 5in ./testdata/language-features/basic-list/list14.reject.lc:1:17:
6value = 'h':'i':() 6value = 'h':'i':()
7 ^^ 7 ^^
8------------ trace 8------------ trace
@@ -10,21 +10,21 @@ value = 'h':'i':()
10 [Char] 10 [Char]
11with 11with
12 () 12 ()
13in list14.reject.lc:1:17: 13in ./testdata/language-features/basic-list/list14.reject.lc:1:17:
14value = 'h':'i':() 14value = 'h':'i':()
15 ^^ 15 ^^
16------------ tooltips 16------------ tooltips
17list14.reject.lc 1:9-1:12 171:9-1:12
18 Char 18 Char
19list14.reject.lc 1:9-1:13 191:9-1:13
20 [Char] -> [Char] 20 [Char] -> [Char]
21list14.reject.lc 1:12-1:13 211:12-1:13
22 forall a . a -> [a] -> [a] 22 forall a . a -> [a] -> [a]
23list14.reject.lc 1:13-1:16 231:13-1:16
24 Char 24 Char
25list14.reject.lc 1:13-1:17 251:13-1:17
26 [Char] -> [Char] 26 [Char] -> [Char]
27list14.reject.lc 1:16-1:17 271:16-1:17
28 forall a . a -> [a] -> [a] 28 forall a . a -> [a] -> [a]
29list14.reject.lc 1:17-1:19 291:17-1:19
30 () \ No newline at end of file 30 () \ 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 0e7d8fb0..970aa82f 100644
--- a/testdata/language-features/basic-list/list15.reject.out
+++ b/testdata/language-features/basic-list/list15.reject.out
@@ -2,7 +2,7 @@ type error: can not unify
2 Char 2 Char
3with 3with
4 () 4 ()
5in list15.reject.lc:1:20: 5in ./testdata/language-features/basic-list/list15.reject.lc:1:20:
6value = 'h':'i':():[] 6value = 'h':'i':():[]
7 ^^ 7 ^^
8------------ trace 8------------ trace
@@ -10,25 +10,25 @@ value = 'h':'i':():[]
10 Char 10 Char
11with 11with
12 () 12 ()
13in list15.reject.lc:1:20: 13in ./testdata/language-features/basic-list/list15.reject.lc:1:20:
14value = 'h':'i':():[] 14value = 'h':'i':():[]
15 ^^ 15 ^^
16------------ tooltips 16------------ tooltips
17list15.reject.lc 1:9-1:12 171:9-1:12
18 Char 18 Char
19list15.reject.lc 1:9-1:13 191:9-1:13
20 [Char] -> [Char] 20 [Char] -> [Char]
21list15.reject.lc 1:12-1:13 211:12-1:13
22 forall a . a -> [a] -> [a] 22 forall a . a -> [a] -> [a]
23list15.reject.lc 1:13-1:16 231:13-1:16
24 Char 24 Char
25list15.reject.lc 1:13-1:17 251:13-1:17
26 [Char] -> [Char] 26 [Char] -> [Char]
27list15.reject.lc 1:16-1:17 271:16-1:17
28 forall a . a -> [a] -> [a] 28 forall a . a -> [a] -> [a]
29list15.reject.lc 1:17-1:19 291:17-1:19
30 () 30 ()
31list15.reject.lc 1:17-1:20 311:17-1:20
32 [()] -> [()] 32 [()] -> [()]
33list15.reject.lc 1:19-1:20 331:19-1:20
34 forall a . a -> [a] -> [a] \ No newline at end of file 34 forall a . a -> [a] -> [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 fd2bb949..4b1a3ca1 100644
--- a/testdata/language-features/basic-list/list16.reject.out
+++ b/testdata/language-features/basic-list/list16.reject.out
@@ -2,7 +2,7 @@ type error: can not unify
2 [Char] 2 [Char]
3with 3with
4 Char 4 Char
5in list16.reject.lc:1:13: 5in ./testdata/language-features/basic-list/list16.reject.lc:1:13:
6value = 'h':'i' 6value = 'h':'i'
7 ^^^ 7 ^^^
8------------ trace 8------------ trace
@@ -10,15 +10,15 @@ value = 'h':'i'
10 [Char] 10 [Char]
11with 11with
12 Char 12 Char
13in list16.reject.lc:1:13: 13in ./testdata/language-features/basic-list/list16.reject.lc:1:13:
14value = 'h':'i' 14value = 'h':'i'
15 ^^^ 15 ^^^
16------------ tooltips 16------------ tooltips
17list16.reject.lc 1:9-1:12 171:9-1:12
18 Char 18 Char
19list16.reject.lc 1:9-1:13 191:9-1:13
20 [Char] -> [Char] 20 [Char] -> [Char]
21list16.reject.lc 1:12-1:13 211:12-1:13
22 forall a . a -> [a] -> [a] 22 forall a . a -> [a] -> [a]
23list16.reject.lc 1:13-1:16 231:13-1:16
24 Char \ No newline at end of file 24 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 dc0c5204..43eff8b6 100644
--- a/testdata/language-features/basic-list/listcomp01.out
+++ b/testdata/language-features/basic-list/listcomp01.out
@@ -5,23 +5,23 @@ value = _lhs value (_rhs (concatMap (\(_ :: _) -> [()]) [(), (), (), ()]))
5value :: [()] 5value :: [()]
6value = _rhs (() : [] ++ foldr (++) [] (map (\_ -> [()]) [(), (), ()])) 6value = _rhs (() : [] ++ foldr (++) [] (map (\_ -> [()]) [(), (), ()]))
7------------ tooltips 7------------ tooltips
8listcomp01.lc 1:1-1:6 81:1-1:6
9 [()] 9 [()]
10listcomp01.lc 1:9-1:34 101:9-1:34
11 [()] 11 [()]
12listcomp01.lc 1:10-1:12 121:10-1:12
13 () | [()] 13 () | [()]
14listcomp01.lc 1:20-1:33 141:20-1:33
15 [()] 15 [()]
16listcomp01.lc 1:21-1:23 161:21-1:23
17 () 17 ()
18listcomp01.lc 1:24-1:26 181:24-1:26
19 () 19 ()
20listcomp01.lc 1:24-1:32 201:24-1:32
21 [()] 21 [()]
22listcomp01.lc 1:27-1:29 221:27-1:29
23 () 23 ()
24listcomp01.lc 1:27-1:32 241:27-1:32
25 [()] 25 [()]
26listcomp01.lc 1:30-1:32 261:30-1:32
27 () | [()] \ No newline at end of file 27 () | [()] \ 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 497f88c0..05a95889 100644
--- a/testdata/language-features/basic-list/listcomp02.out
+++ b/testdata/language-features/basic-list/listcomp02.out
@@ -10,27 +10,27 @@ l = _rhs [(), (), (), ()]
10value :: [()] 10value :: [()]
11value = _rhs (() : [] ++ foldr (++) [] (map (\a -> [a]) [(), (), ()])) 11value = _rhs (() : [] ++ foldr (++) [] (map (\a -> [a]) [(), (), ()]))
12------------ tooltips 12------------ tooltips
13listcomp02.lc 1:1-1:2 131:1-1:2
14 [()] 14 [()]
15listcomp02.lc 1:5-1:18 151:5-1:18
16 [()] 16 [()]
17listcomp02.lc 1:6-1:8 171:6-1:8
18 () 18 ()
19listcomp02.lc 1:9-1:11 191:9-1:11
20 () 20 ()
21listcomp02.lc 1:9-1:17 211:9-1:17
22 [()] 22 [()]
23listcomp02.lc 1:12-1:14 231:12-1:14
24 () 24 ()
25listcomp02.lc 1:12-1:17 251:12-1:17
26 [()] 26 [()]
27listcomp02.lc 1:15-1:17 271:15-1:17
28 () | [()] 28 () | [()]
29listcomp02.lc 2:1-2:6 292:1-2:6
30 [()] 30 [()]
31listcomp02.lc 2:9-2:21 312:9-2:21
32 [()] 32 [()]
33listcomp02.lc 2:10-2:11 332:10-2:11
34 _d | [_b] 34 _d | [_b]
35listcomp02.lc 2:19-2:20 352:19-2:20
36 [()] \ No newline at end of file 36 [()] \ 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 85208fa3..3302b1be 100644
--- a/testdata/language-features/basic-list/listcomp03.out
+++ b/testdata/language-features/basic-list/listcomp03.out
@@ -8,27 +8,27 @@ value
8value :: [()] 8value :: [()]
9value = _rhs [] 9value = _rhs []
10------------ tooltips 10------------ tooltips
11listcomp03.lc 1:1-1:6 111:1-1:6
12 [()] 12 [()]
13listcomp03.lc 1:9-1:41 131:9-1:41
14 [()] 14 [()]
15listcomp03.lc 1:10-1:12 151:10-1:12
16 () | [()] 16 () | [()]
17listcomp03.lc 1:10-1:40 171:10-1:40
18 [()] -> [()] | [()] 18 [()] -> [()] | [()]
19listcomp03.lc 1:20-1:33 191:20-1:33
20 [()] 20 [()]
21listcomp03.lc 1:21-1:23 211:21-1:23
22 () 22 ()
23listcomp03.lc 1:24-1:26 231:24-1:26
24 () 24 ()
25listcomp03.lc 1:24-1:32 251:24-1:32
26 [()] 26 [()]
27listcomp03.lc 1:27-1:29 271:27-1:29
28 () 28 ()
29listcomp03.lc 1:27-1:32 291:27-1:32
30 [()] 30 [()]
31listcomp03.lc 1:30-1:32 311:30-1:32
32 () | [()] 32 () | [()]
33listcomp03.lc 1:35-1:40 331:35-1:40
34 Bool \ No newline at end of file 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 032fdd81..8a7837d7 100644
--- a/testdata/language-features/basic-list/listcomp04.out
+++ b/testdata/language-features/basic-list/listcomp04.out
@@ -15,31 +15,31 @@ value
15 : [] ++ foldr (++) [] (map (\_ -> [()]) [(), (), ()]) 15 : [] ++ foldr (++) [] (map (\_ -> [()]) [(), (), ()])
16 ++ foldr (++) [] (map (\_ -> concatMap ' () ' () (\_ -> [()]) l) [(), (), ()])) 16 ++ foldr (++) [] (map (\_ -> concatMap ' () ' () (\_ -> [()]) l) [(), (), ()]))
17------------ tooltips 17------------ tooltips
18listcomp04.lc 1:1-1:2 181:1-1:2
19 [()] 19 [()]
20listcomp04.lc 1:5-1:18 201:5-1:18
21 [()] 21 [()]
22listcomp04.lc 1:6-1:8 221:6-1:8
23 () 23 ()
24listcomp04.lc 1:9-1:11 241:9-1:11
25 () 25 ()
26listcomp04.lc 1:9-1:17 261:9-1:17
27 [()] 27 [()]
28listcomp04.lc 1:12-1:14 281:12-1:14
29 () 29 ()
30listcomp04.lc 1:12-1:17 301:12-1:17
31 [()] 31 [()]
32listcomp04.lc 1:15-1:17 321:15-1:17
33 () | [()] 33 () | [()]
34listcomp04.lc 2:1-2:6 342:1-2:6
35 [()] 35 [()]
36listcomp04.lc 2:9-2:30 362:9-2:30
37 [()] 37 [()]
38listcomp04.lc 2:10-2:12 382:10-2:12
39 () | [()] 39 () | [()]
40listcomp04.lc 2:10-2:29 402:10-2:29
41 [()] 41 [()]
42listcomp04.lc 2:20-2:21 422:20-2:21
43 [()] 43 [()]
44listcomp04.lc 2:28-2:29 442:28-2:29
45 [()] \ No newline at end of file 45 [()] \ 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 91c6cd09..ef5de256 100644
--- a/testdata/language-features/basic-list/listcomp05.out
+++ b/testdata/language-features/basic-list/listcomp05.out
@@ -13,19 +13,19 @@ value
13value :: [()] 13value :: [()]
14value = _rhs (u : [] ++ foldr (++) [] (map (\_ -> [u]) [()])) 14value = _rhs (u : [] ++ foldr (++) [] (map (\_ -> [u]) [()]))
15------------ tooltips 15------------ tooltips
16listcomp05.lc 1:1-1:6 161:1-1:6
17 [()] 17 [()]
18listcomp05.lc 1:9-1:39 181:9-1:39
19 [()] 19 [()]
20listcomp05.lc 1:10-1:11 201:10-1:11
21 () 21 ()
22listcomp05.lc 1:19-1:26 221:19-1:26
23 [()] 23 [()]
24listcomp05.lc 1:20-1:22 241:20-1:22
25 () 25 ()
26listcomp05.lc 1:23-1:25 261:23-1:25
27 () | [()] 27 () | [()]
28listcomp05.lc 1:32-1:33 281:32-1:33
29 _b | () 29 _b | ()
30listcomp05.lc 1:36-1:38 301:36-1:38
31 () \ No newline at end of file 31 () \ 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 1b7db614..0a43f980 100644
--- a/testdata/language-features/basic-list/listcomp06.out
+++ b/testdata/language-features/basic-list/listcomp06.out
@@ -31,43 +31,43 @@ value2
31 = _rhs 31 = _rhs
32 (u : [] ++ foldr (++) [] (map (\_ -> primIfThenElse [' ()] True [u] []) [()])) 32 (u : [] ++ foldr (++) [] (map (\_ -> primIfThenElse [' ()] True [u] []) [()]))
33------------ tooltips 33------------ tooltips
34listcomp06.lc 1:1-1:7 341:1-1:7
35 [()] 35 [()]
36listcomp06.lc 1:10-1:46 361:10-1:46
37 [()] 37 [()]
38listcomp06.lc 1:11-1:12 381:11-1:12
39 () | [()] 39 () | [()]
40listcomp06.lc 1:11-1:45 401:11-1:45
41 [()] -> [()] 41 [()] -> [()]
42listcomp06.lc 1:20-1:27 421:20-1:27
43 [()] 43 [()]
44listcomp06.lc 1:21-1:23 441:21-1:23
45 () 45 ()
46listcomp06.lc 1:24-1:26 461:24-1:26
47 () | [()] 47 () | [()]
48listcomp06.lc 1:33-1:34 481:33-1:34
49 _b | () 49 _b | ()
50listcomp06.lc 1:37-1:39 501:37-1:39
51 () 51 ()
52listcomp06.lc 1:41-1:45 521:41-1:45
53 Bool 53 Bool
54listcomp06.lc 3:1-3:7 543:1-3:7
55 [()] 55 [()]
56listcomp06.lc 3:10-3:46 563:10-3:46
57 [()] 57 [()]
58listcomp06.lc 3:11-3:12 583:11-3:12
59 () 59 ()
60listcomp06.lc 3:11-3:45 603:11-3:45
61 [()] 61 [()]
62listcomp06.lc 3:20-3:27 623:20-3:27
63 [()] 63 [()]
64listcomp06.lc 3:21-3:23 643:21-3:23
65 () 65 ()
66listcomp06.lc 3:24-3:26 663:24-3:26
67 () | [()] 67 () | [()]
68listcomp06.lc 3:29-3:33 683:29-3:33
69 Bool 69 Bool
70listcomp06.lc 3:39-3:40 703:39-3:40
71 _b | () 71 _b | ()
72listcomp06.lc 3:43-3:45 723:43-3:45
73 () \ No newline at end of file 73 () \ 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 70ba3962..29b91178 100644
--- a/testdata/language-features/basic-list/listcomp07.out
+++ b/testdata/language-features/basic-list/listcomp07.out
@@ -54,69 +54,69 @@ value3
54 = _rhs 54 = _rhs
55 (u : [] ++ foldr (++) [] (map (\_ -> primIfThenElse [' ()] True [u] []) [()])) 55 (u : [] ++ foldr (++) [] (map (\_ -> primIfThenElse [' ()] True [u] []) [()]))
56------------ tooltips 56------------ tooltips
57listcomp07.lc 1:1-1:7 571:1-1:7
58 [()] 58 [()]
59listcomp07.lc 1:10-6:11 591:10-6:11
60 [()] 60 [()]
61listcomp07.lc 1:12-1:13 611:12-1:13
62 () 62 ()
63listcomp07.lc 2:17-2:24 632:17-2:24
64 [()] 64 [()]
65listcomp07.lc 2:18-2:20 652:18-2:20
66 () 66 ()
67listcomp07.lc 2:21-2:23 672:21-2:23
68 () | [()] 68 () | [()]
69listcomp07.lc 3:16-3:17 693:16-3:17
70 _b | () 70 _b | ()
71listcomp07.lc 3:20-3:22 713:20-3:22
72 () 72 ()
73listcomp07.lc 4:12-4:16 734:12-4:16
74 Bool 74 Bool
75listcomp07.lc 5:16-5:17 755:16-5:17
76 _b | () 76 _b | ()
77listcomp07.lc 5:20-5:21 775:20-5:21
78 () 78 ()
79listcomp07.lc 8:1-8:7 798:1-8:7
80 [()] 80 [()]
81listcomp07.lc 8:10-12:11 818:10-12:11
82 [()] 82 [()]
83listcomp07.lc 8:12-8:13 838:12-8:13
84 () 84 ()
85listcomp07.lc 8:21-8:28 858:21-8:28
86 [()] 86 [()]
87listcomp07.lc 8:22-8:24 878:22-8:24
88 () 88 ()
89listcomp07.lc 8:25-8:27 898:25-8:27
90 () | [()] 90 () | [()]
91listcomp07.lc 9:16-9:17 919:16-9:17
92 _b | () 92 _b | ()
93listcomp07.lc 9:20-9:22 939:20-9:22
94 () 94 ()
95listcomp07.lc 10:12-10:16 9510:12-10:16
96 Bool 96 Bool
97listcomp07.lc 11:16-11:17 9711:16-11:17
98 _b | () 98 _b | ()
99listcomp07.lc 11:20-11:21 9911:20-11:21
100 () 100 ()
101listcomp07.lc 14:1-14:7 10114:1-14:7
102 [()] 102 [()]
103listcomp07.lc 14:10-20:3 10314:10-20:3
104 [()] 104 [()]
105listcomp07.lc 14:12-14:13 10514:12-14:13
106 () 106 ()
107listcomp07.lc 15:15-15:22 10715:15-15:22
108 [()] 108 [()]
109listcomp07.lc 15:16-15:18 10915:16-15:18
110 () 110 ()
111listcomp07.lc 15:19-15:21 11115:19-15:21
112 () | [()] 112 () | [()]
113listcomp07.lc 17:2-17:3 11317:2-17:3
114 _b | () 114 _b | ()
115listcomp07.lc 17:6-17:8 11517:6-17:8
116 () 116 ()
117listcomp07.lc 18:7-18:11 11718:7-18:11
118 Bool 118 Bool
119listcomp07.lc 19:10-19:11 11919:10-19:11
120 _b | () 120 _b | ()
121listcomp07.lc 19:14-19:15 12119:14-19:15
122 () \ No newline at end of file 122 () \ 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 8aa2bb7c..64f9f0be 100644
--- a/testdata/language-features/basic-list/listcomp08.reject.out
+++ b/testdata/language-features/basic-list/listcomp08.reject.out
@@ -1,22 +1,22 @@
1type error: can not unify 1type error: can not unify
2 'Internals.lc:63:6: 2 <<installed-prelude-path>>/Internals.lc:63:6:
3 data Bool = False | True 3 data Bool = False | True
4 ^^^^ 4 ^^^^
5with 5with
6 String 6 String
7in listcomp08.reject.lc:1:23: 7in ./testdata/language-features/basic-list/listcomp08.reject.lc:1:23:
8value = [x | x <- [], "not Bool"] 8value = [x | x <- [], "not Bool"]
9 ^^^^^^^^^^ 9 ^^^^^^^^^^
10------------ trace 10------------ trace
11!type error: can not unify 11!type error: can not unify
12 'Internals.lc:63:6: 12 <<installed-prelude-path>>/Internals.lc:63:6:
13 data Bool = False | True 13 data Bool = False | True
14 ^^^^ 14 ^^^^
15with 15with
16 String 16 String
17in listcomp08.reject.lc:1:23: 17in ./testdata/language-features/basic-list/listcomp08.reject.lc:1:23:
18value = [x | x <- [], "not Bool"] 18value = [x | x <- [], "not Bool"]
19 ^^^^^^^^^^ 19 ^^^^^^^^^^
20------------ tooltips 20------------ tooltips
21listcomp08.reject.lc 1:23-1:33 211:23-1:33
22 String \ No newline at end of file 22 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 1c81c25f..19512a94 100644
--- a/testdata/language-features/basic-list/listcomp09.out
+++ b/testdata/language-features/basic-list/listcomp09.out
@@ -8,13 +8,13 @@ value1
8value1 :: @Type -> [() -> String] 8value1 :: @Type -> [() -> String]
9value1 = \_ -> _rhs [] 9value1 = \_ -> _rhs []
10------------ tooltips 10------------ tooltips
11listcomp09.lc 1:1-1:7 111:1-1:7
12 @Type -> [() -> String] 12 @Type -> [() -> String]
13listcomp09.lc 1:10-1:36 131:10-1:36
14 [() -> String] 14 [() -> String]
15listcomp09.lc 1:11-1:25 151:11-1:25
16 [() -> String] 16 [() -> String]
17listcomp09.lc 1:18-1:25 171:18-1:25
18 String 18 String
19listcomp09.lc 1:33-1:35 191:33-1:35
20 forall a . [a] \ No newline at end of file 20 forall a . [a] \ No newline at end of file
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 22:32:30 +0000