summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCsaba Hruska <csaba.hruska@gmail.com>2018-02-03 10:21:53 +0100
committerCsaba Hruska <csaba.hruska@gmail.com>2018-02-03 10:21:53 +0100
commitec65ace24251d2a391e2a3a5d7b764e4e3151830 (patch)
tree58bb3937f22664bed3527ddb9e0faa7cc71ca599
parent66188f40cd84b8f16a917125e618b78a49350ab2 (diff)
show normalised filepaths in error messages
-rw-r--r--testdata/Builtins.out6
-rw-r--r--testdata/Prelude.out8
-rw-r--r--testdata/accumulate01.reject.out2
-rw-r--r--testdata/adhoc.reject.out4
-rw-r--r--testdata/complex.out4
-rw-r--r--testdata/concatmap01.out2
-rw-r--r--testdata/data.out10
-rw-r--r--testdata/data.reject.out4
-rw-r--r--testdata/dotdot01.out2
-rw-r--r--testdata/dotdot02.out2
-rw-r--r--testdata/empty.reject.out2
-rw-r--r--testdata/framebuffer02.reject.out4
-rw-r--r--testdata/fromto.out2
-rw-r--r--testdata/it.out4
-rw-r--r--testdata/language-features/adt/adt03.reject.out4
-rw-r--r--testdata/language-features/adt/adt04.reject.out4
-rw-r--r--testdata/language-features/adt/gadt02.reject.out4
-rw-r--r--testdata/language-features/adt/gadt04.reject.out8
-rw-r--r--testdata/language-features/as-pattern/as-pattern01.out4
-rw-r--r--testdata/language-features/as-pattern/as-pattern02.out2
-rw-r--r--testdata/language-features/as-pattern/as-pattern02.reject.out4
-rw-r--r--testdata/language-features/basic-list/list03.reject.out2
-rw-r--r--testdata/language-features/basic-list/list04.reject.out2
-rw-r--r--testdata/language-features/basic-list/list05.reject.out2
-rw-r--r--testdata/language-features/basic-list/list06.reject.out4
-rw-r--r--testdata/language-features/basic-list/list14.reject.out4
-rw-r--r--testdata/language-features/basic-list/list15.reject.out4
-rw-r--r--testdata/language-features/basic-list/list16.reject.out4
-rw-r--r--testdata/language-features/basic-list/listcomp08.reject.out4
-rw-r--r--testdata/language-features/basic-values/case03.reject.out4
-rw-r--r--testdata/language-features/basic-values/case04.reject.out4
-rw-r--r--testdata/language-features/basic-values/case05.out2
-rw-r--r--testdata/language-features/basic-values/data02.reject.out4
-rw-r--r--testdata/language-features/basic-values/data03.reject.out4
-rw-r--r--testdata/language-features/basic-values/def02.reject.out4
-rw-r--r--testdata/language-features/basic-values/def03.out2
-rw-r--r--testdata/language-features/basic-values/def05.reject.out8
-rw-r--r--testdata/language-features/basic-values/def06.reject.out8
-rw-r--r--testdata/language-features/basic-values/def07.reject.out12
-rw-r--r--testdata/language-features/basic-values/if03.reject.out4
-rw-r--r--testdata/language-features/basic-values/if04.reject.out4
-rw-r--r--testdata/language-features/basic-values/indentation03.reject.out2
-rw-r--r--testdata/language-features/basic-values/indentation04.reject.out2
-rw-r--r--testdata/language-features/basic-values/infix04.reject.out2
-rw-r--r--testdata/language-features/basic-values/lambda02.reject.out2
-rw-r--r--testdata/language-features/basic-values/operator02.reject.out8
-rw-r--r--testdata/language-features/basic-values/operator03.reject.out2
-rw-r--r--testdata/language-features/basic-values/operator04.reject.out2
-rw-r--r--testdata/language-features/basic-values/operator07.reject.out4
-rw-r--r--testdata/language-features/basic-values/operator08.reject.out4
-rw-r--r--testdata/language-features/basic-values/redefine01.reject.out8
-rw-r--r--testdata/language-features/basic-values/redefine02.reject.out6
-rw-r--r--testdata/language-features/basic-values/redefine03.reject.out8
-rw-r--r--testdata/language-features/basic-values/typesig08.reject.out2
-rw-r--r--testdata/language-features/basic-values/typesig09.reject.out2
-rw-r--r--testdata/language-features/basic-values/typesyn03.reject.out8
-rw-r--r--testdata/language-features/basic-values/typesyn04.reject.out8
-rw-r--r--testdata/language-features/basic-values/where02.reject.out2
-rw-r--r--testdata/language-features/basic-values/where03.reject.out2
-rw-r--r--testdata/language-features/basic-values/where06.reject.out8
-rw-r--r--testdata/language-features/comment/comment05.reject.out4
-rw-r--r--testdata/language-features/guard/guard02.reject.out4
-rw-r--r--testdata/language-features/guard/guard05.reject.out4
-rw-r--r--testdata/language-features/guard/guard10.reject.out2
-rw-r--r--testdata/language-features/guard/guard12.reject.out4
-rw-r--r--testdata/language-features/module/Moduledef02.reject.out4
-rw-r--r--testdata/language-features/module/Moduledef03.reject.out4
-rw-r--r--testdata/language-features/module/Moduledef04.reject.out4
-rw-r--r--testdata/language-features/module/Moduledef05.reject.out2
-rw-r--r--testdata/language-features/module/Moduledef11.reject.out4
-rw-r--r--testdata/language-features/module/Moduledef12.reject.out4
-rw-r--r--testdata/language-features/module/import02.reject.out4
-rw-r--r--testdata/language-features/module/import03.reject.out4
-rw-r--r--testdata/language-features/module/import04.reject.out8
-rw-r--r--testdata/language-features/module/import10.reject.out8
-rw-r--r--testdata/language-features/module/import11.reject.out8
-rw-r--r--testdata/language-features/pattern/pattern01.out2
-rw-r--r--testdata/language-features/pattern/pattern02.reject.out2
-rw-r--r--testdata/language-features/pattern/patternGuard.out2
-rw-r--r--testdata/language-features/pattern/uncovered.out6
-rw-r--r--testdata/language-features/pattern/unreachable.out2
-rw-r--r--testdata/language-features/pattern/viewPattern.out2
-rw-r--r--testdata/language-features/pragma/pragma05.reject.out4
-rw-r--r--testdata/language-features/pragma/pragma06.reject.out4
-rw-r--r--testdata/language-features/recursion/mutualConst.out2
-rw-r--r--testdata/language-features/recursion/mutualRec.out2
-rw-r--r--testdata/listcompr01.out2
-rw-r--r--testdata/listcompr01.reject.out2
-rw-r--r--testdata/listcompr02.out2
-rw-r--r--testdata/listcompr03.out2
-rw-r--r--testdata/listcompr04.out2
-rw-r--r--testdata/listcompr05.out2
-rw-r--r--testdata/loopIssue.out2
-rw-r--r--testdata/nameclash01.reject.out2
-rw-r--r--testdata/primes.out2
-rw-r--r--testdata/record01.reject.out4
-rw-r--r--testdata/scope01.reject.out4
-rw-r--r--testdata/swizzling.out2
-rw-r--r--testdata/syntax01.reject.out2
-rw-r--r--testdata/typeclass0.out2
-rw-r--r--testdata/typesig.reject.out4
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
8719573:25-573:26 8719573:25-573:26
8720 _b 8720 _b
8721------------ warnings 8721------------ warnings
8722Uncovered pattern(s) at ./testdata/Builtins.lc:201:1: 8722Uncovered pattern(s) at testdata/Builtins.lc:201:1:
8723head (x: _) = x 8723head (x: _) = x
8724^^^^ 8724^^^^
8725Missing case(s): 8725Missing case(s):
8726 head [] 8726 head []
8727Uncovered pattern(s) at ./testdata/Builtins.lc:340:1: 8727Uncovered pattern(s) at testdata/Builtins.lc:340:1:
8728swizzscalar (V2 x y) Sx = x 8728swizzscalar (V2 x y) Sx = x
8729swizzscalar (V2 x y) Sy = y 8729swizzscalar (V2 x y) Sy = y
8730swizzscalar (V3 x y z) Sx = x 8730swizzscalar (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
8741Uncovered pattern(s) at ./testdata/Builtins.lc:357:1: 8741Uncovered pattern(s) at testdata/Builtins.lc:357:1:
8742swizzvector v w | definedVec v = mapVec (swizzscalar v) w 8742swizzvector v w | definedVec v = mapVec (swizzscalar v) w
8743^^^^^^^^^^^ 8743^^^^^^^^^^^
8744Missing case(s): 8744Missing 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
4464389:28-389:29 4464389:28-389:29
4465 _b 4465 _b
4466------------ warnings 4466------------ warnings
4467Uncovered pattern(s) at ./testdata/Prelude.lc:50:1: 4467Uncovered pattern(s) at testdata/Prelude.lc:50:1:
4468tail (_: xs) = xs 4468tail (_: xs) = xs
4469^^^^ 4469^^^^
4470Missing case(s): 4470Missing case(s):
4471 tail [] 4471 tail []
4472Uncovered pattern(s) at ./testdata/Prelude.lc:58:1: 4472Uncovered pattern(s) at testdata/Prelude.lc:58:1:
4473foldr1 f (x: xs) = foldr f x xs 4473foldr1 f (x: xs) = foldr f x xs
4474^^^^^^ 4474^^^^^^
4475Missing case(s): 4475Missing case(s):
4476 foldr1 _ [] 4476 foldr1 _ []
4477Uncovered pattern(s) at ./testdata/Prelude.lc:137:1: 4477Uncovered pattern(s) at testdata/Prelude.lc:137:1:
4478project @a @('RecItem s' a': xs) s @_ (RecordCons ts) | s == s' = fstTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts) 4478project @a @('RecItem s' a': xs) s @_ (RecordCons ts) | s == s' = fstTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts)
4479project @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))) 4479project @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)))
4480Missing case(s): 4480Missing case(s):
4481 project _ [] _ _ _ 4481 project _ [] _ _ _
4482Uncovered pattern(s) at ./testdata/Prelude.lc:388:10: 4482Uncovered 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)
4485Missing case(s): 4485Missing 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: 1testdata/accumulate01.reject.lc:3:3:
2wrong indentation 2wrong 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 @@
1type error: no instance of 'Component on ??? 1type error: no instance of 'Component on ???
2in ./testdata/adhoc.reject.lc:4:5: 2in testdata/adhoc.reject.lc:4:5:
3x = one :: Vec 4 A 3x = one :: Vec 4 A
4 ^^^ 4 ^^^
5------------ trace 5------------ trace
@@ -8,7 +8,7 @@ A :: A
8case'A :: forall (a :: A -> Type) -> a 'A -> forall (b :: A) -> a b 8case'A :: forall (a :: A -> Type) -> a 'A -> forall (b :: A) -> a b
9match'A :: forall (a :: Type -> Type) -> a A -> forall b -> a b -> a b 9match'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 ???
11in ./testdata/adhoc.reject.lc:4:5: 11in testdata/adhoc.reject.lc:4:5:
12x = one :: Vec 4 A 12x = 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
1012145:28-145:31 1012145:28-145:31
1013 Float 1013 Float
1014------------ warnings 1014------------ warnings
1015Uncovered pattern(s) at ./testdata/complex.lc:114:1: 1015Uncovered pattern(s) at testdata/complex.lc:114:1:
1016add @'Normal @'Normal (Complex a b) (Complex c d) = Complex (a + c) (b + d) 1016add @'Normal @'Normal (Complex a b) (Complex c d) = Complex (a + c) (b + d)
1017^^^ 1017^^^
1018Missing case(s): 1018Missing case(s):
1019 add Normal Polar _ _ 1019 add Normal Polar _ _
1020 add Polar _ _ _ 1020 add Polar _ _ _
1021Uncovered pattern(s) at ./testdata/complex.lc:129:1: 1021Uncovered pattern(s) at testdata/complex.lc:129:1:
1022mul @'Normal @'Normal (Complex a b) (Complex c d) = Complex (a*c - b*d) (b*c + a*d) 1022mul @'Normal @'Normal (Complex a b) (Complex c d) = Complex (a*c - b*d) (b*c + a*d)
1023^^^ 1023^^^
1024Missing case(s): 1024Missing 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
576:19-6:23 576:19-6:23
58 Bool | Bool | Bool 58 Bool | Bool | Bool
59------------ warnings 59------------ warnings
60Uncovered pattern(s) at ./testdata/concatmap01.lc:5:13: 60Uncovered pattern(s) at testdata/concatmap01.lc:5:13:
61main = case a of 61main = case a of
62 ^ 62 ^
63Missing case(s): 63Missing 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
32512:46-12:48 32512:46-12:48
326 Type 326 Type
327------------ warnings 327------------ warnings
328Uncovered pattern(s) at ./testdata/data.lc:6:23: 328Uncovered pattern(s) at testdata/data.lc:6:23:
329 | Data22 { x :: Int, y::Int } 329 | Data22 { x :: Int, y::Int }
330 ^ 330 ^
331Missing case(s): 331Missing case(s):
332 x (Data21 _) 332 x (Data21 _)
333 x Data24 333 x Data24
334Uncovered pattern(s) at ./testdata/data.lc:6:33: 334Uncovered pattern(s) at testdata/data.lc:6:33:
335 | Data22 { x :: Int, y::Int } 335 | Data22 { x :: Int, y::Int }
336 ^ 336 ^
337Missing case(s): 337Missing case(s):
338 y (Data21 _) 338 y (Data21 _)
339 y (Data23 _) 339 y (Data23 _)
340 y Data24 340 y Data24
341Uncovered pattern(s) at ./testdata/data.lc:10:32: 341Uncovered pattern(s) at testdata/data.lc:10:32:
342data Data5 a5 b5 c5 = Data51 { a5::a5} 342data Data5 a5 b5 c5 = Data51 { a5::a5}
343 ^^ 343 ^^
344Missing case(s): 344Missing case(s):
345 a5 (Data53 _ _ _ _ _) 345 a5 (Data53 _ _ _ _ _)
346Uncovered pattern(s) at ./testdata/data.lc:11:40: 346Uncovered 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 ^^
349Missing case(s): 349Missing case(s):
350 b5 (Data51 _) 350 b5 (Data51 _)
351 b5 (Data53 _ _ _ _ _) 351 b5 (Data53 _ _ _ _ _)
352Uncovered pattern(s) at ./testdata/data.lc:11:48: 352Uncovered 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 ^^
355Missing case(s): 355Missing 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 @@
1can't find: a in ./testdata/data.reject.lc:1:20: 1can't find: a in testdata/data.reject.lc:1:20:
2data Data1 = Data1 a b c 2data 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:
7data Data1 = Data1 a b c 7data 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
513:29-3:33 513:29-3:33
52 Bool | Bool | Bool | Bool | Bool | Bool | Bool 52 Bool | Bool | Bool | Bool | Bool | Bool | Bool
53------------ warnings 53------------ warnings
54Uncovered pattern(s) at ./testdata/dotdot01.lc:2:13: 54Uncovered pattern(s) at testdata/dotdot01.lc:2:13:
55main = case [1.0..3.0] of 55main = case [1.0..3.0] of
56 ^^^^^^^^^^ 56 ^^^^^^^^^^
57Missing case(s): 57Missing 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
313:16-3:20 313:16-3:20
32 Bool 32 Bool
33------------ warnings 33------------ warnings
34Uncovered pattern(s) at ./testdata/dotdot02.lc:2:13: 34Uncovered pattern(s) at testdata/dotdot02.lc:2:13:
35main = case [3.0..1.0] of 35main = case [3.0..1.0] of
36 ^^^^^^^^^^ 36 ^^^^^^^^^^
37Missing case(s): 37Missing 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: 1testdata/empty.reject.lc:4:1:
2wrong indentation 2wrong 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
3with 3with
4 1 4 1
5in ./testdata/framebuffer02.reject.lc:2:17: 5in 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
13with 13with
14 1 14 1
15in ./testdata/framebuffer02.reject.lc:2:17: 15in 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
553:29-3:33 553:29-3:33
56 Bool | Bool | Bool | Bool | Bool | Bool | Bool 56 Bool | Bool | Bool | Bool | Bool | Bool | Bool
57------------ warnings 57------------ warnings
58Uncovered pattern(s) at ./testdata/fromto.lc:2:13: 58Uncovered pattern(s) at testdata/fromto.lc:2:13:
59main = case (fromTo 1.0 3.0) of 59main = case (fromTo 1.0 3.0) of
60 ^^^^^^^^^^^^^^^^ 60 ^^^^^^^^^^^^^^^^
61Missing case(s): 61Missing 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
877:53-7:57 877:53-7:57
88 Bool 88 Bool
89------------ warnings 89------------ warnings
90Uncovered pattern(s) at ./testdata/it.lc:7:25: 90Uncovered 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 ^^^^^^^^^^^^^^^^^^
93Missing case(s): 93Missing case(s):
94 LT 94 LT
95 GT 95 GT
96Uncovered pattern(s) at ./testdata/it.lc:6:13: 96Uncovered pattern(s) at testdata/it.lc:6:13:
97main = case from 0 of 97main = case from 0 of
98 ^^^^^^ 98 ^^^^^^
99Missing case(s): 99Missing 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 @@
1can't find: a in ./testdata/language-features/adt/adt03.reject.lc:2:20: 1can't find: a in testdata/language-features/adt/adt03.reject.lc:2:20:
2data Data3 = Data3 a b c 2data 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:
7data Data3 = Data3 a b c 7data 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 @@
1can't find: a in ./testdata/language-features/adt/adt04.reject.lc:2:27: 1can't find: a in testdata/language-features/adt/adt04.reject.lc:2:27:
2data Data3 = Data3 { x :: a , y :: b , z :: c } 2data 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:
7data Data3 = Data3 { x :: a , y :: b , z :: c } 7data 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: 1testdata/language-features/adt/gadt02.reject.lc:2:9:
2unexpected 'T' 2unexpected 'T'
3expecting "::", "where", '=', '@', ::, end of input, or lowercase ident \ No newline at end of file 3expecting "::", "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 @@
1already defined Value at ./testdata/language-features/adt/gadt04.reject.lc:6:3: 1already 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 ^^^^^
4and at ./testdata/language-features/adt/gadt04.reject.lc:3:3: 4and 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
18Value :: forall a . a -> forall (b :: String) . M2 a b 18Value :: 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 ^^^^^
22and at ./testdata/language-features/adt/gadt04.reject.lc:3:3: 22and 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
878:17-8:18 878:17-8:18
88 _b 88 _b
89------------ warnings 89------------ warnings
90Uncovered pattern(s) at ./testdata/language-features/as-pattern/as-pattern01.lc:1:1: 90Uncovered pattern(s) at testdata/language-features/as-pattern/as-pattern01.lc:1:1:
91f y@(x:xs) = x:y 91f y@(x:xs) = x:y
92^ 92^
93Missing case(s): 93Missing case(s):
94 f _ | [] <- _a 94 f _ | [] <- _a
95Uncovered pattern(s) at ./testdata/language-features/as-pattern/as-pattern01.lc:3:1: 95Uncovered pattern(s) at testdata/language-features/as-pattern/as-pattern01.lc:3:1:
96g x@3 y = x + y 96g x@3 y = x + y
97^ 97^
98Missing case(s): 98Missing 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
1417:36-7:37 1417:36-7:37
142 _b 142 _b
143------------ warnings 143------------ warnings
144Uncovered pattern(s) at ./testdata/language-features/as-pattern/as-pattern02.lc:3:12: 144Uncovered pattern(s) at testdata/language-features/as-pattern/as-pattern02.lc:3:12:
145f e = case e of 145f e = case e of
146 ^ 146 ^
147Missing case(s): 147Missing 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 @@
1multiple pattern vars: 1multiple pattern vars:
2x is defined at 2x is defined at
3./testdata/language-features/as-pattern/as-pattern02.reject.lc:2:3: 3testdata/language-features/as-pattern/as-pattern02.reject.lc:2:3:
4f x@[x:xs] = x:xs 4f x@[x:xs] = x:xs
5 ^ 5 ^
6./testdata/language-features/as-pattern/as-pattern02.reject.lc:2:6: 6testdata/language-features/as-pattern/as-pattern02.reject.lc:2:6:
7f x@[x:xs] = x:xs 7f 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: 1testdata/language-features/basic-list/list03.reject.lc:2:1:
2wrong indentation 2wrong 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: 1testdata/language-features/basic-list/list04.reject.lc:2:1:
2wrong indentation 2wrong 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: 1testdata/language-features/basic-list/list05.reject.lc:2:1:
2wrong indentation 2wrong 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: 1testdata/language-features/basic-list/list06.reject.lc:1:10:
2unexpected ',' 2unexpected ','
3expecting expression \ No newline at end of file 3expecting 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]
3with 3with
4 () 4 ()
5in ./testdata/language-features/basic-list/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,7 +10,7 @@ value = 'h':'i':()
10 [Char] 10 [Char]
11with 11with
12 () 12 ()
13in ./testdata/language-features/basic-list/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
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
3with 3with
4 () 4 ()
5in ./testdata/language-features/basic-list/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,7 +10,7 @@ value = 'h':'i':():[]
10 Char 10 Char
11with 11with
12 () 12 ()
13in ./testdata/language-features/basic-list/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
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]
3with 3with
4 Char 4 Char
5in ./testdata/language-features/basic-list/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,7 +10,7 @@ value = 'h':'i'
10 [Char] 10 [Char]
11with 11with
12 Char 12 Char
13in ./testdata/language-features/basic-list/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
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 ^^^^
5with 5with
6 String 6 String
7in ./testdata/language-features/basic-list/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
@@ -14,7 +14,7 @@ value = [x | x <- [], "not Bool"]
14 ^^^^ 14 ^^^^
15with 15with
16 String 16 String
17in ./testdata/language-features/basic-list/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
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 @@
1type error: no instance of 'Num on ??? 1type error: no instance of 'Num on ???
2in ./testdata/language-features/basic-values/case03.reject.lc:1:10: 2in testdata/language-features/basic-values/case03.reject.lc:1:10:
3value1 = case () of 3value1 = 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 ???
8in ./testdata/language-features/basic-values/case03.reject.lc:1:10: 8in testdata/language-features/basic-values/case03.reject.lc:1:10:
9value1 = case () of 9value1 = 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 ()
3with 3with
4 Char 4 Char
5in ./testdata/language-features/basic-values/case04.reject.lc:2:8: 5in 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 ()
11with 11with
12 Char 12 Char
13in ./testdata/language-features/basic-values/case04.reject.lc:2:8: 13in 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
202:8-2:11 202:8-2:11
21 Char 21 Char
22------------ warnings 22------------ warnings
23Uncovered pattern(s) at ./testdata/language-features/basic-values/case05.lc:1:16: 23Uncovered pattern(s) at testdata/language-features/basic-values/case05.lc:1:16:
24value x = case x of 24value x = case x of
25 ^ 25 ^
26Missing case(s): 26Missing 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: 1testdata/language-features/basic-values/data02.reject.lc:1:6:
2unexpected 'd' 2unexpected 'd'
3expecting uppercase ident \ No newline at end of file 3expecting 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: 1testdata/language-features/basic-values/data03.reject.lc:1:10:
2unexpected 'd' 2unexpected 'd'
3expecting '(' or uppercase ident \ No newline at end of file 3expecting '(' 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 @@
1multiple pattern vars: 1multiple pattern vars:
2x is defined at 2x is defined at
3./testdata/language-features/basic-values/def02.reject.lc:1:6: 3testdata/language-features/basic-values/def02.reject.lc:1:6:
4fun1 x x = 'c' 4fun1 x x = 'c'
5 ^ 5 ^
6./testdata/language-features/basic-values/def02.reject.lc:1:8: 6testdata/language-features/basic-values/def02.reject.lc:1:8:
7fun1 x x = 'c' 7fun1 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
302:9-2:12 302:9-2:12
31 Char | Char 31 Char | Char
32------------ warnings 32------------ warnings
33Uncovered pattern(s) at ./testdata/language-features/basic-values/def03.lc:1:1: 33Uncovered pattern(s) at testdata/language-features/basic-values/def03.lc:1:1:
34fun 1 = '1' 34fun 1 = '1'
35fun 2 = '2' 35fun 2 = '2'
36Missing case(s): 36Missing 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: 1testdata/language-features/basic-values/def05.reject.lc:4:1:
2different number of arguments of fun: 2different number of arguments of fun:
3./testdata/language-features/basic-values/def05.reject.lc:1:1: 3testdata/language-features/basic-values/def05.reject.lc:1:1:
4fun 1 = '1' 4fun 1 = '1'
5^^^ 5^^^
6./testdata/language-features/basic-values/def05.reject.lc:3:1: 6testdata/language-features/basic-values/def05.reject.lc:3:1:
7fun = '_' 7fun = '_'
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: 1testdata/language-features/basic-values/def06.reject.lc:5:1:
2different number of arguments of fun2: 2different number of arguments of fun2:
3./testdata/language-features/basic-values/def06.reject.lc:1:1: 3testdata/language-features/basic-values/def06.reject.lc:1:1:
4fun2 1 _ = '1' 4fun2 1 _ = '1'
5^^^^ 5^^^^
6./testdata/language-features/basic-values/def06.reject.lc:3:1: 6testdata/language-features/basic-values/def06.reject.lc:3:1:
7fun2 _ = '_' 7fun2 _ = '_'
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 @@
1already defined fun at ./testdata/language-features/basic-values/def07.reject.lc:4:1: 1already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1:
2fun _ = '_' 2fun _ = '_'
3^^^ 3^^^
4and at ./testdata/language-features/basic-values/def07.reject.lc:1:1: 4and at testdata/language-features/basic-values/def07.reject.lc:1:1:
5fun 1 = '1' 5fun 1 = '1'
6^^^ 6^^^
7------------ trace 7------------ trace
8fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char 8fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char
9fun2 :: forall a b . (Eq a, Num a) => a -> b -> Char 9fun2 :: forall a b . (Eq a, Num a) => a -> b -> Char
10fun :: forall a . a -> Char 10fun :: 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:
12fun _ = '_' 12fun _ = '_'
13^^^ 13^^^
14and at ./testdata/language-features/basic-values/def07.reject.lc:1:1: 14and at testdata/language-features/basic-values/def07.reject.lc:1:1:
15fun 1 = '1' 15fun 1 = '1'
16^^^ 16^^^
17------------ tooltips 17------------ tooltips
@@ -32,12 +32,12 @@ fun 1 = '1'
324:9-4:12 324:9-4:12
33 Char 33 Char
34------------ warnings 34------------ warnings
35Uncovered pattern(s) at ./testdata/language-features/basic-values/def07.reject.lc:1:1: 35Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:1:1:
36fun 1 = '1' 36fun 1 = '1'
37fun 2 = '2' 37fun 2 = '2'
38Missing case(s): 38Missing case(s):
39 fun _ | False <- fromInt 1 == _a, False <- fromInt 2 == _a 39 fun _ | False <- fromInt 1 == _a, False <- fromInt 2 == _a
40Uncovered pattern(s) at ./testdata/language-features/basic-values/def07.reject.lc:3:1: 40Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:3:1:
41fun2 1 _ = '1' 41fun2 1 _ = '1'
42^^^^ 42^^^^
43Missing case(s): 43Missing 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 ^^^^
5with 5with
6 () 6 ()
7in ./testdata/language-features/basic-values/if03.reject.lc:1:13: 7in testdata/language-features/basic-values/if03.reject.lc:1:13:
8value1 = if () then () else () 8value1 = if () then () else ()
9 ^^ 9 ^^
10------------ trace 10------------ trace
@@ -14,7 +14,7 @@ value1 = if () then () else ()
14 ^^^^ 14 ^^^^
15with 15with
16 () 16 ()
17in ./testdata/language-features/basic-values/if03.reject.lc:1:13: 17in testdata/language-features/basic-values/if03.reject.lc:1:13:
18value1 = if () then () else () 18value1 = 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 ()
3with 3with
4 Char 4 Char
5in ./testdata/language-features/basic-values/if04.reject.lc:1:31: 5in testdata/language-features/basic-values/if04.reject.lc:1:31:
6value1 = if True then () else '_' 6value1 = if True then () else '_'
7 ^^^ 7 ^^^
8------------ trace 8------------ trace
@@ -10,7 +10,7 @@ value1 = if True then () else '_'
10 () 10 ()
11with 11with
12 Char 12 Char
13in ./testdata/language-features/basic-values/if04.reject.lc:1:31: 13in testdata/language-features/basic-values/if04.reject.lc:1:31:
14value1 = if True then () else '_' 14value1 = 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: 1testdata/language-features/basic-values/indentation03.reject.lc:2:10:
2unexpected '=' 2unexpected '='
3expecting "->", "::", "=>", "let", "where", ''', '(', '@', '[', '_', '{', end of input, expression, literal, lowercase ident, swizzling, the rest of expression, or uppercase ident 3expecting "->", "::", "=>", "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: 1testdata/language-features/basic-values/indentation04.reject.lc:2:2:
2unexpected 't' 2unexpected 't'
3expecting end of input or the rest of expression 3expecting 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: 1testdata/language-features/basic-values/infix04.reject.lc:3:14:
2unexpected '`' 2unexpected '`'
3expecting "->", "::", "=>", "let", "where", ''', '(', '@', '[', '_', '{', end of input, expression, literal, lowercase ident, swizzling, the rest of expression, or uppercase ident 3expecting "->", "::", "=>", "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: 1testdata/language-features/basic-values/lambda02.reject.lc:1:1:
2unexpected 'f' 2unexpected 'f'
3expecting end of input 3expecting 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 @@
1already defined #$# at ./testdata/language-features/basic-values/operator02.reject.lc:3:3: 1already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3:
2a #$# b = () 2a #$# b = ()
3 ^^^ 3 ^^^
4and at ./testdata/language-features/basic-values/operator02.reject.lc:1:3: 4and at testdata/language-features/basic-values/operator02.reject.lc:1:3:
5a #$# b = () 5a #$# b = ()
6 ^^^ 6 ^^^
7------------ trace 7------------ trace
8(#$#) :: forall a b . a -> b -> () 8(#$#) :: forall a b . a -> b -> ()
9fun :: forall a . a -> () 9fun :: 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:
12a #$# b = () 12a #$# b = ()
13 ^^^ 13 ^^^
14and at ./testdata/language-features/basic-values/operator02.reject.lc:1:3: 14and at testdata/language-features/basic-values/operator02.reject.lc:1:3:
15a #$# b = () 15a #$# 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: 1testdata/language-features/basic-values/operator03.reject.lc:1:1:
2unexpected 'a' 2unexpected 'a'
3expecting end of input 3expecting 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: 1testdata/language-features/basic-values/operator04.reject.lc:1:1:
2unexpected 'a' 2unexpected 'a'
3expecting end of input 3expecting 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 @@
1Operator precedences don't match: 1Operator precedences don't match:
2infix 5 at ./testdata/language-features/basic-values/operator07.reject.lc:11:11: 2infix 5 at testdata/language-features/basic-values/operator07.reject.lc:11:11:
3main = () @&> () <@& () 3main = () @&> () <@& ()
4 ^^^ 4 ^^^
5infixl 5 at ./testdata/language-features/basic-values/operator07.reject.lc:11:18: 5infixl 5 at testdata/language-features/basic-values/operator07.reject.lc:11:18:
6main = () @&> () <@& () 6main = () @&> () <@& ()
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 @@
1Operator precedences don't match: 1Operator precedences don't match:
2infix 5 at ./testdata/language-features/basic-values/operator08.reject.lc:10:6: 2infix 5 at testdata/language-features/basic-values/operator08.reject.lc:10:6:
3x = (@&> () <@& ()) 3x = (@&> () <@& ())
4 ^^^ 4 ^^^
5infixl 5 at ./testdata/language-features/basic-values/operator08.reject.lc:10:13: 5infixl 5 at testdata/language-features/basic-values/operator08.reject.lc:10:13:
6x = (@&> () <@& ()) 6x = (@&> () <@& ())
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 @@
1already defined unit at ./testdata/language-features/basic-values/redefine01.reject.lc:3:1: 1already defined unit at testdata/language-features/basic-values/redefine01.reject.lc:3:1:
2unit = () 2unit = ()
3^^^^ 3^^^^
4and at ./testdata/language-features/basic-values/redefine01.reject.lc:1:1: 4and at testdata/language-features/basic-values/redefine01.reject.lc:1:1:
5unit = () 5unit = ()
6^^^^ 6^^^^
7------------ trace 7------------ trace
8unit :: () 8unit :: ()
9tuple :: () 9tuple :: ()
10unit :: () 10unit :: ()
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:
12unit = () 12unit = ()
13^^^^ 13^^^^
14and at ./testdata/language-features/basic-values/redefine01.reject.lc:1:1: 14and at testdata/language-features/basic-values/redefine01.reject.lc:1:1:
15unit = () 15unit = ()
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: 1testdata/language-features/basic-values/redefine02.reject.lc:3:8:
2redefined x: 2redefined x:
3./testdata/language-features/basic-values/redefine02.reject.lc:1:12: 3testdata/language-features/basic-values/redefine02.reject.lc:1:12:
4unit = let x = () 4unit = let x = ()
5 ^ 5 ^
6./testdata/language-features/basic-values/redefine02.reject.lc:2:12: 6testdata/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: 1testdata/language-features/basic-values/redefine03.reject.lc:4:1:
2redefined x: 2redefined x:
3./testdata/language-features/basic-values/redefine03.reject.lc:2:9: 3testdata/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: 6testdata/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: 1testdata/language-features/basic-values/typesig08.reject.lc:1:1:
2unexpected 'v' 2unexpected 'v'
3expecting end of input 3expecting 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: 1testdata/language-features/basic-values/typesig09.reject.lc:1:1:
2unexpected 'v' 2unexpected 'v'
3expecting end of input 3expecting 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 @@
1already defined 'MyUnit at ./testdata/language-features/basic-values/typesyn03.reject.lc:2:6: 1already defined 'MyUnit at testdata/language-features/basic-values/typesyn03.reject.lc:2:6:
2type MyUnit = () 2type MyUnit = ()
3 ^^^^^^ 3 ^^^^^^
4and at ./testdata/language-features/basic-values/typesyn03.reject.lc:1:6: 4and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6:
5type MyUnit = () 5type 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:
11type MyUnit = () 11type MyUnit = ()
12 ^^^^^^ 12 ^^^^^^
13and at ./testdata/language-features/basic-values/typesyn03.reject.lc:1:6: 13and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6:
14type MyUnit = () 14type 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 @@
1already defined 'MyUnit at ./testdata/language-features/basic-values/typesyn04.reject.lc:2:6: 1already defined 'MyUnit at testdata/language-features/basic-values/typesyn04.reject.lc:2:6:
2type MyUnit = () 2type MyUnit = ()
3 ^^^^^^ 3 ^^^^^^
4and at ./testdata/language-features/basic-values/typesyn04.reject.lc:1:6: 4and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6:
5type MyUnit = () 5type 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:
11type MyUnit = () 11type MyUnit = ()
12 ^^^^^^ 12 ^^^^^^
13and at ./testdata/language-features/basic-values/typesyn04.reject.lc:1:6: 13and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6:
14type MyUnit = () 14type 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: 1testdata/language-features/basic-values/where02.reject.lc:4:5:
2unexpected '=' 2unexpected '='
3expecting "->", "::", "=>", "let", "where", ''', '(', '@', '[', '_', '{', end of input, expression, literal, lowercase ident, swizzling, the rest of expression, or uppercase ident 3expecting "->", "::", "=>", "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: 1testdata/language-features/basic-values/where03.reject.lc:4:2:
2unexpected 'y' 2unexpected 'y'
3expecting end of input or the rest of expression 3expecting 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: 1testdata/language-features/basic-values/where06.reject.lc:7:1:
2redefined x: 2redefined x:
3./testdata/language-features/basic-values/where06.reject.lc:3:1: 3testdata/language-features/basic-values/where06.reject.lc:3:1:
4x = y where 4x = y where
5^ 5^
6./testdata/language-features/basic-values/where06.reject.lc:5:1: 6testdata/language-features/basic-values/where06.reject.lc:5:1:
7x = 'c' 7x = '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: 1testdata/language-features/comment/comment05.reject.lc:4:1:
2unexpected '-' 2unexpected '-'
3expecting "class", "data", "infix", "infixl", "infixr", "instance", "type", end of input, lhs, operator definition, pattern, or typed ident \ No newline at end of file 3expecting "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
3with 3with
4 () 4 ()
5in ./testdata/language-features/guard/guard02.reject.lc:2:12: 5in 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
11with 11with
12 () 12 ()
13in ./testdata/language-features/guard/guard02.reject.lc:2:12: 13in 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 ^^^^
5with 5with
6 () 6 ()
7in ./testdata/language-features/guard/guard05.reject.lc:1:9: 7in testdata/language-features/guard/guard05.reject.lc:1:9:
8value | () = "wrong" 8value | () = "wrong"
9 ^^ 9 ^^
10------------ trace 10------------ trace
@@ -14,7 +14,7 @@ value | () = "wrong"
14 ^^^^ 14 ^^^^
15with 15with
16 () 16 ()
17in ./testdata/language-features/guard/guard05.reject.lc:1:9: 17in testdata/language-features/guard/guard05.reject.lc:1:9:
18value | () = "wrong" 18value | () = "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: 1testdata/language-features/guard/guard10.reject.lc:2:1:
2unexpected '|' 2unexpected '|'
3expecting "class", "data", "infix", "infixl", "infixr", "instance", "type", end of input, lhs, operator definition, pattern, the rest of expression, or typed ident 3expecting "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
3with 3with
4 () 4 ()
5in ./testdata/language-features/guard/guard12.reject.lc:1:13: 5in testdata/language-features/guard/guard12.reject.lc:1:13:
6fun x | x = () | otherwise = 'a' 6fun x | x = () | otherwise = 'a'
7 ^^ 7 ^^
8------------ trace 8------------ trace
@@ -10,7 +10,7 @@ fun x | x = () | otherwise = 'a'
10 Char 10 Char
11with 11with
12 () 12 ()
13in ./testdata/language-features/guard/guard12.reject.lc:1:13: 13in testdata/language-features/guard/guard12.reject.lc:1:13:
14fun x | x = () | otherwise = 'a' 14fun 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: 1testdata/language-features/module/Moduledef02.reject.lc:2:1:
2unexpected end of input 2unexpected end of input
3expecting "where" or '(' \ No newline at end of file 3expecting "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: 1testdata/language-features/module/Moduledef03.reject.lc:1:8:
2unexpected 'm' 2unexpected 'm'
3expecting module name \ No newline at end of file 3expecting 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: 1testdata/language-features/module/Moduledef04.reject.lc:1:8:
2unexpected 'm' 2unexpected 'm'
3expecting module name \ No newline at end of file 3expecting 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: 1testdata/language-features/module/Moduledef05.reject.lc:3:1:
2unexpected "hello" 2unexpected "hello"
3expecting "where" or '(' 3expecting "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: 1testdata/language-features/module/Moduledef11.reject.lc:1:8:
2unexpected '1' 2unexpected '1'
3expecting module name \ No newline at end of file 3expecting 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: 1testdata/language-features/module/Moduledef12.reject.lc:1:8:
2unexpected '&' 2unexpected '&'
3expecting module name \ No newline at end of file 3expecting 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 @@
1can't find: hello2 in ./testdata/language-features/module/import02.reject.lc:4:5: 1can't find: hello2 in testdata/language-features/module/import02.reject.lc:4:5:
2x = hello2 2x = 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:
6x = hello2 6x = 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 @@
1can't find: world in ./testdata/language-features/module/import03.reject.lc:3:5: 1can't find: world in testdata/language-features/module/import03.reject.lc:3:5:
2x = world 2x = 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:
6x = world 6x = 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 @@
1already defined hello at ./testdata/language-features/module/import04.reject.lc:4:1: 1already defined hello at testdata/language-features/module/import04.reject.lc:4:1:
2hello = "hello" 2hello = "hello"
3^^^^^ 3^^^^^
4and at ./testdata/language-features/module/Hello01.lc:3:1: 4and at testdata/language-features/module/Hello01.lc:3:1:
5hello = "hello" 5hello = "hello"
6^^^^^ 6^^^^^
7------------ trace 7------------ trace
8hello :: String 8hello :: 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:
10hello = "hello" 10hello = "hello"
11^^^^^ 11^^^^^
12and at ./testdata/language-features/module/Hello01.lc:3:1: 12and at testdata/language-features/module/Hello01.lc:3:1:
13hello = "hello" 13hello = "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 @@
1already defined 'MyUnit at ./testdata/language-features/module/import10.reject.lc:3:6: 1already defined 'MyUnit at testdata/language-features/module/import10.reject.lc:3:6:
2type MyUnit = () 2type MyUnit = ()
3 ^^^^^^ 3 ^^^^^^
4and at ./testdata/language-features/module/TypeSyn01Mod.lc:2:6: 4and at testdata/language-features/module/TypeSyn01Mod.lc:2:6:
5type MyUnit = () 5type 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:
10type MyUnit = () 10type MyUnit = ()
11 ^^^^^^ 11 ^^^^^^
12and at ./testdata/language-features/module/TypeSyn01Mod.lc:2:6: 12and at testdata/language-features/module/TypeSyn01Mod.lc:2:6:
13type MyUnit = () 13type 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 @@
1already defined 'MyUnit at ./testdata/language-features/module/import11.reject.lc:3:6: 1already defined 'MyUnit at testdata/language-features/module/import11.reject.lc:3:6:
2type MyUnit = () 2type MyUnit = ()
3 ^^^^^^ 3 ^^^^^^
4and at ./testdata/language-features/module/TypeSyn01Mod.lc:2:6: 4and at testdata/language-features/module/TypeSyn01Mod.lc:2:6:
5type MyUnit = () 5type 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:
10type MyUnit = () 10type MyUnit = ()
11 ^^^^^^ 11 ^^^^^^
12and at ./testdata/language-features/module/TypeSyn01Mod.lc:2:6: 12and at testdata/language-features/module/TypeSyn01Mod.lc:2:6:
13type MyUnit = () 13type 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
7310:11-10:14 7310:11-10:14
74 Char 74 Char
75------------ warnings 75------------ warnings
76Source code is not reachable: ./testdata/language-features/pattern/pattern01.lc:11:10: 76Source code is not reachable: testdata/language-features/pattern/pattern01.lc:11:10:
77fun4 _ = '_' 77fun4 _ = '_'
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 @@
1Constructor X is not defined at ./testdata/language-features/pattern/pattern02.reject.lc:4:3: 1Constructor X is not defined at testdata/language-features/pattern/pattern02.reject.lc:4:3:
2f X = 3 2f 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
405:52-5:56 405:52-5:56
41 Bool 41 Bool
42------------ warnings 42------------ warnings
43Uncovered pattern(s) at ./testdata/language-features/pattern/patternGuard.lc:4:13: 43Uncovered pattern(s) at testdata/language-features/pattern/patternGuard.lc:4:13:
44main = case True of 44main = case True of
45 ^^^^ 45 ^^^^
46Missing case(s): 46Missing 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
1948:23-8:27 1948: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
197Uncovered pattern(s) at ./testdata/language-features/pattern/uncovered.lc:2:1: 197Uncovered pattern(s) at testdata/language-features/pattern/uncovered.lc:2:1:
198f _ True False = 0 198f _ True False = 0
199f False _ True = 1 199f False _ True = 1
200f True False _ = 2 200f True False _ = 2
201Missing case(s): 201Missing case(s):
202 f False False False 202 f False False False
203 f True True True 203 f True True True
204Uncovered pattern(s) at ./testdata/language-features/pattern/uncovered.lc:6:1: 204Uncovered pattern(s) at testdata/language-features/pattern/uncovered.lc:6:1:
205g [True, False, True] = False 205g [True, False, True] = False
206^ 206^
207Missing case(s): 207Missing 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 : _)
215Uncovered pattern(s) at ./testdata/language-features/pattern/uncovered.lc:8:1: 215Uncovered pattern(s) at testdata/language-features/pattern/uncovered.lc:8:1:
216h [[True], [False]] = True 216h [[True], [False]] = True
217^ 217^
218Missing case(s): 218Missing 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"
104:7-4:14 104:7-4:14
11 String 11 String
12------------ warnings 12------------ warnings
13Source code is not reachable: ./testdata/language-features/pattern/unreachable.lc:5:7: 13Source code is not reachable: testdata/language-features/pattern/unreachable.lc:5:7:
14f _ = "world" 14f _ = "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
317:21-7:25 317:21-7:25
32 Bool 32 Bool
33------------ warnings 33------------ warnings
34Uncovered pattern(s) at ./testdata/language-features/pattern/viewPattern.lc:6:13: 34Uncovered pattern(s) at testdata/language-features/pattern/viewPattern.lc:6:13:
35main = case True of 35main = case True of
36 ^^^^ 36 ^^^^
37Missing case(s): 37Missing 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: 1testdata/language-features/pragma/pragma05.reject.lc:1:20:
2language extension expected instead of ABCDEF \ No newline at end of file 2language 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: 1testdata/language-features/pragma/pragma06.reject.lc:1:18:
2language extension expected instead of abcd \ No newline at end of file 2language 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)
18212:30-12:34 18212:30-12:34
183 Bool | Bool | Bool | Bool | Bool | Bool 183 Bool | Bool | Bool | Bool | Bool | Bool
184------------ warnings 184------------ warnings
185Uncovered pattern(s) at ./testdata/language-features/recursion/mutualConst.lc:11:13: 185Uncovered pattern(s) at testdata/language-features/recursion/mutualConst.lc:11:13:
186main = case x of 186main = case x of
187 ^ 187 ^
188Missing case(s): 188Missing 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)
1278:30-8:34 1278:30-8:34
128 Bool | Bool | Bool | Bool | Bool | Bool 128 Bool | Bool | Bool | Bool | Bool | Bool
129------------ warnings 129------------ warnings
130Uncovered pattern(s) at ./testdata/language-features/recursion/mutualRec.lc:7:13: 130Uncovered pattern(s) at testdata/language-features/recursion/mutualRec.lc:7:13:
131main = case x of 131main = case x of
132 ^ 132 ^
133Missing case(s): 133Missing 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
906:25-6:29 906:25-6:29
91 Bool | Bool | Bool | Bool | Bool | Bool | Bool 91 Bool | Bool | Bool | Bool | Bool | Bool | Bool
92------------ warnings 92------------ warnings
93Uncovered pattern(s) at ./testdata/listcompr01.lc:5:13: 93Uncovered pattern(s) at testdata/listcompr01.lc:5:13:
94main = case a of 94main = case a of
95 ^ 95 ^
96Missing case(s): 96Missing 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: 1testdata/listcompr01.reject.lc:6:42:
2unexpected ',' 2unexpected ','
3expecting "->", "::", "=>", "let", "where", ''', '(', '@', '[', '_', '{', '~', backquoted ident, end of input, expression, lambda, literal, lowercase ident, swizzling, symbols, the rest of expression, or uppercase ident 3expecting "->", "::", "=>", "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
1826:55-6:59 1826: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
185Uncovered pattern(s) at ./testdata/listcompr02.lc:5:13: 185Uncovered pattern(s) at testdata/listcompr02.lc:5:13:
186main = case a of 186main = case a of
187 ^ 187 ^
188Missing case(s): 188Missing 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
1926:55-6:59 1926: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
195Uncovered pattern(s) at ./testdata/listcompr03.lc:5:13: 195Uncovered pattern(s) at testdata/listcompr03.lc:5:13:
196main = case a of 196main = case a of
197 ^ 197 ^
198Missing case(s): 198Missing 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
796:24-6:28 796:24-6:28
80 Bool | Bool | Bool | Bool | Bool 80 Bool | Bool | Bool | Bool | Bool
81------------ warnings 81------------ warnings
82Uncovered pattern(s) at ./testdata/listcompr04.lc:5:13: 82Uncovered pattern(s) at testdata/listcompr04.lc:5:13:
83main = case a of 83main = case a of
84 ^ 84 ^
85Missing case(s): 85Missing 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
13410:23-10:27 13410:23-10:27
135 Bool | Bool | Bool | Bool | Bool 135 Bool | Bool | Bool | Bool | Bool
136------------ warnings 136------------ warnings
137Uncovered pattern(s) at ./testdata/listcompr05.lc:9:13: 137Uncovered pattern(s) at testdata/listcompr05.lc:9:13:
138main = case a of 138main = case a of
139 ^ 139 ^
140Missing case(s): 140Missing 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)
18830:15-30:17 18830:15-30:17
189 _b 189 _b
190------------ warnings 190------------ warnings
191Uncovered pattern(s) at ./testdata/loopIssue.lc:26:8: 191Uncovered 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)
194Missing case(s): 194Missing 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 @@
1Constructor FrameBuffer is not defined at ./testdata/nameclash01.reject.lc:2:9: 1Constructor 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
54553:18-53:22 54553:18-53:22
546 _b 546 _b
547------------ warnings 547------------ warnings
548Uncovered pattern(s) at ./testdata/primes.lc:50:8: 548Uncovered 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)
551Missing case(s): 551Missing 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
3with 3with
4 Float 4 Float
5in ./testdata/record01.reject.lc:26:15: 5in 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
11with 11with
12 Float 12 Float
13in ./testdata/record01.reject.lc:26:15: 13in 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 @@
1can't find: frame' in ./testdata/scope01.reject.lc:3:8: 1can'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
788:23-8:27 788:23-8:27
79 Bool | Bool | Bool | Bool 79 Bool | Bool | Bool | Bool
80------------ warnings 80------------ warnings
81Uncovered pattern(s) at ./testdata/swizzling.lc:7:13: 81Uncovered pattern(s) at testdata/swizzling.lc:7:13:
82main = case v%xxy of 82main = case v%xxy of
83 ^^^^^ 83 ^^^^^
84Missing case(s): 84Missing 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: 1testdata/syntax01.reject.lc:3:1:
2wrong indentation 2wrong 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
203:12-3:16 203:12-3:16
21 Bool 21 Bool
22------------ warnings 22------------ warnings
23Uncovered pattern(s) at ./testdata/typeclass0.lc:2:13: 23Uncovered pattern(s) at testdata/typeclass0.lc:2:13:
24main = case 1 of 24main = case 1 of
25 ^ 25 ^
26Missing case(s): 26Missing 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 @@
1can't find: x in ./testdata/typesig.reject.lc:6:6: 1can't find: x in testdata/typesig.reject.lc:6:6:
2x :: x 2x :: x
3 ^ 3 ^
4------------ trace 4------------ trace
@@ -6,7 +6,7 @@ x :: x
6X :: X 6X :: X
7case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b 7case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b
8match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b 8match'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:
10x :: x 10x :: x
11 ^ 11 ^
12------------ tooltips 12------------ tooltips