diff options
author | Csaba Hruska <csaba.hruska@gmail.com> | 2018-02-03 10:21:53 +0100 |
---|---|---|
committer | Csaba Hruska <csaba.hruska@gmail.com> | 2018-02-03 10:21:53 +0100 |
commit | ec65ace24251d2a391e2a3a5d7b764e4e3151830 (patch) | |
tree | 58bb3937f22664bed3527ddb9e0faa7cc71ca599 /testdata | |
parent | 66188f40cd84b8f16a917125e618b78a49350ab2 (diff) |
show normalised filepaths in error messages
Diffstat (limited to 'testdata')
101 files changed, 195 insertions, 195 deletions
diff --git a/testdata/Builtins.out b/testdata/Builtins.out index 5f1cc4bc..654876f7 100644 --- a/testdata/Builtins.out +++ b/testdata/Builtins.out | |||
@@ -8719,12 +8719,12 @@ zero | |||
8719 | 573:25-573:26 | 8719 | 573:25-573:26 |
8720 | _b | 8720 | _b |
8721 | ------------ warnings | 8721 | ------------ warnings |
8722 | Uncovered pattern(s) at ./testdata/Builtins.lc:201:1: | 8722 | Uncovered pattern(s) at testdata/Builtins.lc:201:1: |
8723 | head (x: _) = x | 8723 | head (x: _) = x |
8724 | ^^^^ | 8724 | ^^^^ |
8725 | Missing case(s): | 8725 | Missing case(s): |
8726 | head [] | 8726 | head [] |
8727 | Uncovered pattern(s) at ./testdata/Builtins.lc:340:1: | 8727 | Uncovered pattern(s) at testdata/Builtins.lc:340:1: |
8728 | swizzscalar (V2 x y) Sx = x | 8728 | swizzscalar (V2 x y) Sx = x |
8729 | swizzscalar (V2 x y) Sy = y | 8729 | swizzscalar (V2 x y) Sy = y |
8730 | swizzscalar (V3 x y z) Sx = x | 8730 | swizzscalar (V3 x y z) Sx = x |
@@ -8738,7 +8738,7 @@ Missing case(s): | |||
8738 | swizzscalar (V2 _ _) Sz | 8738 | swizzscalar (V2 _ _) Sz |
8739 | swizzscalar (V2 _ _) Sw | 8739 | swizzscalar (V2 _ _) Sw |
8740 | swizzscalar (V3 _ _ _) Sw | 8740 | swizzscalar (V3 _ _ _) Sw |
8741 | Uncovered pattern(s) at ./testdata/Builtins.lc:357:1: | 8741 | Uncovered pattern(s) at testdata/Builtins.lc:357:1: |
8742 | swizzvector v w | definedVec v = mapVec (swizzscalar v) w | 8742 | swizzvector v w | definedVec v = mapVec (swizzscalar v) w |
8743 | ^^^^^^^^^^^ | 8743 | ^^^^^^^^^^^ |
8744 | Missing case(s): | 8744 | Missing case(s): |
diff --git a/testdata/Prelude.out b/testdata/Prelude.out index 0e590604..16ec34d3 100644 --- a/testdata/Prelude.out +++ b/testdata/Prelude.out | |||
@@ -4464,22 +4464,22 @@ zip | |||
4464 | 389:28-389:29 | 4464 | 389:28-389:29 |
4465 | _b | 4465 | _b |
4466 | ------------ warnings | 4466 | ------------ warnings |
4467 | Uncovered pattern(s) at ./testdata/Prelude.lc:50:1: | 4467 | Uncovered pattern(s) at testdata/Prelude.lc:50:1: |
4468 | tail (_: xs) = xs | 4468 | tail (_: xs) = xs |
4469 | ^^^^ | 4469 | ^^^^ |
4470 | Missing case(s): | 4470 | Missing case(s): |
4471 | tail [] | 4471 | tail [] |
4472 | Uncovered pattern(s) at ./testdata/Prelude.lc:58:1: | 4472 | Uncovered pattern(s) at testdata/Prelude.lc:58:1: |
4473 | foldr1 f (x: xs) = foldr f x xs | 4473 | foldr1 f (x: xs) = foldr f x xs |
4474 | ^^^^^^ | 4474 | ^^^^^^ |
4475 | Missing case(s): | 4475 | Missing case(s): |
4476 | foldr1 _ [] | 4476 | foldr1 _ [] |
4477 | Uncovered pattern(s) at ./testdata/Prelude.lc:137:1: | 4477 | Uncovered pattern(s) at testdata/Prelude.lc:137:1: |
4478 | project @a @('RecItem s' a': xs) s @_ (RecordCons ts) | s == s' = fstTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts) | 4478 | project @a @('RecItem s' a': xs) s @_ (RecordCons ts) | s == s' = fstTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts) |
4479 | project @a @('RecItem s' a': xs) s @_ (RecordCons ts) = project @a @xs s @(undefined @(CW (isKeyC s a xs))) (RecordCons (sndTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts))) | 4479 | project @a @('RecItem s' a': xs) s @_ (RecordCons ts) = project @a @xs s @(undefined @(CW (isKeyC s a xs))) (RecordCons (sndTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts))) |
4480 | Missing case(s): | 4480 | Missing case(s): |
4481 | project _ [] _ _ _ | 4481 | project _ [] _ _ _ |
4482 | Uncovered pattern(s) at ./testdata/Prelude.lc:388:10: | 4482 | Uncovered pattern(s) at testdata/Prelude.lc:388:10: |
4483 | (x : _) !! 0 = x | 4483 | (x : _) !! 0 = x |
4484 | (_ : xs) !! n = xs !! (n-1) | 4484 | (_ : xs) !! n = xs !! (n-1) |
4485 | Missing case(s): | 4485 | Missing case(s): |
diff --git a/testdata/accumulate01.reject.out b/testdata/accumulate01.reject.out index c882c277..76c9838f 100644 --- a/testdata/accumulate01.reject.out +++ b/testdata/accumulate01.reject.out | |||
@@ -1,2 +1,2 @@ | |||
1 | ./testdata/accumulate01.reject.lc:3:3: | 1 | testdata/accumulate01.reject.lc:3:3: |
2 | wrong indentation | 2 | wrong indentation |
diff --git a/testdata/adhoc.reject.out b/testdata/adhoc.reject.out index 10abb5da..df935e14 100644 --- a/testdata/adhoc.reject.out +++ b/testdata/adhoc.reject.out | |||
@@ -1,5 +1,5 @@ | |||
1 | type error: no instance of 'Component on ??? | 1 | type error: no instance of 'Component on ??? |
2 | in ./testdata/adhoc.reject.lc:4:5: | 2 | in testdata/adhoc.reject.lc:4:5: |
3 | x = one :: Vec 4 A | 3 | x = one :: Vec 4 A |
4 | ^^^ | 4 | ^^^ |
5 | ------------ trace | 5 | ------------ trace |
@@ -8,7 +8,7 @@ A :: A | |||
8 | case'A :: forall (a :: A -> Type) -> a 'A -> forall (b :: A) -> a b | 8 | case'A :: forall (a :: A -> Type) -> a 'A -> forall (b :: A) -> a b |
9 | match'A :: forall (a :: Type -> Type) -> a A -> forall b -> a b -> a b | 9 | match'A :: forall (a :: Type -> Type) -> a A -> forall b -> a b -> a b |
10 | !type error: no instance of 'Component on ??? | 10 | !type error: no instance of 'Component on ??? |
11 | in ./testdata/adhoc.reject.lc:4:5: | 11 | in testdata/adhoc.reject.lc:4:5: |
12 | x = one :: Vec 4 A | 12 | x = one :: Vec 4 A |
13 | ^^^ | 13 | ^^^ |
14 | ------------ tooltips | 14 | ------------ tooltips |
diff --git a/testdata/complex.out b/testdata/complex.out index c6f9d2e8..ac8b1f96 100644 --- a/testdata/complex.out +++ b/testdata/complex.out | |||
@@ -1012,13 +1012,13 @@ toPolar | |||
1012 | 145:28-145:31 | 1012 | 145:28-145:31 |
1013 | Float | 1013 | Float |
1014 | ------------ warnings | 1014 | ------------ warnings |
1015 | Uncovered pattern(s) at ./testdata/complex.lc:114:1: | 1015 | Uncovered pattern(s) at testdata/complex.lc:114:1: |
1016 | add @'Normal @'Normal (Complex a b) (Complex c d) = Complex (a + c) (b + d) | 1016 | add @'Normal @'Normal (Complex a b) (Complex c d) = Complex (a + c) (b + d) |
1017 | ^^^ | 1017 | ^^^ |
1018 | Missing case(s): | 1018 | Missing case(s): |
1019 | add Normal Polar _ _ | 1019 | add Normal Polar _ _ |
1020 | add Polar _ _ _ | 1020 | add Polar _ _ _ |
1021 | Uncovered pattern(s) at ./testdata/complex.lc:129:1: | 1021 | Uncovered pattern(s) at testdata/complex.lc:129:1: |
1022 | mul @'Normal @'Normal (Complex a b) (Complex c d) = Complex (a*c - b*d) (b*c + a*d) | 1022 | mul @'Normal @'Normal (Complex a b) (Complex c d) = Complex (a*c - b*d) (b*c + a*d) |
1023 | ^^^ | 1023 | ^^^ |
1024 | Missing case(s): | 1024 | Missing case(s): |
diff --git a/testdata/concatmap01.out b/testdata/concatmap01.out index 09039dd3..38551bd9 100644 --- a/testdata/concatmap01.out +++ b/testdata/concatmap01.out | |||
@@ -57,7 +57,7 @@ main = _rhs True | |||
57 | 6:19-6:23 | 57 | 6:19-6:23 |
58 | Bool | Bool | Bool | 58 | Bool | Bool | Bool |
59 | ------------ warnings | 59 | ------------ warnings |
60 | Uncovered pattern(s) at ./testdata/concatmap01.lc:5:13: | 60 | Uncovered pattern(s) at testdata/concatmap01.lc:5:13: |
61 | main = case a of | 61 | main = case a of |
62 | ^ | 62 | ^ |
63 | Missing case(s): | 63 | Missing case(s): |
diff --git a/testdata/data.out b/testdata/data.out index cf3a735e..26252676 100644 --- a/testdata/data.out +++ b/testdata/data.out | |||
@@ -325,31 +325,31 @@ y | |||
325 | 12:46-12:48 | 325 | 12:46-12:48 |
326 | Type | 326 | Type |
327 | ------------ warnings | 327 | ------------ warnings |
328 | Uncovered pattern(s) at ./testdata/data.lc:6:23: | 328 | Uncovered pattern(s) at testdata/data.lc:6:23: |
329 | | Data22 { x :: Int, y::Int } | 329 | | Data22 { x :: Int, y::Int } |
330 | ^ | 330 | ^ |
331 | Missing case(s): | 331 | Missing case(s): |
332 | x (Data21 _) | 332 | x (Data21 _) |
333 | x Data24 | 333 | x Data24 |
334 | Uncovered pattern(s) at ./testdata/data.lc:6:33: | 334 | Uncovered pattern(s) at testdata/data.lc:6:33: |
335 | | Data22 { x :: Int, y::Int } | 335 | | Data22 { x :: Int, y::Int } |
336 | ^ | 336 | ^ |
337 | Missing case(s): | 337 | Missing case(s): |
338 | y (Data21 _) | 338 | y (Data21 _) |
339 | y (Data23 _) | 339 | y (Data23 _) |
340 | y Data24 | 340 | y Data24 |
341 | Uncovered pattern(s) at ./testdata/data.lc:10:32: | 341 | Uncovered pattern(s) at testdata/data.lc:10:32: |
342 | data Data5 a5 b5 c5 = Data51 { a5::a5} | 342 | data Data5 a5 b5 c5 = Data51 { a5::a5} |
343 | ^^ | 343 | ^^ |
344 | Missing case(s): | 344 | Missing case(s): |
345 | a5 (Data53 _ _ _ _ _) | 345 | a5 (Data53 _ _ _ _ _) |
346 | Uncovered pattern(s) at ./testdata/data.lc:11:40: | 346 | Uncovered pattern(s) at testdata/data.lc:11:40: |
347 | | Data52 { a5::a5, b5::b5, c5::c5 } | 347 | | Data52 { a5::a5, b5::b5, c5::c5 } |
348 | ^^ | 348 | ^^ |
349 | Missing case(s): | 349 | Missing case(s): |
350 | b5 (Data51 _) | 350 | b5 (Data51 _) |
351 | b5 (Data53 _ _ _ _ _) | 351 | b5 (Data53 _ _ _ _ _) |
352 | Uncovered pattern(s) at ./testdata/data.lc:11:48: | 352 | Uncovered pattern(s) at testdata/data.lc:11:48: |
353 | | Data52 { a5::a5, b5::b5, c5::c5 } | 353 | | Data52 { a5::a5, b5::b5, c5::c5 } |
354 | ^^ | 354 | ^^ |
355 | Missing case(s): | 355 | Missing case(s): |
diff --git a/testdata/data.reject.out b/testdata/data.reject.out index 058e84e3..632c81fe 100644 --- a/testdata/data.reject.out +++ b/testdata/data.reject.out | |||
@@ -1,9 +1,9 @@ | |||
1 | can't find: a in ./testdata/data.reject.lc:1:20: | 1 | can't find: a in testdata/data.reject.lc:1:20: |
2 | data Data1 = Data1 a b c | 2 | data Data1 = Data1 a b c |
3 | ^ | 3 | ^ |
4 | ------------ trace | 4 | ------------ trace |
5 | 'Data1 :: Type | 5 | 'Data1 :: Type |
6 | !can't find: a in ./testdata/data.reject.lc:1:20: | 6 | !can't find: a in testdata/data.reject.lc:1:20: |
7 | data Data1 = Data1 a b c | 7 | data Data1 = Data1 a b c |
8 | ^ | 8 | ^ |
9 | ------------ tooltips | 9 | ------------ tooltips |
diff --git a/testdata/dotdot01.out b/testdata/dotdot01.out index cd91a134..1203c8a7 100644 --- a/testdata/dotdot01.out +++ b/testdata/dotdot01.out | |||
@@ -51,7 +51,7 @@ main = _rhs True | |||
51 | 3:29-3:33 | 51 | 3:29-3:33 |
52 | Bool | Bool | Bool | Bool | Bool | Bool | Bool | 52 | Bool | Bool | Bool | Bool | Bool | Bool | Bool |
53 | ------------ warnings | 53 | ------------ warnings |
54 | Uncovered pattern(s) at ./testdata/dotdot01.lc:2:13: | 54 | Uncovered pattern(s) at testdata/dotdot01.lc:2:13: |
55 | main = case [1.0..3.0] of | 55 | main = case [1.0..3.0] of |
56 | ^^^^^^^^^^ | 56 | ^^^^^^^^^^ |
57 | Missing case(s): | 57 | Missing case(s): |
diff --git a/testdata/dotdot02.out b/testdata/dotdot02.out index c3d13d97..12cc4b4d 100644 --- a/testdata/dotdot02.out +++ b/testdata/dotdot02.out | |||
@@ -31,7 +31,7 @@ main = _rhs True | |||
31 | 3:16-3:20 | 31 | 3:16-3:20 |
32 | Bool | 32 | Bool |
33 | ------------ warnings | 33 | ------------ warnings |
34 | Uncovered pattern(s) at ./testdata/dotdot02.lc:2:13: | 34 | Uncovered pattern(s) at testdata/dotdot02.lc:2:13: |
35 | main = case [3.0..1.0] of | 35 | main = case [3.0..1.0] of |
36 | ^^^^^^^^^^ | 36 | ^^^^^^^^^^ |
37 | Missing case(s): | 37 | Missing case(s): |
diff --git a/testdata/empty.reject.out b/testdata/empty.reject.out index d1142ce9..6b7d3d57 100644 --- a/testdata/empty.reject.out +++ b/testdata/empty.reject.out | |||
@@ -1,2 +1,2 @@ | |||
1 | ./testdata/empty.reject.lc:4:1: | 1 | testdata/empty.reject.lc:4:1: |
2 | wrong indentation | 2 | wrong indentation |
diff --git a/testdata/framebuffer02.reject.out b/testdata/framebuffer02.reject.out index 58ff2a70..57cd3228 100644 --- a/testdata/framebuffer02.reject.out +++ b/testdata/framebuffer02.reject.out | |||
@@ -2,7 +2,7 @@ type error: can not unify | |||
2 | 0 | 2 | 0 |
3 | with | 3 | with |
4 | 1 | 4 | 1 |
5 | in ./testdata/framebuffer02.reject.lc:2:17: | 5 | in testdata/framebuffer02.reject.lc:2:17: |
6 | let frame = FrameBuffer (colorImage1 (V4 0.0 0.0 0.4 1.0) | 6 | let frame = FrameBuffer (colorImage1 (V4 0.0 0.0 0.4 1.0) |
7 | ,ColorImage @2 (V4 1.0 1.0 1.0 1.0) | 7 | ,ColorImage @2 (V4 1.0 1.0 1.0 1.0) |
8 | ,colorImage1 1.0 | 8 | ,colorImage1 1.0 |
@@ -12,7 +12,7 @@ in ./testdata/framebuffer02.reject.lc:2:17: | |||
12 | 0 | 12 | 0 |
13 | with | 13 | with |
14 | 1 | 14 | 1 |
15 | in ./testdata/framebuffer02.reject.lc:2:17: | 15 | in testdata/framebuffer02.reject.lc:2:17: |
16 | let frame = FrameBuffer (colorImage1 (V4 0.0 0.0 0.4 1.0) | 16 | let frame = FrameBuffer (colorImage1 (V4 0.0 0.0 0.4 1.0) |
17 | ,ColorImage @2 (V4 1.0 1.0 1.0 1.0) | 17 | ,ColorImage @2 (V4 1.0 1.0 1.0 1.0) |
18 | ,colorImage1 1.0 | 18 | ,colorImage1 1.0 |
diff --git a/testdata/fromto.out b/testdata/fromto.out index a6f636b7..ab88fb0c 100644 --- a/testdata/fromto.out +++ b/testdata/fromto.out | |||
@@ -55,7 +55,7 @@ main = _rhs True | |||
55 | 3:29-3:33 | 55 | 3:29-3:33 |
56 | Bool | Bool | Bool | Bool | Bool | Bool | Bool | 56 | Bool | Bool | Bool | Bool | Bool | Bool | Bool |
57 | ------------ warnings | 57 | ------------ warnings |
58 | Uncovered pattern(s) at ./testdata/fromto.lc:2:13: | 58 | Uncovered pattern(s) at testdata/fromto.lc:2:13: |
59 | main = case (fromTo 1.0 3.0) of | 59 | main = case (fromTo 1.0 3.0) of |
60 | ^^^^^^^^^^^^^^^^ | 60 | ^^^^^^^^^^^^^^^^ |
61 | Missing case(s): | 61 | Missing case(s): |
diff --git a/testdata/it.out b/testdata/it.out index cdcf0874..c6a34410 100644 --- a/testdata/it.out +++ b/testdata/it.out | |||
@@ -87,13 +87,13 @@ main = _rhs True | |||
87 | 7:53-7:57 | 87 | 7:53-7:57 |
88 | Bool | 88 | Bool |
89 | ------------ warnings | 89 | ------------ warnings |
90 | Uncovered pattern(s) at ./testdata/it.lc:7:25: | 90 | Uncovered pattern(s) at testdata/it.lc:7:25: |
91 | (_:_:_:i:_) -> case primCompareInt i 3 of EQ -> True | 91 | (_:_:_:i:_) -> case primCompareInt i 3 of EQ -> True |
92 | ^^^^^^^^^^^^^^^^^^ | 92 | ^^^^^^^^^^^^^^^^^^ |
93 | Missing case(s): | 93 | Missing case(s): |
94 | LT | 94 | LT |
95 | GT | 95 | GT |
96 | Uncovered pattern(s) at ./testdata/it.lc:6:13: | 96 | Uncovered pattern(s) at testdata/it.lc:6:13: |
97 | main = case from 0 of | 97 | main = case from 0 of |
98 | ^^^^^^ | 98 | ^^^^^^ |
99 | Missing case(s): | 99 | Missing case(s): |
diff --git a/testdata/language-features/adt/adt03.reject.out b/testdata/language-features/adt/adt03.reject.out index 51c1f1ad..1f62bb31 100644 --- a/testdata/language-features/adt/adt03.reject.out +++ b/testdata/language-features/adt/adt03.reject.out | |||
@@ -1,9 +1,9 @@ | |||
1 | can't find: a in ./testdata/language-features/adt/adt03.reject.lc:2:20: | 1 | can't find: a in testdata/language-features/adt/adt03.reject.lc:2:20: |
2 | data Data3 = Data3 a b c | 2 | data Data3 = Data3 a b c |
3 | ^ | 3 | ^ |
4 | ------------ trace | 4 | ------------ trace |
5 | 'Data3 :: Type | 5 | 'Data3 :: Type |
6 | !can't find: a in ./testdata/language-features/adt/adt03.reject.lc:2:20: | 6 | !can't find: a in testdata/language-features/adt/adt03.reject.lc:2:20: |
7 | data Data3 = Data3 a b c | 7 | data Data3 = Data3 a b c |
8 | ^ | 8 | ^ |
9 | ------------ tooltips | 9 | ------------ tooltips |
diff --git a/testdata/language-features/adt/adt04.reject.out b/testdata/language-features/adt/adt04.reject.out index 7ec3f438..49ae56a4 100644 --- a/testdata/language-features/adt/adt04.reject.out +++ b/testdata/language-features/adt/adt04.reject.out | |||
@@ -1,9 +1,9 @@ | |||
1 | can't find: a in ./testdata/language-features/adt/adt04.reject.lc:2:27: | 1 | can't find: a in testdata/language-features/adt/adt04.reject.lc:2:27: |
2 | data Data3 = Data3 { x :: a , y :: b , z :: c } | 2 | data Data3 = Data3 { x :: a , y :: b , z :: c } |
3 | ^ | 3 | ^ |
4 | ------------ trace | 4 | ------------ trace |
5 | 'Data3 :: Type | 5 | 'Data3 :: Type |
6 | !can't find: a in ./testdata/language-features/adt/adt04.reject.lc:2:27: | 6 | !can't find: a in testdata/language-features/adt/adt04.reject.lc:2:27: |
7 | data Data3 = Data3 { x :: a , y :: b , z :: c } | 7 | data Data3 = Data3 { x :: a , y :: b , z :: c } |
8 | ^ | 8 | ^ |
9 | ------------ tooltips | 9 | ------------ tooltips |
diff --git a/testdata/language-features/adt/gadt02.reject.out b/testdata/language-features/adt/gadt02.reject.out index 81d07dc0..9fd5aa56 100644 --- a/testdata/language-features/adt/gadt02.reject.out +++ b/testdata/language-features/adt/gadt02.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/adt/gadt02.reject.lc:2:9: | 1 | testdata/language-features/adt/gadt02.reject.lc:2:9: |
2 | unexpected 'T' | 2 | unexpected 'T' |
3 | expecting "::", "where", '=', '@', ::, end of input, or lowercase ident \ No newline at end of file | 3 | expecting "::", "where", '=', '@', ::, end of input, or lowercase ident |
diff --git a/testdata/language-features/adt/gadt04.reject.out b/testdata/language-features/adt/gadt04.reject.out index 515f2069..17c5a63b 100644 --- a/testdata/language-features/adt/gadt04.reject.out +++ b/testdata/language-features/adt/gadt04.reject.out | |||
@@ -1,7 +1,7 @@ | |||
1 | already defined Value at ./testdata/language-features/adt/gadt04.reject.lc:6:3: | 1 | already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3: |
2 | Value :: a -> forall m . M2 a m | 2 | Value :: a -> forall m . M2 a m |
3 | ^^^^^ | 3 | ^^^^^ |
4 | and at ./testdata/language-features/adt/gadt04.reject.lc:3:3: | 4 | and at testdata/language-features/adt/gadt04.reject.lc:3:3: |
5 | Value :: a -> forall m . M a m | 5 | Value :: a -> forall m . M a m |
6 | ^^^^^ | 6 | ^^^^^ |
7 | ------------ trace | 7 | ------------ trace |
@@ -16,10 +16,10 @@ match'M | |||
16 | -> (forall b (c :: String) -> a (M b c)) -> forall d -> a d -> a d | 16 | -> (forall b (c :: String) -> a (M b c)) -> forall d -> a d -> a d |
17 | 'M2 :: Type -> String -> Type | 17 | 'M2 :: Type -> String -> Type |
18 | Value :: forall a . a -> forall (b :: String) . M2 a b | 18 | Value :: forall a . a -> forall (b :: String) . M2 a b |
19 | !already defined Value at ./testdata/language-features/adt/gadt04.reject.lc:6:3: | 19 | !already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3: |
20 | Value :: a -> forall m . M2 a m | 20 | Value :: a -> forall m . M2 a m |
21 | ^^^^^ | 21 | ^^^^^ |
22 | and at ./testdata/language-features/adt/gadt04.reject.lc:3:3: | 22 | and at testdata/language-features/adt/gadt04.reject.lc:3:3: |
23 | Value :: a -> forall m . M a m | 23 | Value :: a -> forall m . M a m |
24 | ^^^^^ | 24 | ^^^^^ |
25 | ------------ tooltips | 25 | ------------ tooltips |
diff --git a/testdata/language-features/as-pattern/as-pattern01.out b/testdata/language-features/as-pattern/as-pattern01.out index 5ec4d6ab..631b26b1 100644 --- a/testdata/language-features/as-pattern/as-pattern01.out +++ b/testdata/language-features/as-pattern/as-pattern01.out | |||
@@ -87,12 +87,12 @@ main | |||
87 | 8:17-8:18 | 87 | 8:17-8:18 |
88 | _b | 88 | _b |
89 | ------------ warnings | 89 | ------------ warnings |
90 | Uncovered pattern(s) at ./testdata/language-features/as-pattern/as-pattern01.lc:1:1: | 90 | Uncovered pattern(s) at testdata/language-features/as-pattern/as-pattern01.lc:1:1: |
91 | f y@(x:xs) = x:y | 91 | f y@(x:xs) = x:y |
92 | ^ | 92 | ^ |
93 | Missing case(s): | 93 | Missing case(s): |
94 | f _ | [] <- _a | 94 | f _ | [] <- _a |
95 | Uncovered pattern(s) at ./testdata/language-features/as-pattern/as-pattern01.lc:3:1: | 95 | Uncovered pattern(s) at testdata/language-features/as-pattern/as-pattern01.lc:3:1: |
96 | g x@3 y = x + y | 96 | g x@3 y = x + y |
97 | ^ | 97 | ^ |
98 | Missing case(s): | 98 | Missing case(s): |
diff --git a/testdata/language-features/as-pattern/as-pattern02.out b/testdata/language-features/as-pattern/as-pattern02.out index d46b9cde..d7ce40a3 100644 --- a/testdata/language-features/as-pattern/as-pattern02.out +++ b/testdata/language-features/as-pattern/as-pattern02.out | |||
@@ -141,7 +141,7 @@ main | |||
141 | 7:36-7:37 | 141 | 7:36-7:37 |
142 | _b | 142 | _b |
143 | ------------ warnings | 143 | ------------ warnings |
144 | Uncovered pattern(s) at ./testdata/language-features/as-pattern/as-pattern02.lc:3:12: | 144 | Uncovered pattern(s) at testdata/language-features/as-pattern/as-pattern02.lc:3:12: |
145 | f e = case e of | 145 | f e = case e of |
146 | ^ | 146 | ^ |
147 | Missing case(s): | 147 | Missing case(s): |
diff --git a/testdata/language-features/as-pattern/as-pattern02.reject.out b/testdata/language-features/as-pattern/as-pattern02.reject.out index 54497c5e..1704cda8 100644 --- a/testdata/language-features/as-pattern/as-pattern02.reject.out +++ b/testdata/language-features/as-pattern/as-pattern02.reject.out | |||
@@ -1,8 +1,8 @@ | |||
1 | multiple pattern vars: | 1 | multiple pattern vars: |
2 | x is defined at | 2 | x is defined at |
3 | ./testdata/language-features/as-pattern/as-pattern02.reject.lc:2:3: | 3 | testdata/language-features/as-pattern/as-pattern02.reject.lc:2:3: |
4 | f x@[x:xs] = x:xs | 4 | f x@[x:xs] = x:xs |
5 | ^ | 5 | ^ |
6 | ./testdata/language-features/as-pattern/as-pattern02.reject.lc:2:6: | 6 | testdata/language-features/as-pattern/as-pattern02.reject.lc:2:6: |
7 | f x@[x:xs] = x:xs | 7 | f x@[x:xs] = x:xs |
8 | ^ \ No newline at end of file | 8 | ^ \ 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 e26cab11..67dac92c 100644 --- a/testdata/language-features/basic-list/list03.reject.out +++ b/testdata/language-features/basic-list/list03.reject.out | |||
@@ -1,2 +1,2 @@ | |||
1 | ./testdata/language-features/basic-list/list03.reject.lc:2:1: | 1 | testdata/language-features/basic-list/list03.reject.lc:2:1: |
2 | wrong indentation | 2 | wrong indentation |
diff --git a/testdata/language-features/basic-list/list04.reject.out b/testdata/language-features/basic-list/list04.reject.out index 67166780..846acb9d 100644 --- a/testdata/language-features/basic-list/list04.reject.out +++ b/testdata/language-features/basic-list/list04.reject.out | |||
@@ -1,2 +1,2 @@ | |||
1 | ./testdata/language-features/basic-list/list04.reject.lc:2:1: | 1 | testdata/language-features/basic-list/list04.reject.lc:2:1: |
2 | wrong indentation | 2 | wrong indentation |
diff --git a/testdata/language-features/basic-list/list05.reject.out b/testdata/language-features/basic-list/list05.reject.out index fb04f4f7..01da19a7 100644 --- a/testdata/language-features/basic-list/list05.reject.out +++ b/testdata/language-features/basic-list/list05.reject.out | |||
@@ -1,2 +1,2 @@ | |||
1 | ./testdata/language-features/basic-list/list05.reject.lc:2:1: | 1 | testdata/language-features/basic-list/list05.reject.lc:2:1: |
2 | wrong indentation | 2 | wrong indentation |
diff --git a/testdata/language-features/basic-list/list06.reject.out b/testdata/language-features/basic-list/list06.reject.out index 68775106..891e48f6 100644 --- a/testdata/language-features/basic-list/list06.reject.out +++ b/testdata/language-features/basic-list/list06.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/basic-list/list06.reject.lc:1:10: | 1 | testdata/language-features/basic-list/list06.reject.lc:1:10: |
2 | unexpected ',' | 2 | unexpected ',' |
3 | expecting expression \ No newline at end of file | 3 | expecting expression |
diff --git a/testdata/language-features/basic-list/list14.reject.out b/testdata/language-features/basic-list/list14.reject.out index 597a0a78..e2e567e4 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] |
3 | with | 3 | with |
4 | () | 4 | () |
5 | in ./testdata/language-features/basic-list/list14.reject.lc:1:17: | 5 | in testdata/language-features/basic-list/list14.reject.lc:1:17: |
6 | value = 'h':'i':() | 6 | value = 'h':'i':() |
7 | ^^ | 7 | ^^ |
8 | ------------ trace | 8 | ------------ trace |
@@ -10,7 +10,7 @@ value = 'h':'i':() | |||
10 | [Char] | 10 | [Char] |
11 | with | 11 | with |
12 | () | 12 | () |
13 | in ./testdata/language-features/basic-list/list14.reject.lc:1:17: | 13 | in testdata/language-features/basic-list/list14.reject.lc:1:17: |
14 | value = 'h':'i':() | 14 | value = 'h':'i':() |
15 | ^^ | 15 | ^^ |
16 | ------------ tooltips | 16 | ------------ tooltips |
diff --git a/testdata/language-features/basic-list/list15.reject.out b/testdata/language-features/basic-list/list15.reject.out index 970aa82f..08fd6424 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 |
3 | with | 3 | with |
4 | () | 4 | () |
5 | in ./testdata/language-features/basic-list/list15.reject.lc:1:20: | 5 | in testdata/language-features/basic-list/list15.reject.lc:1:20: |
6 | value = 'h':'i':():[] | 6 | value = 'h':'i':():[] |
7 | ^^ | 7 | ^^ |
8 | ------------ trace | 8 | ------------ trace |
@@ -10,7 +10,7 @@ value = 'h':'i':():[] | |||
10 | Char | 10 | Char |
11 | with | 11 | with |
12 | () | 12 | () |
13 | in ./testdata/language-features/basic-list/list15.reject.lc:1:20: | 13 | in testdata/language-features/basic-list/list15.reject.lc:1:20: |
14 | value = 'h':'i':():[] | 14 | value = 'h':'i':():[] |
15 | ^^ | 15 | ^^ |
16 | ------------ tooltips | 16 | ------------ tooltips |
diff --git a/testdata/language-features/basic-list/list16.reject.out b/testdata/language-features/basic-list/list16.reject.out index 4b1a3ca1..ce1546ae 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] |
3 | with | 3 | with |
4 | Char | 4 | Char |
5 | in ./testdata/language-features/basic-list/list16.reject.lc:1:13: | 5 | in testdata/language-features/basic-list/list16.reject.lc:1:13: |
6 | value = 'h':'i' | 6 | value = 'h':'i' |
7 | ^^^ | 7 | ^^^ |
8 | ------------ trace | 8 | ------------ trace |
@@ -10,7 +10,7 @@ value = 'h':'i' | |||
10 | [Char] | 10 | [Char] |
11 | with | 11 | with |
12 | Char | 12 | Char |
13 | in ./testdata/language-features/basic-list/list16.reject.lc:1:13: | 13 | in testdata/language-features/basic-list/list16.reject.lc:1:13: |
14 | value = 'h':'i' | 14 | value = 'h':'i' |
15 | ^^^ | 15 | ^^^ |
16 | ------------ tooltips | 16 | ------------ tooltips |
diff --git a/testdata/language-features/basic-list/listcomp08.reject.out b/testdata/language-features/basic-list/listcomp08.reject.out index 0c382351..1c4a3006 100644 --- a/testdata/language-features/basic-list/listcomp08.reject.out +++ b/testdata/language-features/basic-list/listcomp08.reject.out | |||
@@ -4,7 +4,7 @@ type error: can not unify | |||
4 | ^^^^ | 4 | ^^^^ |
5 | with | 5 | with |
6 | String | 6 | String |
7 | in ./testdata/language-features/basic-list/listcomp08.reject.lc:1:23: | 7 | in testdata/language-features/basic-list/listcomp08.reject.lc:1:23: |
8 | value = [x | x <- [], "not Bool"] | 8 | value = [x | x <- [], "not Bool"] |
9 | ^^^^^^^^^^ | 9 | ^^^^^^^^^^ |
10 | ------------ trace | 10 | ------------ trace |
@@ -14,7 +14,7 @@ value = [x | x <- [], "not Bool"] | |||
14 | ^^^^ | 14 | ^^^^ |
15 | with | 15 | with |
16 | String | 16 | String |
17 | in ./testdata/language-features/basic-list/listcomp08.reject.lc:1:23: | 17 | in testdata/language-features/basic-list/listcomp08.reject.lc:1:23: |
18 | value = [x | x <- [], "not Bool"] | 18 | value = [x | x <- [], "not Bool"] |
19 | ^^^^^^^^^^ | 19 | ^^^^^^^^^^ |
20 | ------------ tooltips | 20 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/case03.reject.out b/testdata/language-features/basic-values/case03.reject.out index 6b8de667..db6db140 100644 --- a/testdata/language-features/basic-values/case03.reject.out +++ b/testdata/language-features/basic-values/case03.reject.out | |||
@@ -1,11 +1,11 @@ | |||
1 | type error: no instance of 'Num on ??? | 1 | type error: no instance of 'Num on ??? |
2 | in ./testdata/language-features/basic-values/case03.reject.lc:1:10: | 2 | in testdata/language-features/basic-values/case03.reject.lc:1:10: |
3 | value1 = case () of | 3 | value1 = case () of |
4 | 1 -> () | 4 | 1 -> () |
5 | _ -> () | 5 | _ -> () |
6 | ------------ trace | 6 | ------------ trace |
7 | !type error: no instance of 'Num on ??? | 7 | !type error: no instance of 'Num on ??? |
8 | in ./testdata/language-features/basic-values/case03.reject.lc:1:10: | 8 | in testdata/language-features/basic-values/case03.reject.lc:1:10: |
9 | value1 = case () of | 9 | value1 = case () of |
10 | 1 -> () | 10 | 1 -> () |
11 | _ -> () | 11 | _ -> () |
diff --git a/testdata/language-features/basic-values/case04.reject.out b/testdata/language-features/basic-values/case04.reject.out index 849980c2..3cb25580 100644 --- a/testdata/language-features/basic-values/case04.reject.out +++ b/testdata/language-features/basic-values/case04.reject.out | |||
@@ -2,7 +2,7 @@ type error: can not unify | |||
2 | () | 2 | () |
3 | with | 3 | with |
4 | Char | 4 | Char |
5 | in ./testdata/language-features/basic-values/case04.reject.lc:2:8: | 5 | in testdata/language-features/basic-values/case04.reject.lc:2:8: |
6 | 1 -> '1' | 6 | 1 -> '1' |
7 | ^^^ | 7 | ^^^ |
8 | ------------ trace | 8 | ------------ trace |
@@ -10,7 +10,7 @@ in ./testdata/language-features/basic-values/case04.reject.lc:2:8: | |||
10 | () | 10 | () |
11 | with | 11 | with |
12 | Char | 12 | Char |
13 | in ./testdata/language-features/basic-values/case04.reject.lc:2:8: | 13 | in testdata/language-features/basic-values/case04.reject.lc:2:8: |
14 | 1 -> '1' | 14 | 1 -> '1' |
15 | ^^^ | 15 | ^^^ |
16 | ------------ tooltips | 16 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/case05.out b/testdata/language-features/basic-values/case05.out index 6b7a4bf2..73ac747d 100644 --- a/testdata/language-features/basic-values/case05.out +++ b/testdata/language-features/basic-values/case05.out | |||
@@ -20,7 +20,7 @@ value | |||
20 | 2:8-2:11 | 20 | 2:8-2:11 |
21 | Char | 21 | Char |
22 | ------------ warnings | 22 | ------------ warnings |
23 | Uncovered pattern(s) at ./testdata/language-features/basic-values/case05.lc:1:16: | 23 | Uncovered pattern(s) at testdata/language-features/basic-values/case05.lc:1:16: |
24 | value x = case x of | 24 | value x = case x of |
25 | ^ | 25 | ^ |
26 | Missing case(s): | 26 | Missing case(s): |
diff --git a/testdata/language-features/basic-values/data02.reject.out b/testdata/language-features/basic-values/data02.reject.out index 2b7044fe..79a9e6cd 100644 --- a/testdata/language-features/basic-values/data02.reject.out +++ b/testdata/language-features/basic-values/data02.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/basic-values/data02.reject.lc:1:6: | 1 | testdata/language-features/basic-values/data02.reject.lc:1:6: |
2 | unexpected 'd' | 2 | unexpected 'd' |
3 | expecting uppercase ident \ No newline at end of file | 3 | expecting uppercase ident |
diff --git a/testdata/language-features/basic-values/data03.reject.out b/testdata/language-features/basic-values/data03.reject.out index 9ca460e9..98abf9da 100644 --- a/testdata/language-features/basic-values/data03.reject.out +++ b/testdata/language-features/basic-values/data03.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/basic-values/data03.reject.lc:1:10: | 1 | testdata/language-features/basic-values/data03.reject.lc:1:10: |
2 | unexpected 'd' | 2 | unexpected 'd' |
3 | expecting '(' or uppercase ident \ No newline at end of file | 3 | expecting '(' or uppercase ident |
diff --git a/testdata/language-features/basic-values/def02.reject.out b/testdata/language-features/basic-values/def02.reject.out index 66e682c3..8a571237 100644 --- a/testdata/language-features/basic-values/def02.reject.out +++ b/testdata/language-features/basic-values/def02.reject.out | |||
@@ -1,8 +1,8 @@ | |||
1 | multiple pattern vars: | 1 | multiple pattern vars: |
2 | x is defined at | 2 | x is defined at |
3 | ./testdata/language-features/basic-values/def02.reject.lc:1:6: | 3 | testdata/language-features/basic-values/def02.reject.lc:1:6: |
4 | fun1 x x = 'c' | 4 | fun1 x x = 'c' |
5 | ^ | 5 | ^ |
6 | ./testdata/language-features/basic-values/def02.reject.lc:1:8: | 6 | testdata/language-features/basic-values/def02.reject.lc:1:8: |
7 | fun1 x x = 'c' | 7 | fun1 x x = 'c' |
8 | ^ \ No newline at end of file | 8 | ^ \ No newline at end of file |
diff --git a/testdata/language-features/basic-values/def03.out b/testdata/language-features/basic-values/def03.out index 77a6a57e..74c88f41 100644 --- a/testdata/language-features/basic-values/def03.out +++ b/testdata/language-features/basic-values/def03.out | |||
@@ -30,7 +30,7 @@ fun | |||
30 | 2:9-2:12 | 30 | 2:9-2:12 |
31 | Char | Char | 31 | Char | Char |
32 | ------------ warnings | 32 | ------------ warnings |
33 | Uncovered pattern(s) at ./testdata/language-features/basic-values/def03.lc:1:1: | 33 | Uncovered pattern(s) at testdata/language-features/basic-values/def03.lc:1:1: |
34 | fun 1 = '1' | 34 | fun 1 = '1' |
35 | fun 2 = '2' | 35 | fun 2 = '2' |
36 | Missing case(s): | 36 | Missing case(s): |
diff --git a/testdata/language-features/basic-values/def05.reject.out b/testdata/language-features/basic-values/def05.reject.out index 33dd70d0..edd16b87 100644 --- a/testdata/language-features/basic-values/def05.reject.out +++ b/testdata/language-features/basic-values/def05.reject.out | |||
@@ -1,8 +1,8 @@ | |||
1 | ./testdata/language-features/basic-values/def05.reject.lc:4:1: | 1 | testdata/language-features/basic-values/def05.reject.lc:4:1: |
2 | different number of arguments of fun: | 2 | different number of arguments of fun: |
3 | ./testdata/language-features/basic-values/def05.reject.lc:1:1: | 3 | testdata/language-features/basic-values/def05.reject.lc:1:1: |
4 | fun 1 = '1' | 4 | fun 1 = '1' |
5 | ^^^ | 5 | ^^^ |
6 | ./testdata/language-features/basic-values/def05.reject.lc:3:1: | 6 | testdata/language-features/basic-values/def05.reject.lc:3:1: |
7 | fun = '_' | 7 | fun = '_' |
8 | ^^^ \ No newline at end of file | 8 | ^^^ |
diff --git a/testdata/language-features/basic-values/def06.reject.out b/testdata/language-features/basic-values/def06.reject.out index bc0146e9..cf116b52 100644 --- a/testdata/language-features/basic-values/def06.reject.out +++ b/testdata/language-features/basic-values/def06.reject.out | |||
@@ -1,8 +1,8 @@ | |||
1 | ./testdata/language-features/basic-values/def06.reject.lc:5:1: | 1 | testdata/language-features/basic-values/def06.reject.lc:5:1: |
2 | different number of arguments of fun2: | 2 | different number of arguments of fun2: |
3 | ./testdata/language-features/basic-values/def06.reject.lc:1:1: | 3 | testdata/language-features/basic-values/def06.reject.lc:1:1: |
4 | fun2 1 _ = '1' | 4 | fun2 1 _ = '1' |
5 | ^^^^ | 5 | ^^^^ |
6 | ./testdata/language-features/basic-values/def06.reject.lc:3:1: | 6 | testdata/language-features/basic-values/def06.reject.lc:3:1: |
7 | fun2 _ = '_' | 7 | fun2 _ = '_' |
8 | ^^^^ \ No newline at end of file | 8 | ^^^^ |
diff --git a/testdata/language-features/basic-values/def07.reject.out b/testdata/language-features/basic-values/def07.reject.out index ab876045..fe356c0a 100644 --- a/testdata/language-features/basic-values/def07.reject.out +++ b/testdata/language-features/basic-values/def07.reject.out | |||
@@ -1,17 +1,17 @@ | |||
1 | already defined fun at ./testdata/language-features/basic-values/def07.reject.lc:4:1: | 1 | already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1: |
2 | fun _ = '_' | 2 | fun _ = '_' |
3 | ^^^ | 3 | ^^^ |
4 | and at ./testdata/language-features/basic-values/def07.reject.lc:1:1: | 4 | and at testdata/language-features/basic-values/def07.reject.lc:1:1: |
5 | fun 1 = '1' | 5 | fun 1 = '1' |
6 | ^^^ | 6 | ^^^ |
7 | ------------ trace | 7 | ------------ trace |
8 | fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char | 8 | fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char |
9 | fun2 :: forall a b . (Eq a, Num a) => a -> b -> Char | 9 | fun2 :: forall a b . (Eq a, Num a) => a -> b -> Char |
10 | fun :: forall a . a -> Char | 10 | fun :: forall a . a -> Char |
11 | !already defined fun at ./testdata/language-features/basic-values/def07.reject.lc:4:1: | 11 | !already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1: |
12 | fun _ = '_' | 12 | fun _ = '_' |
13 | ^^^ | 13 | ^^^ |
14 | and at ./testdata/language-features/basic-values/def07.reject.lc:1:1: | 14 | and at testdata/language-features/basic-values/def07.reject.lc:1:1: |
15 | fun 1 = '1' | 15 | fun 1 = '1' |
16 | ^^^ | 16 | ^^^ |
17 | ------------ tooltips | 17 | ------------ tooltips |
@@ -32,12 +32,12 @@ fun 1 = '1' | |||
32 | 4:9-4:12 | 32 | 4:9-4:12 |
33 | Char | 33 | Char |
34 | ------------ warnings | 34 | ------------ warnings |
35 | Uncovered pattern(s) at ./testdata/language-features/basic-values/def07.reject.lc:1:1: | 35 | Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:1:1: |
36 | fun 1 = '1' | 36 | fun 1 = '1' |
37 | fun 2 = '2' | 37 | fun 2 = '2' |
38 | Missing case(s): | 38 | Missing case(s): |
39 | fun _ | False <- fromInt 1 == _a, False <- fromInt 2 == _a | 39 | fun _ | False <- fromInt 1 == _a, False <- fromInt 2 == _a |
40 | Uncovered pattern(s) at ./testdata/language-features/basic-values/def07.reject.lc:3:1: | 40 | Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:3:1: |
41 | fun2 1 _ = '1' | 41 | fun2 1 _ = '1' |
42 | ^^^^ | 42 | ^^^^ |
43 | Missing case(s): | 43 | Missing case(s): |
diff --git a/testdata/language-features/basic-values/if03.reject.out b/testdata/language-features/basic-values/if03.reject.out index 6a0a4fe6..b2061178 100644 --- a/testdata/language-features/basic-values/if03.reject.out +++ b/testdata/language-features/basic-values/if03.reject.out | |||
@@ -4,7 +4,7 @@ type error: can not unify | |||
4 | ^^^^ | 4 | ^^^^ |
5 | with | 5 | with |
6 | () | 6 | () |
7 | in ./testdata/language-features/basic-values/if03.reject.lc:1:13: | 7 | in testdata/language-features/basic-values/if03.reject.lc:1:13: |
8 | value1 = if () then () else () | 8 | value1 = if () then () else () |
9 | ^^ | 9 | ^^ |
10 | ------------ trace | 10 | ------------ trace |
@@ -14,7 +14,7 @@ value1 = if () then () else () | |||
14 | ^^^^ | 14 | ^^^^ |
15 | with | 15 | with |
16 | () | 16 | () |
17 | in ./testdata/language-features/basic-values/if03.reject.lc:1:13: | 17 | in testdata/language-features/basic-values/if03.reject.lc:1:13: |
18 | value1 = if () then () else () | 18 | value1 = if () then () else () |
19 | ^^ | 19 | ^^ |
20 | ------------ tooltips | 20 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/if04.reject.out b/testdata/language-features/basic-values/if04.reject.out index 29189955..6312d85b 100644 --- a/testdata/language-features/basic-values/if04.reject.out +++ b/testdata/language-features/basic-values/if04.reject.out | |||
@@ -2,7 +2,7 @@ type error: can not unify | |||
2 | () | 2 | () |
3 | with | 3 | with |
4 | Char | 4 | Char |
5 | in ./testdata/language-features/basic-values/if04.reject.lc:1:31: | 5 | in testdata/language-features/basic-values/if04.reject.lc:1:31: |
6 | value1 = if True then () else '_' | 6 | value1 = if True then () else '_' |
7 | ^^^ | 7 | ^^^ |
8 | ------------ trace | 8 | ------------ trace |
@@ -10,7 +10,7 @@ value1 = if True then () else '_' | |||
10 | () | 10 | () |
11 | with | 11 | with |
12 | Char | 12 | Char |
13 | in ./testdata/language-features/basic-values/if04.reject.lc:1:31: | 13 | in testdata/language-features/basic-values/if04.reject.lc:1:31: |
14 | value1 = if True then () else '_' | 14 | value1 = if True then () else '_' |
15 | ^^^ | 15 | ^^^ |
16 | ------------ tooltips | 16 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/indentation03.reject.out b/testdata/language-features/basic-values/indentation03.reject.out index b004c658..46feeae7 100644 --- a/testdata/language-features/basic-values/indentation03.reject.out +++ b/testdata/language-features/basic-values/indentation03.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/basic-values/indentation03.reject.lc:2:10: | 1 | testdata/language-features/basic-values/indentation03.reject.lc:2:10: |
2 | unexpected '=' | 2 | unexpected '=' |
3 | expecting "->", "::", "=>", "let", "where", ''', '(', '@', '[', '_', '{', end of input, expression, literal, lowercase ident, swizzling, the rest of expression, or uppercase ident | 3 | expecting "->", "::", "=>", "let", "where", ''', '(', '@', '[', '_', '{', end of input, expression, literal, lowercase ident, swizzling, the rest of expression, or uppercase ident |
diff --git a/testdata/language-features/basic-values/indentation04.reject.out b/testdata/language-features/basic-values/indentation04.reject.out index fd70733a..1c0f88f4 100644 --- a/testdata/language-features/basic-values/indentation04.reject.out +++ b/testdata/language-features/basic-values/indentation04.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/basic-values/indentation04.reject.lc:2:2: | 1 | testdata/language-features/basic-values/indentation04.reject.lc:2:2: |
2 | unexpected 't' | 2 | unexpected 't' |
3 | expecting end of input or the rest of expression | 3 | expecting end of input or the rest of expression |
diff --git a/testdata/language-features/basic-values/infix04.reject.out b/testdata/language-features/basic-values/infix04.reject.out index 70884eab..f9a90776 100644 --- a/testdata/language-features/basic-values/infix04.reject.out +++ b/testdata/language-features/basic-values/infix04.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/basic-values/infix04.reject.lc:3:14: | 1 | testdata/language-features/basic-values/infix04.reject.lc:3:14: |
2 | unexpected '`' | 2 | unexpected '`' |
3 | expecting "->", "::", "=>", "let", "where", ''', '(', '@', '[', '_', '{', end of input, expression, literal, lowercase ident, swizzling, the rest of expression, or uppercase ident | 3 | expecting "->", "::", "=>", "let", "where", ''', '(', '@', '[', '_', '{', end of input, expression, literal, lowercase ident, swizzling, the rest of expression, or uppercase ident |
diff --git a/testdata/language-features/basic-values/lambda02.reject.out b/testdata/language-features/basic-values/lambda02.reject.out index a33242d9..06d0fbbc 100644 --- a/testdata/language-features/basic-values/lambda02.reject.out +++ b/testdata/language-features/basic-values/lambda02.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/basic-values/lambda02.reject.lc:1:1: | 1 | testdata/language-features/basic-values/lambda02.reject.lc:1:1: |
2 | unexpected 'f' | 2 | unexpected 'f' |
3 | expecting end of input | 3 | expecting end of input |
diff --git a/testdata/language-features/basic-values/operator02.reject.out b/testdata/language-features/basic-values/operator02.reject.out index f0c16207..10e6d452 100644 --- a/testdata/language-features/basic-values/operator02.reject.out +++ b/testdata/language-features/basic-values/operator02.reject.out | |||
@@ -1,17 +1,17 @@ | |||
1 | already defined #$# at ./testdata/language-features/basic-values/operator02.reject.lc:3:3: | 1 | already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3: |
2 | a #$# b = () | 2 | a #$# b = () |
3 | ^^^ | 3 | ^^^ |
4 | and at ./testdata/language-features/basic-values/operator02.reject.lc:1:3: | 4 | and at testdata/language-features/basic-values/operator02.reject.lc:1:3: |
5 | a #$# b = () | 5 | a #$# b = () |
6 | ^^^ | 6 | ^^^ |
7 | ------------ trace | 7 | ------------ trace |
8 | (#$#) :: forall a b . a -> b -> () | 8 | (#$#) :: forall a b . a -> b -> () |
9 | fun :: forall a . a -> () | 9 | fun :: forall a . a -> () |
10 | (#$#) :: forall a b . a -> b -> () | 10 | (#$#) :: forall a b . a -> b -> () |
11 | !already defined #$# at ./testdata/language-features/basic-values/operator02.reject.lc:3:3: | 11 | !already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3: |
12 | a #$# b = () | 12 | a #$# b = () |
13 | ^^^ | 13 | ^^^ |
14 | and at ./testdata/language-features/basic-values/operator02.reject.lc:1:3: | 14 | and at testdata/language-features/basic-values/operator02.reject.lc:1:3: |
15 | a #$# b = () | 15 | a #$# b = () |
16 | ^^^ | 16 | ^^^ |
17 | ------------ tooltips | 17 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/operator03.reject.out b/testdata/language-features/basic-values/operator03.reject.out index ff6a2a25..62e25618 100644 --- a/testdata/language-features/basic-values/operator03.reject.out +++ b/testdata/language-features/basic-values/operator03.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/basic-values/operator03.reject.lc:1:1: | 1 | testdata/language-features/basic-values/operator03.reject.lc:1:1: |
2 | unexpected 'a' | 2 | unexpected 'a' |
3 | expecting end of input | 3 | expecting end of input |
diff --git a/testdata/language-features/basic-values/operator04.reject.out b/testdata/language-features/basic-values/operator04.reject.out index 8a43bce8..89e1f8bf 100644 --- a/testdata/language-features/basic-values/operator04.reject.out +++ b/testdata/language-features/basic-values/operator04.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/basic-values/operator04.reject.lc:1:1: | 1 | testdata/language-features/basic-values/operator04.reject.lc:1:1: |
2 | unexpected 'a' | 2 | unexpected 'a' |
3 | expecting end of input | 3 | expecting end of input |
diff --git a/testdata/language-features/basic-values/operator07.reject.out b/testdata/language-features/basic-values/operator07.reject.out index cfe51f5c..37629264 100644 --- a/testdata/language-features/basic-values/operator07.reject.out +++ b/testdata/language-features/basic-values/operator07.reject.out | |||
@@ -1,7 +1,7 @@ | |||
1 | Operator precedences don't match: | 1 | Operator precedences don't match: |
2 | infix 5 at ./testdata/language-features/basic-values/operator07.reject.lc:11:11: | 2 | infix 5 at testdata/language-features/basic-values/operator07.reject.lc:11:11: |
3 | main = () @&> () <@& () | 3 | main = () @&> () <@& () |
4 | ^^^ | 4 | ^^^ |
5 | infixl 5 at ./testdata/language-features/basic-values/operator07.reject.lc:11:18: | 5 | infixl 5 at testdata/language-features/basic-values/operator07.reject.lc:11:18: |
6 | main = () @&> () <@& () | 6 | main = () @&> () <@& () |
7 | ^^^ \ No newline at end of file | 7 | ^^^ \ No newline at end of file |
diff --git a/testdata/language-features/basic-values/operator08.reject.out b/testdata/language-features/basic-values/operator08.reject.out index 1f478dad..b2b46caa 100644 --- a/testdata/language-features/basic-values/operator08.reject.out +++ b/testdata/language-features/basic-values/operator08.reject.out | |||
@@ -1,7 +1,7 @@ | |||
1 | Operator precedences don't match: | 1 | Operator precedences don't match: |
2 | infix 5 at ./testdata/language-features/basic-values/operator08.reject.lc:10:6: | 2 | infix 5 at testdata/language-features/basic-values/operator08.reject.lc:10:6: |
3 | x = (@&> () <@& ()) | 3 | x = (@&> () <@& ()) |
4 | ^^^ | 4 | ^^^ |
5 | infixl 5 at ./testdata/language-features/basic-values/operator08.reject.lc:10:13: | 5 | infixl 5 at testdata/language-features/basic-values/operator08.reject.lc:10:13: |
6 | x = (@&> () <@& ()) | 6 | x = (@&> () <@& ()) |
7 | ^^^ \ No newline at end of file | 7 | ^^^ \ No newline at end of file |
diff --git a/testdata/language-features/basic-values/redefine01.reject.out b/testdata/language-features/basic-values/redefine01.reject.out index 2d00889e..008403ce 100644 --- a/testdata/language-features/basic-values/redefine01.reject.out +++ b/testdata/language-features/basic-values/redefine01.reject.out | |||
@@ -1,17 +1,17 @@ | |||
1 | already defined unit at ./testdata/language-features/basic-values/redefine01.reject.lc:3:1: | 1 | already defined unit at testdata/language-features/basic-values/redefine01.reject.lc:3:1: |
2 | unit = () | 2 | unit = () |
3 | ^^^^ | 3 | ^^^^ |
4 | and at ./testdata/language-features/basic-values/redefine01.reject.lc:1:1: | 4 | and at testdata/language-features/basic-values/redefine01.reject.lc:1:1: |
5 | unit = () | 5 | unit = () |
6 | ^^^^ | 6 | ^^^^ |
7 | ------------ trace | 7 | ------------ trace |
8 | unit :: () | 8 | unit :: () |
9 | tuple :: () | 9 | tuple :: () |
10 | unit :: () | 10 | unit :: () |
11 | !already defined unit at ./testdata/language-features/basic-values/redefine01.reject.lc:3:1: | 11 | !already defined unit at testdata/language-features/basic-values/redefine01.reject.lc:3:1: |
12 | unit = () | 12 | unit = () |
13 | ^^^^ | 13 | ^^^^ |
14 | and at ./testdata/language-features/basic-values/redefine01.reject.lc:1:1: | 14 | and at testdata/language-features/basic-values/redefine01.reject.lc:1:1: |
15 | unit = () | 15 | unit = () |
16 | ^^^^ | 16 | ^^^^ |
17 | ------------ tooltips | 17 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/redefine02.reject.out b/testdata/language-features/basic-values/redefine02.reject.out index cd4e5c30..0102115d 100644 --- a/testdata/language-features/basic-values/redefine02.reject.out +++ b/testdata/language-features/basic-values/redefine02.reject.out | |||
@@ -1,8 +1,8 @@ | |||
1 | ./testdata/language-features/basic-values/redefine02.reject.lc:3:8: | 1 | testdata/language-features/basic-values/redefine02.reject.lc:3:8: |
2 | redefined x: | 2 | redefined x: |
3 | ./testdata/language-features/basic-values/redefine02.reject.lc:1:12: | 3 | testdata/language-features/basic-values/redefine02.reject.lc:1:12: |
4 | unit = let x = () | 4 | unit = let x = () |
5 | ^ | 5 | ^ |
6 | ./testdata/language-features/basic-values/redefine02.reject.lc:2:12: | 6 | testdata/language-features/basic-values/redefine02.reject.lc:2:12: |
7 | x = () | 7 | x = () |
8 | ^ | 8 | ^ |
diff --git a/testdata/language-features/basic-values/redefine03.reject.out b/testdata/language-features/basic-values/redefine03.reject.out index 8dbe5de7..5973ae17 100644 --- a/testdata/language-features/basic-values/redefine03.reject.out +++ b/testdata/language-features/basic-values/redefine03.reject.out | |||
@@ -1,8 +1,8 @@ | |||
1 | ./testdata/language-features/basic-values/redefine03.reject.lc:4:1: | 1 | testdata/language-features/basic-values/redefine03.reject.lc:4:1: |
2 | redefined x: | 2 | redefined x: |
3 | ./testdata/language-features/basic-values/redefine03.reject.lc:2:9: | 3 | testdata/language-features/basic-values/redefine03.reject.lc:2:9: |
4 | where x = () | 4 | where x = () |
5 | ^ | 5 | ^ |
6 | ./testdata/language-features/basic-values/redefine03.reject.lc:3:9: | 6 | testdata/language-features/basic-values/redefine03.reject.lc:3:9: |
7 | x = () | 7 | x = () |
8 | ^ \ No newline at end of file | 8 | ^ |
diff --git a/testdata/language-features/basic-values/typesig08.reject.out b/testdata/language-features/basic-values/typesig08.reject.out index eca9144b..948cac3b 100644 --- a/testdata/language-features/basic-values/typesig08.reject.out +++ b/testdata/language-features/basic-values/typesig08.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/basic-values/typesig08.reject.lc:1:1: | 1 | testdata/language-features/basic-values/typesig08.reject.lc:1:1: |
2 | unexpected 'v' | 2 | unexpected 'v' |
3 | expecting end of input | 3 | expecting end of input |
diff --git a/testdata/language-features/basic-values/typesig09.reject.out b/testdata/language-features/basic-values/typesig09.reject.out index ba4e7d00..2551cac9 100644 --- a/testdata/language-features/basic-values/typesig09.reject.out +++ b/testdata/language-features/basic-values/typesig09.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/basic-values/typesig09.reject.lc:1:1: | 1 | testdata/language-features/basic-values/typesig09.reject.lc:1:1: |
2 | unexpected 'v' | 2 | unexpected 'v' |
3 | expecting end of input | 3 | expecting end of input |
diff --git a/testdata/language-features/basic-values/typesyn03.reject.out b/testdata/language-features/basic-values/typesyn03.reject.out index c93411e6..ae76e075 100644 --- a/testdata/language-features/basic-values/typesyn03.reject.out +++ b/testdata/language-features/basic-values/typesyn03.reject.out | |||
@@ -1,16 +1,16 @@ | |||
1 | already defined 'MyUnit at ./testdata/language-features/basic-values/typesyn03.reject.lc:2:6: | 1 | already defined 'MyUnit at testdata/language-features/basic-values/typesyn03.reject.lc:2:6: |
2 | type MyUnit = () | 2 | type MyUnit = () |
3 | ^^^^^^ | 3 | ^^^^^^ |
4 | and at ./testdata/language-features/basic-values/typesyn03.reject.lc:1:6: | 4 | and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6: |
5 | type MyUnit = () | 5 | type MyUnit = () |
6 | ^^^^^^ | 6 | ^^^^^^ |
7 | ------------ trace | 7 | ------------ trace |
8 | 'MyUnit :: Type | 8 | 'MyUnit :: Type |
9 | 'MyUnit :: Type | 9 | 'MyUnit :: Type |
10 | !already defined 'MyUnit at ./testdata/language-features/basic-values/typesyn03.reject.lc:2:6: | 10 | !already defined 'MyUnit at testdata/language-features/basic-values/typesyn03.reject.lc:2:6: |
11 | type MyUnit = () | 11 | type MyUnit = () |
12 | ^^^^^^ | 12 | ^^^^^^ |
13 | and at ./testdata/language-features/basic-values/typesyn03.reject.lc:1:6: | 13 | and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6: |
14 | type MyUnit = () | 14 | type MyUnit = () |
15 | ^^^^^^ | 15 | ^^^^^^ |
16 | ------------ tooltips | 16 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/typesyn04.reject.out b/testdata/language-features/basic-values/typesyn04.reject.out index 3979ab13..e080fd9e 100644 --- a/testdata/language-features/basic-values/typesyn04.reject.out +++ b/testdata/language-features/basic-values/typesyn04.reject.out | |||
@@ -1,16 +1,16 @@ | |||
1 | already defined 'MyUnit at ./testdata/language-features/basic-values/typesyn04.reject.lc:2:6: | 1 | already defined 'MyUnit at testdata/language-features/basic-values/typesyn04.reject.lc:2:6: |
2 | type MyUnit = () | 2 | type MyUnit = () |
3 | ^^^^^^ | 3 | ^^^^^^ |
4 | and at ./testdata/language-features/basic-values/typesyn04.reject.lc:1:6: | 4 | and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6: |
5 | type MyUnit = () | 5 | type MyUnit = () |
6 | ^^^^^^ | 6 | ^^^^^^ |
7 | ------------ trace | 7 | ------------ trace |
8 | 'MyUnit :: Type | 8 | 'MyUnit :: Type |
9 | 'MyUnit :: Type | 9 | 'MyUnit :: Type |
10 | !already defined 'MyUnit at ./testdata/language-features/basic-values/typesyn04.reject.lc:2:6: | 10 | !already defined 'MyUnit at testdata/language-features/basic-values/typesyn04.reject.lc:2:6: |
11 | type MyUnit = () | 11 | type MyUnit = () |
12 | ^^^^^^ | 12 | ^^^^^^ |
13 | and at ./testdata/language-features/basic-values/typesyn04.reject.lc:1:6: | 13 | and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6: |
14 | type MyUnit = () | 14 | type MyUnit = () |
15 | ^^^^^^ | 15 | ^^^^^^ |
16 | ------------ tooltips | 16 | ------------ tooltips |
diff --git a/testdata/language-features/basic-values/where02.reject.out b/testdata/language-features/basic-values/where02.reject.out index c7086a64..87be9d67 100644 --- a/testdata/language-features/basic-values/where02.reject.out +++ b/testdata/language-features/basic-values/where02.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/basic-values/where02.reject.lc:4:5: | 1 | testdata/language-features/basic-values/where02.reject.lc:4:5: |
2 | unexpected '=' | 2 | unexpected '=' |
3 | expecting "->", "::", "=>", "let", "where", ''', '(', '@', '[', '_', '{', end of input, expression, literal, lowercase ident, swizzling, the rest of expression, or uppercase ident | 3 | expecting "->", "::", "=>", "let", "where", ''', '(', '@', '[', '_', '{', end of input, expression, literal, lowercase ident, swizzling, the rest of expression, or uppercase ident |
diff --git a/testdata/language-features/basic-values/where03.reject.out b/testdata/language-features/basic-values/where03.reject.out index 759ec00b..b4296a7f 100644 --- a/testdata/language-features/basic-values/where03.reject.out +++ b/testdata/language-features/basic-values/where03.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/basic-values/where03.reject.lc:4:2: | 1 | testdata/language-features/basic-values/where03.reject.lc:4:2: |
2 | unexpected 'y' | 2 | unexpected 'y' |
3 | expecting end of input or the rest of expression | 3 | expecting end of input or the rest of expression |
diff --git a/testdata/language-features/basic-values/where06.reject.out b/testdata/language-features/basic-values/where06.reject.out index 7368bf61..819ead1f 100644 --- a/testdata/language-features/basic-values/where06.reject.out +++ b/testdata/language-features/basic-values/where06.reject.out | |||
@@ -1,8 +1,8 @@ | |||
1 | ./testdata/language-features/basic-values/where06.reject.lc:7:1: | 1 | testdata/language-features/basic-values/where06.reject.lc:7:1: |
2 | redefined x: | 2 | redefined x: |
3 | ./testdata/language-features/basic-values/where06.reject.lc:3:1: | 3 | testdata/language-features/basic-values/where06.reject.lc:3:1: |
4 | x = y where | 4 | x = y where |
5 | ^ | 5 | ^ |
6 | ./testdata/language-features/basic-values/where06.reject.lc:5:1: | 6 | testdata/language-features/basic-values/where06.reject.lc:5:1: |
7 | x = 'c' | 7 | x = 'c' |
8 | ^ \ No newline at end of file | 8 | ^ |
diff --git a/testdata/language-features/comment/comment05.reject.out b/testdata/language-features/comment/comment05.reject.out index bafd31d8..2fc5904f 100644 --- a/testdata/language-features/comment/comment05.reject.out +++ b/testdata/language-features/comment/comment05.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/comment/comment05.reject.lc:4:1: | 1 | testdata/language-features/comment/comment05.reject.lc:4:1: |
2 | unexpected '-' | 2 | unexpected '-' |
3 | expecting "class", "data", "infix", "infixl", "infixr", "instance", "type", end of input, lhs, operator definition, pattern, or typed ident \ No newline at end of file | 3 | expecting "class", "data", "infix", "infixl", "infixr", "instance", "type", end of input, lhs, operator definition, pattern, or typed ident |
diff --git a/testdata/language-features/guard/guard02.reject.out b/testdata/language-features/guard/guard02.reject.out index 8b40594b..21ceabc2 100644 --- a/testdata/language-features/guard/guard02.reject.out +++ b/testdata/language-features/guard/guard02.reject.out | |||
@@ -2,7 +2,7 @@ type error: can not unify | |||
2 | String | 2 | String |
3 | with | 3 | with |
4 | () | 4 | () |
5 | in ./testdata/language-features/guard/guard02.reject.lc:2:12: | 5 | in testdata/language-features/guard/guard02.reject.lc:2:12: |
6 | | True = () | 6 | | True = () |
7 | ^^ | 7 | ^^ |
8 | ------------ trace | 8 | ------------ trace |
@@ -10,7 +10,7 @@ in ./testdata/language-features/guard/guard02.reject.lc:2:12: | |||
10 | String | 10 | String |
11 | with | 11 | with |
12 | () | 12 | () |
13 | in ./testdata/language-features/guard/guard02.reject.lc:2:12: | 13 | in testdata/language-features/guard/guard02.reject.lc:2:12: |
14 | | True = () | 14 | | True = () |
15 | ^^ | 15 | ^^ |
16 | ------------ tooltips | 16 | ------------ tooltips |
diff --git a/testdata/language-features/guard/guard05.reject.out b/testdata/language-features/guard/guard05.reject.out index ae469f15..ba6f9738 100644 --- a/testdata/language-features/guard/guard05.reject.out +++ b/testdata/language-features/guard/guard05.reject.out | |||
@@ -4,7 +4,7 @@ type error: can not unify | |||
4 | ^^^^ | 4 | ^^^^ |
5 | with | 5 | with |
6 | () | 6 | () |
7 | in ./testdata/language-features/guard/guard05.reject.lc:1:9: | 7 | in testdata/language-features/guard/guard05.reject.lc:1:9: |
8 | value | () = "wrong" | 8 | value | () = "wrong" |
9 | ^^ | 9 | ^^ |
10 | ------------ trace | 10 | ------------ trace |
@@ -14,7 +14,7 @@ value | () = "wrong" | |||
14 | ^^^^ | 14 | ^^^^ |
15 | with | 15 | with |
16 | () | 16 | () |
17 | in ./testdata/language-features/guard/guard05.reject.lc:1:9: | 17 | in testdata/language-features/guard/guard05.reject.lc:1:9: |
18 | value | () = "wrong" | 18 | value | () = "wrong" |
19 | ^^ | 19 | ^^ |
20 | ------------ tooltips | 20 | ------------ tooltips |
diff --git a/testdata/language-features/guard/guard10.reject.out b/testdata/language-features/guard/guard10.reject.out index a3d44ad4..603f74ce 100644 --- a/testdata/language-features/guard/guard10.reject.out +++ b/testdata/language-features/guard/guard10.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/guard/guard10.reject.lc:2:1: | 1 | testdata/language-features/guard/guard10.reject.lc:2:1: |
2 | unexpected '|' | 2 | unexpected '|' |
3 | expecting "class", "data", "infix", "infixl", "infixr", "instance", "type", end of input, lhs, operator definition, pattern, the rest of expression, or typed ident | 3 | expecting "class", "data", "infix", "infixl", "infixr", "instance", "type", end of input, lhs, operator definition, pattern, the rest of expression, or typed ident |
diff --git a/testdata/language-features/guard/guard12.reject.out b/testdata/language-features/guard/guard12.reject.out index c6c21a4f..c34c0658 100644 --- a/testdata/language-features/guard/guard12.reject.out +++ b/testdata/language-features/guard/guard12.reject.out | |||
@@ -2,7 +2,7 @@ type error: can not unify | |||
2 | Char | 2 | Char |
3 | with | 3 | with |
4 | () | 4 | () |
5 | in ./testdata/language-features/guard/guard12.reject.lc:1:13: | 5 | in testdata/language-features/guard/guard12.reject.lc:1:13: |
6 | fun x | x = () | otherwise = 'a' | 6 | fun x | x = () | otherwise = 'a' |
7 | ^^ | 7 | ^^ |
8 | ------------ trace | 8 | ------------ trace |
@@ -10,7 +10,7 @@ fun x | x = () | otherwise = 'a' | |||
10 | Char | 10 | Char |
11 | with | 11 | with |
12 | () | 12 | () |
13 | in ./testdata/language-features/guard/guard12.reject.lc:1:13: | 13 | in testdata/language-features/guard/guard12.reject.lc:1:13: |
14 | fun x | x = () | otherwise = 'a' | 14 | fun x | x = () | otherwise = 'a' |
15 | ^^ | 15 | ^^ |
16 | ------------ tooltips | 16 | ------------ tooltips |
diff --git a/testdata/language-features/module/Moduledef02.reject.out b/testdata/language-features/module/Moduledef02.reject.out index cdb02fc8..5ee63b0c 100644 --- a/testdata/language-features/module/Moduledef02.reject.out +++ b/testdata/language-features/module/Moduledef02.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/module/Moduledef02.reject.lc:2:1: | 1 | testdata/language-features/module/Moduledef02.reject.lc:2:1: |
2 | unexpected end of input | 2 | unexpected end of input |
3 | expecting "where" or '(' \ No newline at end of file | 3 | expecting "where" or '(' |
diff --git a/testdata/language-features/module/Moduledef03.reject.out b/testdata/language-features/module/Moduledef03.reject.out index 401c93b1..848d1159 100644 --- a/testdata/language-features/module/Moduledef03.reject.out +++ b/testdata/language-features/module/Moduledef03.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/module/Moduledef03.reject.lc:1:8: | 1 | testdata/language-features/module/Moduledef03.reject.lc:1:8: |
2 | unexpected 'm' | 2 | unexpected 'm' |
3 | expecting module name \ No newline at end of file | 3 | expecting module name |
diff --git a/testdata/language-features/module/Moduledef04.reject.out b/testdata/language-features/module/Moduledef04.reject.out index 3a581b7c..d3fa3e4d 100644 --- a/testdata/language-features/module/Moduledef04.reject.out +++ b/testdata/language-features/module/Moduledef04.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/module/Moduledef04.reject.lc:1:8: | 1 | testdata/language-features/module/Moduledef04.reject.lc:1:8: |
2 | unexpected 'm' | 2 | unexpected 'm' |
3 | expecting module name \ No newline at end of file | 3 | expecting module name |
diff --git a/testdata/language-features/module/Moduledef05.reject.out b/testdata/language-features/module/Moduledef05.reject.out index dbcc8dc6..1a2e415e 100644 --- a/testdata/language-features/module/Moduledef05.reject.out +++ b/testdata/language-features/module/Moduledef05.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/module/Moduledef05.reject.lc:3:1: | 1 | testdata/language-features/module/Moduledef05.reject.lc:3:1: |
2 | unexpected "hello" | 2 | unexpected "hello" |
3 | expecting "where" or '(' | 3 | expecting "where" or '(' |
diff --git a/testdata/language-features/module/Moduledef11.reject.out b/testdata/language-features/module/Moduledef11.reject.out index ab059e4a..43c5b5b5 100644 --- a/testdata/language-features/module/Moduledef11.reject.out +++ b/testdata/language-features/module/Moduledef11.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/module/Moduledef11.reject.lc:1:8: | 1 | testdata/language-features/module/Moduledef11.reject.lc:1:8: |
2 | unexpected '1' | 2 | unexpected '1' |
3 | expecting module name \ No newline at end of file | 3 | expecting module name |
diff --git a/testdata/language-features/module/Moduledef12.reject.out b/testdata/language-features/module/Moduledef12.reject.out index 2f423e0d..f1098d5f 100644 --- a/testdata/language-features/module/Moduledef12.reject.out +++ b/testdata/language-features/module/Moduledef12.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/language-features/module/Moduledef12.reject.lc:1:8: | 1 | testdata/language-features/module/Moduledef12.reject.lc:1:8: |
2 | unexpected '&' | 2 | unexpected '&' |
3 | expecting module name \ No newline at end of file | 3 | expecting module name |
diff --git a/testdata/language-features/module/import02.reject.out b/testdata/language-features/module/import02.reject.out index 7877218f..ef1a6764 100644 --- a/testdata/language-features/module/import02.reject.out +++ b/testdata/language-features/module/import02.reject.out | |||
@@ -1,7 +1,7 @@ | |||
1 | can't find: hello2 in ./testdata/language-features/module/import02.reject.lc:4:5: | 1 | can't find: hello2 in testdata/language-features/module/import02.reject.lc:4:5: |
2 | x = hello2 | 2 | x = hello2 |
3 | ^^^^^^ | 3 | ^^^^^^ |
4 | ------------ trace | 4 | ------------ trace |
5 | !can't find: hello2 in ./testdata/language-features/module/import02.reject.lc:4:5: | 5 | !can't find: hello2 in testdata/language-features/module/import02.reject.lc:4:5: |
6 | x = hello2 | 6 | x = hello2 |
7 | ^^^^^^ \ No newline at end of file | 7 | ^^^^^^ \ No newline at end of file |
diff --git a/testdata/language-features/module/import03.reject.out b/testdata/language-features/module/import03.reject.out index 432500ab..13c0dba1 100644 --- a/testdata/language-features/module/import03.reject.out +++ b/testdata/language-features/module/import03.reject.out | |||
@@ -1,7 +1,7 @@ | |||
1 | can't find: world in ./testdata/language-features/module/import03.reject.lc:3:5: | 1 | can't find: world in testdata/language-features/module/import03.reject.lc:3:5: |
2 | x = world | 2 | x = world |
3 | ^^^^^ | 3 | ^^^^^ |
4 | ------------ trace | 4 | ------------ trace |
5 | !can't find: world in ./testdata/language-features/module/import03.reject.lc:3:5: | 5 | !can't find: world in testdata/language-features/module/import03.reject.lc:3:5: |
6 | x = world | 6 | x = world |
7 | ^^^^^ \ No newline at end of file | 7 | ^^^^^ \ No newline at end of file |
diff --git a/testdata/language-features/module/import04.reject.out b/testdata/language-features/module/import04.reject.out index 255c4921..e80b74f7 100644 --- a/testdata/language-features/module/import04.reject.out +++ b/testdata/language-features/module/import04.reject.out | |||
@@ -1,15 +1,15 @@ | |||
1 | already defined hello at ./testdata/language-features/module/import04.reject.lc:4:1: | 1 | already defined hello at testdata/language-features/module/import04.reject.lc:4:1: |
2 | hello = "hello" | 2 | hello = "hello" |
3 | ^^^^^ | 3 | ^^^^^ |
4 | and at ./testdata/language-features/module/Hello01.lc:3:1: | 4 | and at testdata/language-features/module/Hello01.lc:3:1: |
5 | hello = "hello" | 5 | hello = "hello" |
6 | ^^^^^ | 6 | ^^^^^ |
7 | ------------ trace | 7 | ------------ trace |
8 | hello :: String | 8 | hello :: String |
9 | !already defined hello at ./testdata/language-features/module/import04.reject.lc:4:1: | 9 | !already defined hello at testdata/language-features/module/import04.reject.lc:4:1: |
10 | hello = "hello" | 10 | hello = "hello" |
11 | ^^^^^ | 11 | ^^^^^ |
12 | and at ./testdata/language-features/module/Hello01.lc:3:1: | 12 | and at testdata/language-features/module/Hello01.lc:3:1: |
13 | hello = "hello" | 13 | hello = "hello" |
14 | ^^^^^ | 14 | ^^^^^ |
15 | ------------ tooltips | 15 | ------------ tooltips |
diff --git a/testdata/language-features/module/import10.reject.out b/testdata/language-features/module/import10.reject.out index 1f1167b1..92200734 100644 --- a/testdata/language-features/module/import10.reject.out +++ b/testdata/language-features/module/import10.reject.out | |||
@@ -1,15 +1,15 @@ | |||
1 | already defined 'MyUnit at ./testdata/language-features/module/import10.reject.lc:3:6: | 1 | already defined 'MyUnit at testdata/language-features/module/import10.reject.lc:3:6: |
2 | type MyUnit = () | 2 | type MyUnit = () |
3 | ^^^^^^ | 3 | ^^^^^^ |
4 | and at ./testdata/language-features/module/TypeSyn01Mod.lc:2:6: | 4 | and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: |
5 | type MyUnit = () | 5 | type MyUnit = () |
6 | ^^^^^^ | 6 | ^^^^^^ |
7 | ------------ trace | 7 | ------------ trace |
8 | 'MyUnit :: Type | 8 | 'MyUnit :: Type |
9 | !already defined 'MyUnit at ./testdata/language-features/module/import10.reject.lc:3:6: | 9 | !already defined 'MyUnit at testdata/language-features/module/import10.reject.lc:3:6: |
10 | type MyUnit = () | 10 | type MyUnit = () |
11 | ^^^^^^ | 11 | ^^^^^^ |
12 | and at ./testdata/language-features/module/TypeSyn01Mod.lc:2:6: | 12 | and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: |
13 | type MyUnit = () | 13 | type MyUnit = () |
14 | ^^^^^^ | 14 | ^^^^^^ |
15 | ------------ tooltips | 15 | ------------ tooltips |
diff --git a/testdata/language-features/module/import11.reject.out b/testdata/language-features/module/import11.reject.out index 6b9c0c33..35c04edd 100644 --- a/testdata/language-features/module/import11.reject.out +++ b/testdata/language-features/module/import11.reject.out | |||
@@ -1,15 +1,15 @@ | |||
1 | already defined 'MyUnit at ./testdata/language-features/module/import11.reject.lc:3:6: | 1 | already defined 'MyUnit at testdata/language-features/module/import11.reject.lc:3:6: |
2 | type MyUnit = () | 2 | type MyUnit = () |
3 | ^^^^^^ | 3 | ^^^^^^ |
4 | and at ./testdata/language-features/module/TypeSyn01Mod.lc:2:6: | 4 | and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: |
5 | type MyUnit = () | 5 | type MyUnit = () |
6 | ^^^^^^ | 6 | ^^^^^^ |
7 | ------------ trace | 7 | ------------ trace |
8 | 'MyUnit :: Type | 8 | 'MyUnit :: Type |
9 | !already defined 'MyUnit at ./testdata/language-features/module/import11.reject.lc:3:6: | 9 | !already defined 'MyUnit at testdata/language-features/module/import11.reject.lc:3:6: |
10 | type MyUnit = () | 10 | type MyUnit = () |
11 | ^^^^^^ | 11 | ^^^^^^ |
12 | and at ./testdata/language-features/module/TypeSyn01Mod.lc:2:6: | 12 | and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: |
13 | type MyUnit = () | 13 | type MyUnit = () |
14 | ^^^^^^ | 14 | ^^^^^^ |
15 | ------------ tooltips | 15 | ------------ tooltips |
diff --git a/testdata/language-features/pattern/pattern01.out b/testdata/language-features/pattern/pattern01.out index 4cd9e949..63b178ca 100644 --- a/testdata/language-features/pattern/pattern01.out +++ b/testdata/language-features/pattern/pattern01.out | |||
@@ -73,6 +73,6 @@ fun4 = \a -> hlistNilCase 'Char (_rhs '0') a | |||
73 | 10:11-10:14 | 73 | 10:11-10:14 |
74 | Char | 74 | Char |
75 | ------------ warnings | 75 | ------------ warnings |
76 | Source code is not reachable: ./testdata/language-features/pattern/pattern01.lc:11:10: | 76 | Source code is not reachable: testdata/language-features/pattern/pattern01.lc:11:10: |
77 | fun4 _ = '_' | 77 | fun4 _ = '_' |
78 | ^^^ \ No newline at end of file | 78 | ^^^ \ No newline at end of file |
diff --git a/testdata/language-features/pattern/pattern02.reject.out b/testdata/language-features/pattern/pattern02.reject.out index ac26e09a..8cb54485 100644 --- a/testdata/language-features/pattern/pattern02.reject.out +++ b/testdata/language-features/pattern/pattern02.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | Constructor X is not defined at ./testdata/language-features/pattern/pattern02.reject.lc:4:3: | 1 | Constructor X is not defined at testdata/language-features/pattern/pattern02.reject.lc:4:3: |
2 | f X = 3 | 2 | f X = 3 |
3 | ^ \ No newline at end of file | 3 | ^ \ No newline at end of file |
diff --git a/testdata/language-features/pattern/patternGuard.out b/testdata/language-features/pattern/patternGuard.out index f7e7f468..f49e7165 100644 --- a/testdata/language-features/pattern/patternGuard.out +++ b/testdata/language-features/pattern/patternGuard.out | |||
@@ -40,7 +40,7 @@ main = _rhs True | |||
40 | 5:52-5:56 | 40 | 5:52-5:56 |
41 | Bool | 41 | Bool |
42 | ------------ warnings | 42 | ------------ warnings |
43 | Uncovered pattern(s) at ./testdata/language-features/pattern/patternGuard.lc:4:13: | 43 | Uncovered pattern(s) at testdata/language-features/pattern/patternGuard.lc:4:13: |
44 | main = case True of | 44 | main = case True of |
45 | ^^^^ | 45 | ^^^^ |
46 | Missing case(s): | 46 | Missing case(s): |
diff --git a/testdata/language-features/pattern/uncovered.out b/testdata/language-features/pattern/uncovered.out index 10f0c7c4..0dd4cdf4 100644 --- a/testdata/language-features/pattern/uncovered.out +++ b/testdata/language-features/pattern/uncovered.out | |||
@@ -194,14 +194,14 @@ h | |||
194 | 8:23-8:27 | 194 | 8:23-8:27 |
195 | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | 195 | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool |
196 | ------------ warnings | 196 | ------------ warnings |
197 | Uncovered pattern(s) at ./testdata/language-features/pattern/uncovered.lc:2:1: | 197 | Uncovered pattern(s) at testdata/language-features/pattern/uncovered.lc:2:1: |
198 | f _ True False = 0 | 198 | f _ True False = 0 |
199 | f False _ True = 1 | 199 | f False _ True = 1 |
200 | f True False _ = 2 | 200 | f True False _ = 2 |
201 | Missing case(s): | 201 | Missing case(s): |
202 | f False False False | 202 | f False False False |
203 | f True True True | 203 | f True True True |
204 | Uncovered pattern(s) at ./testdata/language-features/pattern/uncovered.lc:6:1: | 204 | Uncovered pattern(s) at testdata/language-features/pattern/uncovered.lc:6:1: |
205 | g [True, False, True] = False | 205 | g [True, False, True] = False |
206 | ^ | 206 | ^ |
207 | Missing case(s): | 207 | Missing case(s): |
@@ -212,7 +212,7 @@ Missing case(s): | |||
212 | g (True : False : False : _) | 212 | g (True : False : False : _) |
213 | g (True : False : True : _ : _) | 213 | g (True : False : True : _ : _) |
214 | g (True : True : _) | 214 | g (True : True : _) |
215 | Uncovered pattern(s) at ./testdata/language-features/pattern/uncovered.lc:8:1: | 215 | Uncovered pattern(s) at testdata/language-features/pattern/uncovered.lc:8:1: |
216 | h [[True], [False]] = True | 216 | h [[True], [False]] = True |
217 | ^ | 217 | ^ |
218 | Missing case(s): | 218 | Missing case(s): |
diff --git a/testdata/language-features/pattern/unreachable.out b/testdata/language-features/pattern/unreachable.out index b409a387..5c8251d1 100644 --- a/testdata/language-features/pattern/unreachable.out +++ b/testdata/language-features/pattern/unreachable.out | |||
@@ -10,6 +10,6 @@ f = \a _ -> _rhs "hello" | |||
10 | 4:7-4:14 | 10 | 4:7-4:14 |
11 | String | 11 | String |
12 | ------------ warnings | 12 | ------------ warnings |
13 | Source code is not reachable: ./testdata/language-features/pattern/unreachable.lc:5:7: | 13 | Source code is not reachable: testdata/language-features/pattern/unreachable.lc:5:7: |
14 | f _ = "world" | 14 | f _ = "world" |
15 | ^^^^^^^ \ No newline at end of file | 15 | ^^^^^^^ \ No newline at end of file |
diff --git a/testdata/language-features/pattern/viewPattern.out b/testdata/language-features/pattern/viewPattern.out index fc6f76ca..6a6d238b 100644 --- a/testdata/language-features/pattern/viewPattern.out +++ b/testdata/language-features/pattern/viewPattern.out | |||
@@ -31,7 +31,7 @@ main = _rhs True | |||
31 | 7:21-7:25 | 31 | 7:21-7:25 |
32 | Bool | 32 | Bool |
33 | ------------ warnings | 33 | ------------ warnings |
34 | Uncovered pattern(s) at ./testdata/language-features/pattern/viewPattern.lc:6:13: | 34 | Uncovered pattern(s) at testdata/language-features/pattern/viewPattern.lc:6:13: |
35 | main = case True of | 35 | main = case True of |
36 | ^^^^ | 36 | ^^^^ |
37 | Missing case(s): | 37 | Missing case(s): |
diff --git a/testdata/language-features/pragma/pragma05.reject.out b/testdata/language-features/pragma/pragma05.reject.out index 00e66f76..8e9ffaed 100644 --- a/testdata/language-features/pragma/pragma05.reject.out +++ b/testdata/language-features/pragma/pragma05.reject.out | |||
@@ -1,2 +1,2 @@ | |||
1 | ./testdata/language-features/pragma/pragma05.reject.lc:1:20: | 1 | testdata/language-features/pragma/pragma05.reject.lc:1:20: |
2 | language extension expected instead of ABCDEF \ No newline at end of file | 2 | language extension expected instead of ABCDEF |
diff --git a/testdata/language-features/pragma/pragma06.reject.out b/testdata/language-features/pragma/pragma06.reject.out index 726d1bfe..13427392 100644 --- a/testdata/language-features/pragma/pragma06.reject.out +++ b/testdata/language-features/pragma/pragma06.reject.out | |||
@@ -1,2 +1,2 @@ | |||
1 | ./testdata/language-features/pragma/pragma06.reject.lc:1:18: | 1 | testdata/language-features/pragma/pragma06.reject.lc:1:18: |
2 | language extension expected instead of abcd \ No newline at end of file | 2 | language extension expected instead of abcd |
diff --git a/testdata/language-features/recursion/mutualConst.out b/testdata/language-features/recursion/mutualConst.out index 8580bb8c..e979e927 100644 --- a/testdata/language-features/recursion/mutualConst.out +++ b/testdata/language-features/recursion/mutualConst.out | |||
@@ -182,7 +182,7 @@ y = _rhs (True : fst xy) | |||
182 | 12:30-12:34 | 182 | 12:30-12:34 |
183 | Bool | Bool | Bool | Bool | Bool | Bool | 183 | Bool | Bool | Bool | Bool | Bool | Bool |
184 | ------------ warnings | 184 | ------------ warnings |
185 | Uncovered pattern(s) at ./testdata/language-features/recursion/mutualConst.lc:11:13: | 185 | Uncovered pattern(s) at testdata/language-features/recursion/mutualConst.lc:11:13: |
186 | main = case x of | 186 | main = case x of |
187 | ^ | 187 | ^ |
188 | Missing case(s): | 188 | Missing case(s): |
diff --git a/testdata/language-features/recursion/mutualRec.out b/testdata/language-features/recursion/mutualRec.out index e802e888..a7234bcd 100644 --- a/testdata/language-features/recursion/mutualRec.out +++ b/testdata/language-features/recursion/mutualRec.out | |||
@@ -127,7 +127,7 @@ y = _rhs (True : x) | |||
127 | 8:30-8:34 | 127 | 8:30-8:34 |
128 | Bool | Bool | Bool | Bool | Bool | Bool | 128 | Bool | Bool | Bool | Bool | Bool | Bool |
129 | ------------ warnings | 129 | ------------ warnings |
130 | Uncovered pattern(s) at ./testdata/language-features/recursion/mutualRec.lc:7:13: | 130 | Uncovered pattern(s) at testdata/language-features/recursion/mutualRec.lc:7:13: |
131 | main = case x of | 131 | main = case x of |
132 | ^ | 132 | ^ |
133 | Missing case(s): | 133 | Missing case(s): |
diff --git a/testdata/listcompr01.out b/testdata/listcompr01.out index 88ae7e7d..a0141a6e 100644 --- a/testdata/listcompr01.out +++ b/testdata/listcompr01.out | |||
@@ -90,7 +90,7 @@ main = _rhs True | |||
90 | 6:25-6:29 | 90 | 6:25-6:29 |
91 | Bool | Bool | Bool | Bool | Bool | Bool | Bool | 91 | Bool | Bool | Bool | Bool | Bool | Bool | Bool |
92 | ------------ warnings | 92 | ------------ warnings |
93 | Uncovered pattern(s) at ./testdata/listcompr01.lc:5:13: | 93 | Uncovered pattern(s) at testdata/listcompr01.lc:5:13: |
94 | main = case a of | 94 | main = case a of |
95 | ^ | 95 | ^ |
96 | Missing case(s): | 96 | Missing case(s): |
diff --git a/testdata/listcompr01.reject.out b/testdata/listcompr01.reject.out index 998b9602..7d9e0834 100644 --- a/testdata/listcompr01.reject.out +++ b/testdata/listcompr01.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | ./testdata/listcompr01.reject.lc:6:42: | 1 | testdata/listcompr01.reject.lc:6:42: |
2 | unexpected ',' | 2 | unexpected ',' |
3 | expecting "->", "::", "=>", "let", "where", ''', '(', '@', '[', '_', '{', '~', backquoted ident, end of input, expression, lambda, literal, lowercase ident, swizzling, symbols, the rest of expression, or uppercase ident | 3 | expecting "->", "::", "=>", "let", "where", ''', '(', '@', '[', '_', '{', '~', backquoted ident, end of input, expression, lambda, literal, lowercase ident, swizzling, symbols, the rest of expression, or uppercase ident |
diff --git a/testdata/listcompr02.out b/testdata/listcompr02.out index 0f270749..731112f4 100644 --- a/testdata/listcompr02.out +++ b/testdata/listcompr02.out | |||
@@ -182,7 +182,7 @@ main = _rhs True | |||
182 | 6:55-6:59 | 182 | 6:55-6:59 |
183 | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | 183 | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool |
184 | ------------ warnings | 184 | ------------ warnings |
185 | Uncovered pattern(s) at ./testdata/listcompr02.lc:5:13: | 185 | Uncovered pattern(s) at testdata/listcompr02.lc:5:13: |
186 | main = case a of | 186 | main = case a of |
187 | ^ | 187 | ^ |
188 | Missing case(s): | 188 | Missing case(s): |
diff --git a/testdata/listcompr03.out b/testdata/listcompr03.out index b74b2815..d48890c6 100644 --- a/testdata/listcompr03.out +++ b/testdata/listcompr03.out | |||
@@ -192,7 +192,7 @@ main = _rhs True | |||
192 | 6:55-6:59 | 192 | 6:55-6:59 |
193 | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | 193 | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool |
194 | ------------ warnings | 194 | ------------ warnings |
195 | Uncovered pattern(s) at ./testdata/listcompr03.lc:5:13: | 195 | Uncovered pattern(s) at testdata/listcompr03.lc:5:13: |
196 | main = case a of | 196 | main = case a of |
197 | ^ | 197 | ^ |
198 | Missing case(s): | 198 | Missing case(s): |
diff --git a/testdata/listcompr04.out b/testdata/listcompr04.out index 83fbb25e..5b0eb86b 100644 --- a/testdata/listcompr04.out +++ b/testdata/listcompr04.out | |||
@@ -79,7 +79,7 @@ main = _rhs True | |||
79 | 6:24-6:28 | 79 | 6:24-6:28 |
80 | Bool | Bool | Bool | Bool | Bool | 80 | Bool | Bool | Bool | Bool | Bool |
81 | ------------ warnings | 81 | ------------ warnings |
82 | Uncovered pattern(s) at ./testdata/listcompr04.lc:5:13: | 82 | Uncovered pattern(s) at testdata/listcompr04.lc:5:13: |
83 | main = case a of | 83 | main = case a of |
84 | ^ | 84 | ^ |
85 | Missing case(s): | 85 | Missing case(s): |
diff --git a/testdata/listcompr05.out b/testdata/listcompr05.out index 8c25c77a..32a87a6d 100644 --- a/testdata/listcompr05.out +++ b/testdata/listcompr05.out | |||
@@ -134,7 +134,7 @@ main = _rhs True | |||
134 | 10:23-10:27 | 134 | 10:23-10:27 |
135 | Bool | Bool | Bool | Bool | Bool | 135 | Bool | Bool | Bool | Bool | Bool |
136 | ------------ warnings | 136 | ------------ warnings |
137 | Uncovered pattern(s) at ./testdata/listcompr05.lc:9:13: | 137 | Uncovered pattern(s) at testdata/listcompr05.lc:9:13: |
138 | main = case a of | 138 | main = case a of |
139 | ^ | 139 | ^ |
140 | Missing case(s): | 140 | Missing case(s): |
diff --git a/testdata/loopIssue.out b/testdata/loopIssue.out index e5c03d9c..0f97dd2e 100644 --- a/testdata/loopIssue.out +++ b/testdata/loopIssue.out | |||
@@ -188,7 +188,7 @@ repeatT = primFix _ \a -> _rhs (True : a) | |||
188 | 30:15-30:17 | 188 | 30:15-30:17 |
189 | _b | 189 | _b |
190 | ------------ warnings | 190 | ------------ warnings |
191 | Uncovered pattern(s) at ./testdata/loopIssue.lc:26:8: | 191 | Uncovered pattern(s) at testdata/loopIssue.lc:26:8: |
192 | (x: _) !! 0 = x | 192 | (x: _) !! 0 = x |
193 | (_ : xs) !! n = xs !! (n-1) | 193 | (_ : xs) !! n = xs !! (n-1) |
194 | Missing case(s): | 194 | Missing case(s): |
diff --git a/testdata/nameclash01.reject.out b/testdata/nameclash01.reject.out index 645d906c..b6072053 100644 --- a/testdata/nameclash01.reject.out +++ b/testdata/nameclash01.reject.out | |||
@@ -1,3 +1,3 @@ | |||
1 | Constructor FrameBuffer is not defined at ./testdata/nameclash01.reject.lc:2:9: | 1 | Constructor FrameBuffer is not defined at testdata/nameclash01.reject.lc:2:9: |
2 | let FrameBuffer = FrameBuffer (colorImage1 1.0) | 2 | let FrameBuffer = FrameBuffer (colorImage1 1.0) |
3 | ^^^^^^^^^^^ \ No newline at end of file | 3 | ^^^^^^^^^^^ \ No newline at end of file |
diff --git a/testdata/primes.out b/testdata/primes.out index aacee201..4cd11476 100644 --- a/testdata/primes.out +++ b/testdata/primes.out | |||
@@ -545,7 +545,7 @@ takeWhile | |||
545 | 53:18-53:22 | 545 | 53:18-53:22 |
546 | _b | 546 | _b |
547 | ------------ warnings | 547 | ------------ warnings |
548 | Uncovered pattern(s) at ./testdata/primes.lc:50:8: | 548 | Uncovered pattern(s) at testdata/primes.lc:50:8: |
549 | (x: _) !! 0 = x | 549 | (x: _) !! 0 = x |
550 | (_ : xs) !! n = xs !! (n-1) | 550 | (_ : xs) !! n = xs !! (n-1) |
551 | Missing case(s): | 551 | Missing case(s): |
diff --git a/testdata/record01.reject.out b/testdata/record01.reject.out index 322d5ae3..984304fa 100644 --- a/testdata/record01.reject.out +++ b/testdata/record01.reject.out | |||
@@ -2,7 +2,7 @@ type error: can not unify | |||
2 | FrameBuffer _b _a | 2 | FrameBuffer _b _a |
3 | with | 3 | with |
4 | Float | 4 | Float |
5 | in ./testdata/record01.reject.lc:26:15: | 5 | in testdata/record01.reject.lc:26:15: |
6 | in ScreenOut record.fieldA | 6 | in ScreenOut record.fieldA |
7 | ^^^^^^ | 7 | ^^^^^^ |
8 | ------------ trace | 8 | ------------ trace |
@@ -10,7 +10,7 @@ in ./testdata/record01.reject.lc:26:15: | |||
10 | FrameBuffer _b _a | 10 | FrameBuffer _b _a |
11 | with | 11 | with |
12 | Float | 12 | Float |
13 | in ./testdata/record01.reject.lc:26:15: | 13 | in testdata/record01.reject.lc:26:15: |
14 | in ScreenOut record.fieldA | 14 | in ScreenOut record.fieldA |
15 | ^^^^^^ | 15 | ^^^^^^ |
16 | ------------ tooltips | 16 | ------------ tooltips |
diff --git a/testdata/scope01.reject.out b/testdata/scope01.reject.out index 4003c679..5a4bce42 100644 --- a/testdata/scope01.reject.out +++ b/testdata/scope01.reject.out | |||
@@ -1,8 +1,8 @@ | |||
1 | can't find: frame' in ./testdata/scope01.reject.lc:3:8: | 1 | can't find: frame' in testdata/scope01.reject.lc:3:8: |
2 | in frame' | 2 | in frame' |
3 | ^^^^^^ | 3 | ^^^^^^ |
4 | ------------ trace | 4 | ------------ trace |
5 | !can't find: frame' in ./testdata/scope01.reject.lc:3:8: | 5 | !can't find: frame' in testdata/scope01.reject.lc:3:8: |
6 | in frame' | 6 | in frame' |
7 | ^^^^^^ | 7 | ^^^^^^ |
8 | ------------ tooltips | 8 | ------------ tooltips |
diff --git a/testdata/swizzling.out b/testdata/swizzling.out index efe50bbc..59ed8ba7 100644 --- a/testdata/swizzling.out +++ b/testdata/swizzling.out | |||
@@ -78,7 +78,7 @@ v3 = _rhs 1.0 | |||
78 | 8:23-8:27 | 78 | 8:23-8:27 |
79 | Bool | Bool | Bool | Bool | 79 | Bool | Bool | Bool | Bool |
80 | ------------ warnings | 80 | ------------ warnings |
81 | Uncovered pattern(s) at ./testdata/swizzling.lc:7:13: | 81 | Uncovered pattern(s) at testdata/swizzling.lc:7:13: |
82 | main = case v%xxy of | 82 | main = case v%xxy of |
83 | ^^^^^ | 83 | ^^^^^ |
84 | Missing case(s): | 84 | Missing case(s): |
diff --git a/testdata/syntax01.reject.out b/testdata/syntax01.reject.out index 829bf033..a240525f 100644 --- a/testdata/syntax01.reject.out +++ b/testdata/syntax01.reject.out | |||
@@ -1,2 +1,2 @@ | |||
1 | ./testdata/syntax01.reject.lc:3:1: | 1 | testdata/syntax01.reject.lc:3:1: |
2 | wrong indentation | 2 | wrong indentation |
diff --git a/testdata/typeclass0.out b/testdata/typeclass0.out index 280f851c..10caca97 100644 --- a/testdata/typeclass0.out +++ b/testdata/typeclass0.out | |||
@@ -20,7 +20,7 @@ main = _rhs True | |||
20 | 3:12-3:16 | 20 | 3:12-3:16 |
21 | Bool | 21 | Bool |
22 | ------------ warnings | 22 | ------------ warnings |
23 | Uncovered pattern(s) at ./testdata/typeclass0.lc:2:13: | 23 | Uncovered pattern(s) at testdata/typeclass0.lc:2:13: |
24 | main = case 1 of | 24 | main = case 1 of |
25 | ^ | 25 | ^ |
26 | Missing case(s): | 26 | Missing case(s): |
diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out index 4b742a17..694d0efb 100644 --- a/testdata/typesig.reject.out +++ b/testdata/typesig.reject.out | |||
@@ -1,4 +1,4 @@ | |||
1 | can't find: x in ./testdata/typesig.reject.lc:6:6: | 1 | can't find: x in testdata/typesig.reject.lc:6:6: |
2 | x :: x | 2 | x :: x |
3 | ^ | 3 | ^ |
4 | ------------ trace | 4 | ------------ trace |
@@ -6,7 +6,7 @@ x :: x | |||
6 | X :: X | 6 | X :: X |
7 | case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b | 7 | case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b |
8 | match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b | 8 | match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b |
9 | !can't find: x in ./testdata/typesig.reject.lc:6:6: | 9 | !can't find: x in testdata/typesig.reject.lc:6:6: |
10 | x :: x | 10 | x :: x |
11 | ^ | 11 | ^ |
12 | ------------ tooltips | 12 | ------------ tooltips |