From ec65ace24251d2a391e2a3a5d7b764e4e3151830 Mon Sep 17 00:00:00 2001 From: Csaba Hruska Date: Sat, 3 Feb 2018 10:21:53 +0100 Subject: show normalised filepaths in error messages --- testdata/Builtins.out | 6 +++--- testdata/Prelude.out | 8 ++++---- testdata/accumulate01.reject.out | 2 +- testdata/adhoc.reject.out | 4 ++-- testdata/complex.out | 4 ++-- testdata/concatmap01.out | 2 +- testdata/data.out | 10 +++++----- testdata/data.reject.out | 4 ++-- testdata/dotdot01.out | 2 +- testdata/dotdot02.out | 2 +- testdata/empty.reject.out | 2 +- testdata/framebuffer02.reject.out | 4 ++-- testdata/fromto.out | 2 +- testdata/it.out | 4 ++-- testdata/language-features/adt/adt03.reject.out | 4 ++-- testdata/language-features/adt/adt04.reject.out | 4 ++-- testdata/language-features/adt/gadt02.reject.out | 4 ++-- testdata/language-features/adt/gadt04.reject.out | 8 ++++---- testdata/language-features/as-pattern/as-pattern01.out | 4 ++-- testdata/language-features/as-pattern/as-pattern02.out | 2 +- .../language-features/as-pattern/as-pattern02.reject.out | 4 ++-- testdata/language-features/basic-list/list03.reject.out | 2 +- testdata/language-features/basic-list/list04.reject.out | 2 +- testdata/language-features/basic-list/list05.reject.out | 2 +- testdata/language-features/basic-list/list06.reject.out | 4 ++-- testdata/language-features/basic-list/list14.reject.out | 4 ++-- testdata/language-features/basic-list/list15.reject.out | 4 ++-- testdata/language-features/basic-list/list16.reject.out | 4 ++-- testdata/language-features/basic-list/listcomp08.reject.out | 4 ++-- testdata/language-features/basic-values/case03.reject.out | 4 ++-- testdata/language-features/basic-values/case04.reject.out | 4 ++-- testdata/language-features/basic-values/case05.out | 2 +- testdata/language-features/basic-values/data02.reject.out | 4 ++-- testdata/language-features/basic-values/data03.reject.out | 4 ++-- testdata/language-features/basic-values/def02.reject.out | 4 ++-- testdata/language-features/basic-values/def03.out | 2 +- testdata/language-features/basic-values/def05.reject.out | 8 ++++---- testdata/language-features/basic-values/def06.reject.out | 8 ++++---- testdata/language-features/basic-values/def07.reject.out | 12 ++++++------ testdata/language-features/basic-values/if03.reject.out | 4 ++-- testdata/language-features/basic-values/if04.reject.out | 4 ++-- .../language-features/basic-values/indentation03.reject.out | 2 +- .../language-features/basic-values/indentation04.reject.out | 2 +- testdata/language-features/basic-values/infix04.reject.out | 2 +- testdata/language-features/basic-values/lambda02.reject.out | 2 +- .../language-features/basic-values/operator02.reject.out | 8 ++++---- .../language-features/basic-values/operator03.reject.out | 2 +- .../language-features/basic-values/operator04.reject.out | 2 +- .../language-features/basic-values/operator07.reject.out | 4 ++-- .../language-features/basic-values/operator08.reject.out | 4 ++-- .../language-features/basic-values/redefine01.reject.out | 8 ++++---- .../language-features/basic-values/redefine02.reject.out | 6 +++--- .../language-features/basic-values/redefine03.reject.out | 8 ++++---- testdata/language-features/basic-values/typesig08.reject.out | 2 +- testdata/language-features/basic-values/typesig09.reject.out | 2 +- testdata/language-features/basic-values/typesyn03.reject.out | 8 ++++---- testdata/language-features/basic-values/typesyn04.reject.out | 8 ++++---- testdata/language-features/basic-values/where02.reject.out | 2 +- testdata/language-features/basic-values/where03.reject.out | 2 +- testdata/language-features/basic-values/where06.reject.out | 8 ++++---- testdata/language-features/comment/comment05.reject.out | 4 ++-- testdata/language-features/guard/guard02.reject.out | 4 ++-- testdata/language-features/guard/guard05.reject.out | 4 ++-- testdata/language-features/guard/guard10.reject.out | 2 +- testdata/language-features/guard/guard12.reject.out | 4 ++-- testdata/language-features/module/Moduledef02.reject.out | 4 ++-- testdata/language-features/module/Moduledef03.reject.out | 4 ++-- testdata/language-features/module/Moduledef04.reject.out | 4 ++-- testdata/language-features/module/Moduledef05.reject.out | 2 +- testdata/language-features/module/Moduledef11.reject.out | 4 ++-- testdata/language-features/module/Moduledef12.reject.out | 4 ++-- testdata/language-features/module/import02.reject.out | 4 ++-- testdata/language-features/module/import03.reject.out | 4 ++-- testdata/language-features/module/import04.reject.out | 8 ++++---- testdata/language-features/module/import10.reject.out | 8 ++++---- testdata/language-features/module/import11.reject.out | 8 ++++---- testdata/language-features/pattern/pattern01.out | 2 +- testdata/language-features/pattern/pattern02.reject.out | 2 +- testdata/language-features/pattern/patternGuard.out | 2 +- testdata/language-features/pattern/uncovered.out | 6 +++--- testdata/language-features/pattern/unreachable.out | 2 +- testdata/language-features/pattern/viewPattern.out | 2 +- testdata/language-features/pragma/pragma05.reject.out | 4 ++-- testdata/language-features/pragma/pragma06.reject.out | 4 ++-- testdata/language-features/recursion/mutualConst.out | 2 +- testdata/language-features/recursion/mutualRec.out | 2 +- testdata/listcompr01.out | 2 +- testdata/listcompr01.reject.out | 2 +- testdata/listcompr02.out | 2 +- testdata/listcompr03.out | 2 +- testdata/listcompr04.out | 2 +- testdata/listcompr05.out | 2 +- testdata/loopIssue.out | 2 +- testdata/nameclash01.reject.out | 2 +- testdata/primes.out | 2 +- testdata/record01.reject.out | 4 ++-- testdata/scope01.reject.out | 4 ++-- testdata/swizzling.out | 2 +- testdata/syntax01.reject.out | 2 +- testdata/typeclass0.out | 2 +- testdata/typesig.reject.out | 4 ++-- 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 573:25-573:26 _b ------------ warnings -Uncovered pattern(s) at ./testdata/Builtins.lc:201:1: +Uncovered pattern(s) at testdata/Builtins.lc:201:1: head (x: _) = x ^^^^ Missing case(s): head [] -Uncovered pattern(s) at ./testdata/Builtins.lc:340:1: +Uncovered pattern(s) at testdata/Builtins.lc:340:1: swizzscalar (V2 x y) Sx = x swizzscalar (V2 x y) Sy = y swizzscalar (V3 x y z) Sx = x @@ -8738,7 +8738,7 @@ Missing case(s): swizzscalar (V2 _ _) Sz swizzscalar (V2 _ _) Sw swizzscalar (V3 _ _ _) Sw -Uncovered pattern(s) at ./testdata/Builtins.lc:357:1: +Uncovered pattern(s) at testdata/Builtins.lc:357:1: swizzvector v w | definedVec v = mapVec (swizzscalar v) w ^^^^^^^^^^^ 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 389:28-389:29 _b ------------ warnings -Uncovered pattern(s) at ./testdata/Prelude.lc:50:1: +Uncovered pattern(s) at testdata/Prelude.lc:50:1: tail (_: xs) = xs ^^^^ Missing case(s): tail [] -Uncovered pattern(s) at ./testdata/Prelude.lc:58:1: +Uncovered pattern(s) at testdata/Prelude.lc:58:1: foldr1 f (x: xs) = foldr f x xs ^^^^^^ Missing case(s): foldr1 _ [] -Uncovered pattern(s) at ./testdata/Prelude.lc:137:1: +Uncovered pattern(s) at testdata/Prelude.lc:137:1: project @a @('RecItem s' a': xs) s @_ (RecordCons ts) | s == s' = fstTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts) 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))) Missing case(s): project _ [] _ _ _ -Uncovered pattern(s) at ./testdata/Prelude.lc:388:10: +Uncovered pattern(s) at testdata/Prelude.lc:388:10: (x : _) !! 0 = x (_ : xs) !! n = xs !! (n-1) 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 @@ -./testdata/accumulate01.reject.lc:3:3: +testdata/accumulate01.reject.lc:3:3: 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 @@ type error: no instance of 'Component on ??? -in ./testdata/adhoc.reject.lc:4:5: +in testdata/adhoc.reject.lc:4:5: x = one :: Vec 4 A ^^^ ------------ trace @@ -8,7 +8,7 @@ A :: A case'A :: forall (a :: A -> Type) -> a 'A -> forall (b :: A) -> a b match'A :: forall (a :: Type -> Type) -> a A -> forall b -> a b -> a b !type error: no instance of 'Component on ??? -in ./testdata/adhoc.reject.lc:4:5: +in testdata/adhoc.reject.lc:4:5: x = one :: Vec 4 A ^^^ ------------ 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 145:28-145:31 Float ------------ warnings -Uncovered pattern(s) at ./testdata/complex.lc:114:1: +Uncovered pattern(s) at testdata/complex.lc:114:1: add @'Normal @'Normal (Complex a b) (Complex c d) = Complex (a + c) (b + d) ^^^ Missing case(s): add Normal Polar _ _ add Polar _ _ _ -Uncovered pattern(s) at ./testdata/complex.lc:129:1: +Uncovered pattern(s) at testdata/complex.lc:129:1: mul @'Normal @'Normal (Complex a b) (Complex c d) = Complex (a*c - b*d) (b*c + a*d) ^^^ 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 6:19-6:23 Bool | Bool | Bool ------------ warnings -Uncovered pattern(s) at ./testdata/concatmap01.lc:5:13: +Uncovered pattern(s) at testdata/concatmap01.lc:5:13: main = case a of ^ 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 12:46-12:48 Type ------------ warnings -Uncovered pattern(s) at ./testdata/data.lc:6:23: +Uncovered pattern(s) at testdata/data.lc:6:23: | Data22 { x :: Int, y::Int } ^ Missing case(s): x (Data21 _) x Data24 -Uncovered pattern(s) at ./testdata/data.lc:6:33: +Uncovered pattern(s) at testdata/data.lc:6:33: | Data22 { x :: Int, y::Int } ^ Missing case(s): y (Data21 _) y (Data23 _) y Data24 -Uncovered pattern(s) at ./testdata/data.lc:10:32: +Uncovered pattern(s) at testdata/data.lc:10:32: data Data5 a5 b5 c5 = Data51 { a5::a5} ^^ Missing case(s): a5 (Data53 _ _ _ _ _) -Uncovered pattern(s) at ./testdata/data.lc:11:40: +Uncovered pattern(s) at testdata/data.lc:11:40: | Data52 { a5::a5, b5::b5, c5::c5 } ^^ Missing case(s): b5 (Data51 _) b5 (Data53 _ _ _ _ _) -Uncovered pattern(s) at ./testdata/data.lc:11:48: +Uncovered pattern(s) at testdata/data.lc:11:48: | Data52 { a5::a5, b5::b5, c5::c5 } ^^ 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 @@ -can't find: a in ./testdata/data.reject.lc:1:20: +can't find: a in testdata/data.reject.lc:1:20: data Data1 = Data1 a b c ^ ------------ trace 'Data1 :: Type -!can't find: a in ./testdata/data.reject.lc:1:20: +!can't find: a in testdata/data.reject.lc:1:20: data Data1 = Data1 a b c ^ ------------ 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 3:29-3:33 Bool | Bool | Bool | Bool | Bool | Bool | Bool ------------ warnings -Uncovered pattern(s) at ./testdata/dotdot01.lc:2:13: +Uncovered pattern(s) at testdata/dotdot01.lc:2:13: main = case [1.0..3.0] of ^^^^^^^^^^ 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 3:16-3:20 Bool ------------ warnings -Uncovered pattern(s) at ./testdata/dotdot02.lc:2:13: +Uncovered pattern(s) at testdata/dotdot02.lc:2:13: main = case [3.0..1.0] of ^^^^^^^^^^ 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 @@ -./testdata/empty.reject.lc:4:1: +testdata/empty.reject.lc:4:1: 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 0 with 1 -in ./testdata/framebuffer02.reject.lc:2:17: +in testdata/framebuffer02.reject.lc:2:17: let frame = FrameBuffer (colorImage1 (V4 0.0 0.0 0.4 1.0) ,ColorImage @2 (V4 1.0 1.0 1.0 1.0) ,colorImage1 1.0 @@ -12,7 +12,7 @@ in ./testdata/framebuffer02.reject.lc:2:17: 0 with 1 -in ./testdata/framebuffer02.reject.lc:2:17: +in testdata/framebuffer02.reject.lc:2:17: let frame = FrameBuffer (colorImage1 (V4 0.0 0.0 0.4 1.0) ,ColorImage @2 (V4 1.0 1.0 1.0 1.0) ,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 3:29-3:33 Bool | Bool | Bool | Bool | Bool | Bool | Bool ------------ warnings -Uncovered pattern(s) at ./testdata/fromto.lc:2:13: +Uncovered pattern(s) at testdata/fromto.lc:2:13: main = case (fromTo 1.0 3.0) of ^^^^^^^^^^^^^^^^ 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 7:53-7:57 Bool ------------ warnings -Uncovered pattern(s) at ./testdata/it.lc:7:25: +Uncovered pattern(s) at testdata/it.lc:7:25: (_:_:_:i:_) -> case primCompareInt i 3 of EQ -> True ^^^^^^^^^^^^^^^^^^ Missing case(s): LT GT -Uncovered pattern(s) at ./testdata/it.lc:6:13: +Uncovered pattern(s) at testdata/it.lc:6:13: main = case from 0 of ^^^^^^ 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 @@ -can't find: a in ./testdata/language-features/adt/adt03.reject.lc:2:20: +can't find: a in testdata/language-features/adt/adt03.reject.lc:2:20: data Data3 = Data3 a b c ^ ------------ trace 'Data3 :: Type -!can't find: a in ./testdata/language-features/adt/adt03.reject.lc:2:20: +!can't find: a in testdata/language-features/adt/adt03.reject.lc:2:20: data Data3 = Data3 a b c ^ ------------ 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 @@ -can't find: a in ./testdata/language-features/adt/adt04.reject.lc:2:27: +can't find: a in testdata/language-features/adt/adt04.reject.lc:2:27: data Data3 = Data3 { x :: a , y :: b , z :: c } ^ ------------ trace 'Data3 :: Type -!can't find: a in ./testdata/language-features/adt/adt04.reject.lc:2:27: +!can't find: a in testdata/language-features/adt/adt04.reject.lc:2:27: data Data3 = Data3 { x :: a , y :: b , z :: c } ^ ------------ 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 @@ -./testdata/language-features/adt/gadt02.reject.lc:2:9: +testdata/language-features/adt/gadt02.reject.lc:2:9: unexpected 'T' -expecting "::", "where", '=', '@', ::, end of input, or lowercase ident \ No newline at end of file +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 @@ -already defined Value at ./testdata/language-features/adt/gadt04.reject.lc:6:3: +already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3: Value :: a -> forall m . M2 a m ^^^^^ -and at ./testdata/language-features/adt/gadt04.reject.lc:3:3: +and at testdata/language-features/adt/gadt04.reject.lc:3:3: Value :: a -> forall m . M a m ^^^^^ ------------ trace @@ -16,10 +16,10 @@ match'M -> (forall b (c :: String) -> a (M b c)) -> forall d -> a d -> a d 'M2 :: Type -> String -> Type Value :: forall a . a -> forall (b :: String) . M2 a b -!already defined Value at ./testdata/language-features/adt/gadt04.reject.lc:6:3: +!already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3: Value :: a -> forall m . M2 a m ^^^^^ -and at ./testdata/language-features/adt/gadt04.reject.lc:3:3: +and at testdata/language-features/adt/gadt04.reject.lc:3:3: Value :: a -> forall m . M a m ^^^^^ ------------ 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 8:17-8:18 _b ------------ warnings -Uncovered pattern(s) at ./testdata/language-features/as-pattern/as-pattern01.lc:1:1: +Uncovered pattern(s) at testdata/language-features/as-pattern/as-pattern01.lc:1:1: f y@(x:xs) = x:y ^ Missing case(s): f _ | [] <- _a -Uncovered pattern(s) at ./testdata/language-features/as-pattern/as-pattern01.lc:3:1: +Uncovered pattern(s) at testdata/language-features/as-pattern/as-pattern01.lc:3:1: g x@3 y = x + y ^ 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 7:36-7:37 _b ------------ warnings -Uncovered pattern(s) at ./testdata/language-features/as-pattern/as-pattern02.lc:3:12: +Uncovered pattern(s) at testdata/language-features/as-pattern/as-pattern02.lc:3:12: f e = case e of ^ 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 @@ multiple pattern vars: x is defined at -./testdata/language-features/as-pattern/as-pattern02.reject.lc:2:3: +testdata/language-features/as-pattern/as-pattern02.reject.lc:2:3: f x@[x:xs] = x:xs ^ -./testdata/language-features/as-pattern/as-pattern02.reject.lc:2:6: +testdata/language-features/as-pattern/as-pattern02.reject.lc:2:6: f x@[x:xs] = x:xs ^ \ 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 @@ -./testdata/language-features/basic-list/list03.reject.lc:2:1: +testdata/language-features/basic-list/list03.reject.lc:2:1: 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 @@ -./testdata/language-features/basic-list/list04.reject.lc:2:1: +testdata/language-features/basic-list/list04.reject.lc:2:1: 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 @@ -./testdata/language-features/basic-list/list05.reject.lc:2:1: +testdata/language-features/basic-list/list05.reject.lc:2:1: 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 @@ -./testdata/language-features/basic-list/list06.reject.lc:1:10: +testdata/language-features/basic-list/list06.reject.lc:1:10: unexpected ',' -expecting expression \ No newline at end of file +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 [Char] with () -in ./testdata/language-features/basic-list/list14.reject.lc:1:17: +in testdata/language-features/basic-list/list14.reject.lc:1:17: value = 'h':'i':() ^^ ------------ trace @@ -10,7 +10,7 @@ value = 'h':'i':() [Char] with () -in ./testdata/language-features/basic-list/list14.reject.lc:1:17: +in testdata/language-features/basic-list/list14.reject.lc:1:17: value = 'h':'i':() ^^ ------------ 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 Char with () -in ./testdata/language-features/basic-list/list15.reject.lc:1:20: +in testdata/language-features/basic-list/list15.reject.lc:1:20: value = 'h':'i':():[] ^^ ------------ trace @@ -10,7 +10,7 @@ value = 'h':'i':():[] Char with () -in ./testdata/language-features/basic-list/list15.reject.lc:1:20: +in testdata/language-features/basic-list/list15.reject.lc:1:20: value = 'h':'i':():[] ^^ ------------ 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 [Char] with Char -in ./testdata/language-features/basic-list/list16.reject.lc:1:13: +in testdata/language-features/basic-list/list16.reject.lc:1:13: value = 'h':'i' ^^^ ------------ trace @@ -10,7 +10,7 @@ value = 'h':'i' [Char] with Char -in ./testdata/language-features/basic-list/list16.reject.lc:1:13: +in testdata/language-features/basic-list/list16.reject.lc:1:13: value = 'h':'i' ^^^ ------------ 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 ^^^^ with String -in ./testdata/language-features/basic-list/listcomp08.reject.lc:1:23: +in testdata/language-features/basic-list/listcomp08.reject.lc:1:23: value = [x | x <- [], "not Bool"] ^^^^^^^^^^ ------------ trace @@ -14,7 +14,7 @@ value = [x | x <- [], "not Bool"] ^^^^ with String -in ./testdata/language-features/basic-list/listcomp08.reject.lc:1:23: +in testdata/language-features/basic-list/listcomp08.reject.lc:1:23: value = [x | x <- [], "not Bool"] ^^^^^^^^^^ ------------ 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 @@ type error: no instance of 'Num on ??? -in ./testdata/language-features/basic-values/case03.reject.lc:1:10: +in testdata/language-features/basic-values/case03.reject.lc:1:10: value1 = case () of 1 -> () _ -> () ------------ trace !type error: no instance of 'Num on ??? -in ./testdata/language-features/basic-values/case03.reject.lc:1:10: +in testdata/language-features/basic-values/case03.reject.lc:1:10: value1 = case () of 1 -> () _ -> () 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 () with Char -in ./testdata/language-features/basic-values/case04.reject.lc:2:8: +in testdata/language-features/basic-values/case04.reject.lc:2:8: 1 -> '1' ^^^ ------------ trace @@ -10,7 +10,7 @@ in ./testdata/language-features/basic-values/case04.reject.lc:2:8: () with Char -in ./testdata/language-features/basic-values/case04.reject.lc:2:8: +in testdata/language-features/basic-values/case04.reject.lc:2:8: 1 -> '1' ^^^ ------------ 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 2:8-2:11 Char ------------ warnings -Uncovered pattern(s) at ./testdata/language-features/basic-values/case05.lc:1:16: +Uncovered pattern(s) at testdata/language-features/basic-values/case05.lc:1:16: value x = case x of ^ 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 @@ -./testdata/language-features/basic-values/data02.reject.lc:1:6: +testdata/language-features/basic-values/data02.reject.lc:1:6: unexpected 'd' -expecting uppercase ident \ No newline at end of file +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 @@ -./testdata/language-features/basic-values/data03.reject.lc:1:10: +testdata/language-features/basic-values/data03.reject.lc:1:10: unexpected 'd' -expecting '(' or uppercase ident \ No newline at end of file +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 @@ multiple pattern vars: x is defined at -./testdata/language-features/basic-values/def02.reject.lc:1:6: +testdata/language-features/basic-values/def02.reject.lc:1:6: fun1 x x = 'c' ^ -./testdata/language-features/basic-values/def02.reject.lc:1:8: +testdata/language-features/basic-values/def02.reject.lc:1:8: fun1 x x = 'c' ^ \ 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 2:9-2:12 Char | Char ------------ warnings -Uncovered pattern(s) at ./testdata/language-features/basic-values/def03.lc:1:1: +Uncovered pattern(s) at testdata/language-features/basic-values/def03.lc:1:1: fun 1 = '1' fun 2 = '2' 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 @@ -./testdata/language-features/basic-values/def05.reject.lc:4:1: +testdata/language-features/basic-values/def05.reject.lc:4:1: different number of arguments of fun: -./testdata/language-features/basic-values/def05.reject.lc:1:1: +testdata/language-features/basic-values/def05.reject.lc:1:1: fun 1 = '1' ^^^ -./testdata/language-features/basic-values/def05.reject.lc:3:1: +testdata/language-features/basic-values/def05.reject.lc:3:1: fun = '_' -^^^ \ No newline at end of file +^^^ 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 @@ -./testdata/language-features/basic-values/def06.reject.lc:5:1: +testdata/language-features/basic-values/def06.reject.lc:5:1: different number of arguments of fun2: -./testdata/language-features/basic-values/def06.reject.lc:1:1: +testdata/language-features/basic-values/def06.reject.lc:1:1: fun2 1 _ = '1' ^^^^ -./testdata/language-features/basic-values/def06.reject.lc:3:1: +testdata/language-features/basic-values/def06.reject.lc:3:1: fun2 _ = '_' -^^^^ \ No newline at end of file +^^^^ 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 @@ -already defined fun at ./testdata/language-features/basic-values/def07.reject.lc:4:1: +already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1: fun _ = '_' ^^^ -and at ./testdata/language-features/basic-values/def07.reject.lc:1:1: +and at testdata/language-features/basic-values/def07.reject.lc:1:1: fun 1 = '1' ^^^ ------------ trace fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char fun2 :: forall a b . (Eq a, Num a) => a -> b -> Char fun :: forall a . a -> Char -!already defined fun at ./testdata/language-features/basic-values/def07.reject.lc:4:1: +!already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1: fun _ = '_' ^^^ -and at ./testdata/language-features/basic-values/def07.reject.lc:1:1: +and at testdata/language-features/basic-values/def07.reject.lc:1:1: fun 1 = '1' ^^^ ------------ tooltips @@ -32,12 +32,12 @@ fun 1 = '1' 4:9-4:12 Char ------------ warnings -Uncovered pattern(s) at ./testdata/language-features/basic-values/def07.reject.lc:1:1: +Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:1:1: fun 1 = '1' fun 2 = '2' Missing case(s): fun _ | False <- fromInt 1 == _a, False <- fromInt 2 == _a -Uncovered pattern(s) at ./testdata/language-features/basic-values/def07.reject.lc:3:1: +Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:3:1: fun2 1 _ = '1' ^^^^ 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 ^^^^ with () -in ./testdata/language-features/basic-values/if03.reject.lc:1:13: +in testdata/language-features/basic-values/if03.reject.lc:1:13: value1 = if () then () else () ^^ ------------ trace @@ -14,7 +14,7 @@ value1 = if () then () else () ^^^^ with () -in ./testdata/language-features/basic-values/if03.reject.lc:1:13: +in testdata/language-features/basic-values/if03.reject.lc:1:13: value1 = if () then () else () ^^ ------------ 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 () with Char -in ./testdata/language-features/basic-values/if04.reject.lc:1:31: +in testdata/language-features/basic-values/if04.reject.lc:1:31: value1 = if True then () else '_' ^^^ ------------ trace @@ -10,7 +10,7 @@ value1 = if True then () else '_' () with Char -in ./testdata/language-features/basic-values/if04.reject.lc:1:31: +in testdata/language-features/basic-values/if04.reject.lc:1:31: value1 = if True then () else '_' ^^^ ------------ 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 @@ -./testdata/language-features/basic-values/indentation03.reject.lc:2:10: +testdata/language-features/basic-values/indentation03.reject.lc:2:10: unexpected '=' 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 @@ -./testdata/language-features/basic-values/indentation04.reject.lc:2:2: +testdata/language-features/basic-values/indentation04.reject.lc:2:2: unexpected 't' 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 @@ -./testdata/language-features/basic-values/infix04.reject.lc:3:14: +testdata/language-features/basic-values/infix04.reject.lc:3:14: unexpected '`' 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 @@ -./testdata/language-features/basic-values/lambda02.reject.lc:1:1: +testdata/language-features/basic-values/lambda02.reject.lc:1:1: unexpected 'f' 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 @@ -already defined #$# at ./testdata/language-features/basic-values/operator02.reject.lc:3:3: +already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3: a #$# b = () ^^^ -and at ./testdata/language-features/basic-values/operator02.reject.lc:1:3: +and at testdata/language-features/basic-values/operator02.reject.lc:1:3: a #$# b = () ^^^ ------------ trace (#$#) :: forall a b . a -> b -> () fun :: forall a . a -> () (#$#) :: forall a b . a -> b -> () -!already defined #$# at ./testdata/language-features/basic-values/operator02.reject.lc:3:3: +!already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3: a #$# b = () ^^^ -and at ./testdata/language-features/basic-values/operator02.reject.lc:1:3: +and at testdata/language-features/basic-values/operator02.reject.lc:1:3: a #$# b = () ^^^ ------------ 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 @@ -./testdata/language-features/basic-values/operator03.reject.lc:1:1: +testdata/language-features/basic-values/operator03.reject.lc:1:1: unexpected 'a' 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 @@ -./testdata/language-features/basic-values/operator04.reject.lc:1:1: +testdata/language-features/basic-values/operator04.reject.lc:1:1: unexpected 'a' 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 @@ Operator precedences don't match: -infix 5 at ./testdata/language-features/basic-values/operator07.reject.lc:11:11: +infix 5 at testdata/language-features/basic-values/operator07.reject.lc:11:11: main = () @&> () <@& () ^^^ -infixl 5 at ./testdata/language-features/basic-values/operator07.reject.lc:11:18: +infixl 5 at testdata/language-features/basic-values/operator07.reject.lc:11:18: main = () @&> () <@& () ^^^ \ 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 @@ Operator precedences don't match: -infix 5 at ./testdata/language-features/basic-values/operator08.reject.lc:10:6: +infix 5 at testdata/language-features/basic-values/operator08.reject.lc:10:6: x = (@&> () <@& ()) ^^^ -infixl 5 at ./testdata/language-features/basic-values/operator08.reject.lc:10:13: +infixl 5 at testdata/language-features/basic-values/operator08.reject.lc:10:13: x = (@&> () <@& ()) ^^^ \ 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 @@ -already defined unit at ./testdata/language-features/basic-values/redefine01.reject.lc:3:1: +already defined unit at testdata/language-features/basic-values/redefine01.reject.lc:3:1: unit = () ^^^^ -and at ./testdata/language-features/basic-values/redefine01.reject.lc:1:1: +and at testdata/language-features/basic-values/redefine01.reject.lc:1:1: unit = () ^^^^ ------------ trace unit :: () tuple :: () unit :: () -!already defined unit at ./testdata/language-features/basic-values/redefine01.reject.lc:3:1: +!already defined unit at testdata/language-features/basic-values/redefine01.reject.lc:3:1: unit = () ^^^^ -and at ./testdata/language-features/basic-values/redefine01.reject.lc:1:1: +and at testdata/language-features/basic-values/redefine01.reject.lc:1:1: unit = () ^^^^ ------------ 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 @@ -./testdata/language-features/basic-values/redefine02.reject.lc:3:8: +testdata/language-features/basic-values/redefine02.reject.lc:3:8: redefined x: -./testdata/language-features/basic-values/redefine02.reject.lc:1:12: +testdata/language-features/basic-values/redefine02.reject.lc:1:12: unit = let x = () ^ -./testdata/language-features/basic-values/redefine02.reject.lc:2:12: +testdata/language-features/basic-values/redefine02.reject.lc:2:12: x = () ^ 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 @@ -./testdata/language-features/basic-values/redefine03.reject.lc:4:1: +testdata/language-features/basic-values/redefine03.reject.lc:4:1: redefined x: -./testdata/language-features/basic-values/redefine03.reject.lc:2:9: +testdata/language-features/basic-values/redefine03.reject.lc:2:9: where x = () ^ -./testdata/language-features/basic-values/redefine03.reject.lc:3:9: +testdata/language-features/basic-values/redefine03.reject.lc:3:9: x = () - ^ \ No newline at end of file + ^ 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 @@ -./testdata/language-features/basic-values/typesig08.reject.lc:1:1: +testdata/language-features/basic-values/typesig08.reject.lc:1:1: unexpected 'v' 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 @@ -./testdata/language-features/basic-values/typesig09.reject.lc:1:1: +testdata/language-features/basic-values/typesig09.reject.lc:1:1: unexpected 'v' 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 @@ -already defined 'MyUnit at ./testdata/language-features/basic-values/typesyn03.reject.lc:2:6: +already defined 'MyUnit at testdata/language-features/basic-values/typesyn03.reject.lc:2:6: type MyUnit = () ^^^^^^ -and at ./testdata/language-features/basic-values/typesyn03.reject.lc:1:6: +and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6: type MyUnit = () ^^^^^^ ------------ trace 'MyUnit :: Type 'MyUnit :: Type -!already defined 'MyUnit at ./testdata/language-features/basic-values/typesyn03.reject.lc:2:6: +!already defined 'MyUnit at testdata/language-features/basic-values/typesyn03.reject.lc:2:6: type MyUnit = () ^^^^^^ -and at ./testdata/language-features/basic-values/typesyn03.reject.lc:1:6: +and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6: type MyUnit = () ^^^^^^ ------------ 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 @@ -already defined 'MyUnit at ./testdata/language-features/basic-values/typesyn04.reject.lc:2:6: +already defined 'MyUnit at testdata/language-features/basic-values/typesyn04.reject.lc:2:6: type MyUnit = () ^^^^^^ -and at ./testdata/language-features/basic-values/typesyn04.reject.lc:1:6: +and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6: type MyUnit = () ^^^^^^ ------------ trace 'MyUnit :: Type 'MyUnit :: Type -!already defined 'MyUnit at ./testdata/language-features/basic-values/typesyn04.reject.lc:2:6: +!already defined 'MyUnit at testdata/language-features/basic-values/typesyn04.reject.lc:2:6: type MyUnit = () ^^^^^^ -and at ./testdata/language-features/basic-values/typesyn04.reject.lc:1:6: +and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6: type MyUnit = () ^^^^^^ ------------ 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 @@ -./testdata/language-features/basic-values/where02.reject.lc:4:5: +testdata/language-features/basic-values/where02.reject.lc:4:5: unexpected '=' 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 @@ -./testdata/language-features/basic-values/where03.reject.lc:4:2: +testdata/language-features/basic-values/where03.reject.lc:4:2: unexpected 'y' 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 @@ -./testdata/language-features/basic-values/where06.reject.lc:7:1: +testdata/language-features/basic-values/where06.reject.lc:7:1: redefined x: -./testdata/language-features/basic-values/where06.reject.lc:3:1: +testdata/language-features/basic-values/where06.reject.lc:3:1: x = y where ^ -./testdata/language-features/basic-values/where06.reject.lc:5:1: +testdata/language-features/basic-values/where06.reject.lc:5:1: x = 'c' -^ \ No newline at end of file +^ 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 @@ -./testdata/language-features/comment/comment05.reject.lc:4:1: +testdata/language-features/comment/comment05.reject.lc:4:1: unexpected '-' -expecting "class", "data", "infix", "infixl", "infixr", "instance", "type", end of input, lhs, operator definition, pattern, or typed ident \ No newline at end of file +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 String with () -in ./testdata/language-features/guard/guard02.reject.lc:2:12: +in testdata/language-features/guard/guard02.reject.lc:2:12: | True = () ^^ ------------ trace @@ -10,7 +10,7 @@ in ./testdata/language-features/guard/guard02.reject.lc:2:12: String with () -in ./testdata/language-features/guard/guard02.reject.lc:2:12: +in testdata/language-features/guard/guard02.reject.lc:2:12: | True = () ^^ ------------ 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 ^^^^ with () -in ./testdata/language-features/guard/guard05.reject.lc:1:9: +in testdata/language-features/guard/guard05.reject.lc:1:9: value | () = "wrong" ^^ ------------ trace @@ -14,7 +14,7 @@ value | () = "wrong" ^^^^ with () -in ./testdata/language-features/guard/guard05.reject.lc:1:9: +in testdata/language-features/guard/guard05.reject.lc:1:9: value | () = "wrong" ^^ ------------ 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 @@ -./testdata/language-features/guard/guard10.reject.lc:2:1: +testdata/language-features/guard/guard10.reject.lc:2:1: unexpected '|' 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 Char with () -in ./testdata/language-features/guard/guard12.reject.lc:1:13: +in testdata/language-features/guard/guard12.reject.lc:1:13: fun x | x = () | otherwise = 'a' ^^ ------------ trace @@ -10,7 +10,7 @@ fun x | x = () | otherwise = 'a' Char with () -in ./testdata/language-features/guard/guard12.reject.lc:1:13: +in testdata/language-features/guard/guard12.reject.lc:1:13: fun x | x = () | otherwise = 'a' ^^ ------------ 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 @@ -./testdata/language-features/module/Moduledef02.reject.lc:2:1: +testdata/language-features/module/Moduledef02.reject.lc:2:1: unexpected end of input -expecting "where" or '(' \ No newline at end of file +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 @@ -./testdata/language-features/module/Moduledef03.reject.lc:1:8: +testdata/language-features/module/Moduledef03.reject.lc:1:8: unexpected 'm' -expecting module name \ No newline at end of file +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 @@ -./testdata/language-features/module/Moduledef04.reject.lc:1:8: +testdata/language-features/module/Moduledef04.reject.lc:1:8: unexpected 'm' -expecting module name \ No newline at end of file +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 @@ -./testdata/language-features/module/Moduledef05.reject.lc:3:1: +testdata/language-features/module/Moduledef05.reject.lc:3:1: unexpected "hello" 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 @@ -./testdata/language-features/module/Moduledef11.reject.lc:1:8: +testdata/language-features/module/Moduledef11.reject.lc:1:8: unexpected '1' -expecting module name \ No newline at end of file +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 @@ -./testdata/language-features/module/Moduledef12.reject.lc:1:8: +testdata/language-features/module/Moduledef12.reject.lc:1:8: unexpected '&' -expecting module name \ No newline at end of file +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 @@ -can't find: hello2 in ./testdata/language-features/module/import02.reject.lc:4:5: +can't find: hello2 in testdata/language-features/module/import02.reject.lc:4:5: x = hello2 ^^^^^^ ------------ trace -!can't find: hello2 in ./testdata/language-features/module/import02.reject.lc:4:5: +!can't find: hello2 in testdata/language-features/module/import02.reject.lc:4:5: x = hello2 ^^^^^^ \ 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 @@ -can't find: world in ./testdata/language-features/module/import03.reject.lc:3:5: +can't find: world in testdata/language-features/module/import03.reject.lc:3:5: x = world ^^^^^ ------------ trace -!can't find: world in ./testdata/language-features/module/import03.reject.lc:3:5: +!can't find: world in testdata/language-features/module/import03.reject.lc:3:5: x = world ^^^^^ \ 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 @@ -already defined hello at ./testdata/language-features/module/import04.reject.lc:4:1: +already defined hello at testdata/language-features/module/import04.reject.lc:4:1: hello = "hello" ^^^^^ -and at ./testdata/language-features/module/Hello01.lc:3:1: +and at testdata/language-features/module/Hello01.lc:3:1: hello = "hello" ^^^^^ ------------ trace hello :: String -!already defined hello at ./testdata/language-features/module/import04.reject.lc:4:1: +!already defined hello at testdata/language-features/module/import04.reject.lc:4:1: hello = "hello" ^^^^^ -and at ./testdata/language-features/module/Hello01.lc:3:1: +and at testdata/language-features/module/Hello01.lc:3:1: hello = "hello" ^^^^^ ------------ 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 @@ -already defined 'MyUnit at ./testdata/language-features/module/import10.reject.lc:3:6: +already defined 'MyUnit at testdata/language-features/module/import10.reject.lc:3:6: type MyUnit = () ^^^^^^ -and at ./testdata/language-features/module/TypeSyn01Mod.lc:2:6: +and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: type MyUnit = () ^^^^^^ ------------ trace 'MyUnit :: Type -!already defined 'MyUnit at ./testdata/language-features/module/import10.reject.lc:3:6: +!already defined 'MyUnit at testdata/language-features/module/import10.reject.lc:3:6: type MyUnit = () ^^^^^^ -and at ./testdata/language-features/module/TypeSyn01Mod.lc:2:6: +and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: type MyUnit = () ^^^^^^ ------------ 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 @@ -already defined 'MyUnit at ./testdata/language-features/module/import11.reject.lc:3:6: +already defined 'MyUnit at testdata/language-features/module/import11.reject.lc:3:6: type MyUnit = () ^^^^^^ -and at ./testdata/language-features/module/TypeSyn01Mod.lc:2:6: +and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: type MyUnit = () ^^^^^^ ------------ trace 'MyUnit :: Type -!already defined 'MyUnit at ./testdata/language-features/module/import11.reject.lc:3:6: +!already defined 'MyUnit at testdata/language-features/module/import11.reject.lc:3:6: type MyUnit = () ^^^^^^ -and at ./testdata/language-features/module/TypeSyn01Mod.lc:2:6: +and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: type MyUnit = () ^^^^^^ ------------ 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 10:11-10:14 Char ------------ warnings -Source code is not reachable: ./testdata/language-features/pattern/pattern01.lc:11:10: +Source code is not reachable: testdata/language-features/pattern/pattern01.lc:11:10: fun4 _ = '_' ^^^ \ 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 @@ -Constructor X is not defined at ./testdata/language-features/pattern/pattern02.reject.lc:4:3: +Constructor X is not defined at testdata/language-features/pattern/pattern02.reject.lc:4:3: f X = 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 5:52-5:56 Bool ------------ warnings -Uncovered pattern(s) at ./testdata/language-features/pattern/patternGuard.lc:4:13: +Uncovered pattern(s) at testdata/language-features/pattern/patternGuard.lc:4:13: main = case True of ^^^^ 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 8:23-8:27 Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool ------------ warnings -Uncovered pattern(s) at ./testdata/language-features/pattern/uncovered.lc:2:1: +Uncovered pattern(s) at testdata/language-features/pattern/uncovered.lc:2:1: f _ True False = 0 f False _ True = 1 f True False _ = 2 Missing case(s): f False False False f True True True -Uncovered pattern(s) at ./testdata/language-features/pattern/uncovered.lc:6:1: +Uncovered pattern(s) at testdata/language-features/pattern/uncovered.lc:6:1: g [True, False, True] = False ^ Missing case(s): @@ -212,7 +212,7 @@ Missing case(s): g (True : False : False : _) g (True : False : True : _ : _) g (True : True : _) -Uncovered pattern(s) at ./testdata/language-features/pattern/uncovered.lc:8:1: +Uncovered pattern(s) at testdata/language-features/pattern/uncovered.lc:8:1: h [[True], [False]] = True ^ 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" 4:7-4:14 String ------------ warnings -Source code is not reachable: ./testdata/language-features/pattern/unreachable.lc:5:7: +Source code is not reachable: testdata/language-features/pattern/unreachable.lc:5:7: f _ = "world" ^^^^^^^ \ 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 7:21-7:25 Bool ------------ warnings -Uncovered pattern(s) at ./testdata/language-features/pattern/viewPattern.lc:6:13: +Uncovered pattern(s) at testdata/language-features/pattern/viewPattern.lc:6:13: main = case True of ^^^^ 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 @@ -./testdata/language-features/pragma/pragma05.reject.lc:1:20: -language extension expected instead of ABCDEF \ No newline at end of file +testdata/language-features/pragma/pragma05.reject.lc:1:20: +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 @@ -./testdata/language-features/pragma/pragma06.reject.lc:1:18: -language extension expected instead of abcd \ No newline at end of file +testdata/language-features/pragma/pragma06.reject.lc:1:18: +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) 12:30-12:34 Bool | Bool | Bool | Bool | Bool | Bool ------------ warnings -Uncovered pattern(s) at ./testdata/language-features/recursion/mutualConst.lc:11:13: +Uncovered pattern(s) at testdata/language-features/recursion/mutualConst.lc:11:13: main = case x of ^ 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) 8:30-8:34 Bool | Bool | Bool | Bool | Bool | Bool ------------ warnings -Uncovered pattern(s) at ./testdata/language-features/recursion/mutualRec.lc:7:13: +Uncovered pattern(s) at testdata/language-features/recursion/mutualRec.lc:7:13: main = case x of ^ 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 6:25-6:29 Bool | Bool | Bool | Bool | Bool | Bool | Bool ------------ warnings -Uncovered pattern(s) at ./testdata/listcompr01.lc:5:13: +Uncovered pattern(s) at testdata/listcompr01.lc:5:13: main = case a of ^ 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 @@ -./testdata/listcompr01.reject.lc:6:42: +testdata/listcompr01.reject.lc:6:42: unexpected ',' 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 6:55-6:59 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 ------------ warnings -Uncovered pattern(s) at ./testdata/listcompr02.lc:5:13: +Uncovered pattern(s) at testdata/listcompr02.lc:5:13: main = case a of ^ 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 6:55-6:59 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 ------------ warnings -Uncovered pattern(s) at ./testdata/listcompr03.lc:5:13: +Uncovered pattern(s) at testdata/listcompr03.lc:5:13: main = case a of ^ 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 6:24-6:28 Bool | Bool | Bool | Bool | Bool ------------ warnings -Uncovered pattern(s) at ./testdata/listcompr04.lc:5:13: +Uncovered pattern(s) at testdata/listcompr04.lc:5:13: main = case a of ^ 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 10:23-10:27 Bool | Bool | Bool | Bool | Bool ------------ warnings -Uncovered pattern(s) at ./testdata/listcompr05.lc:9:13: +Uncovered pattern(s) at testdata/listcompr05.lc:9:13: main = case a of ^ 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) 30:15-30:17 _b ------------ warnings -Uncovered pattern(s) at ./testdata/loopIssue.lc:26:8: +Uncovered pattern(s) at testdata/loopIssue.lc:26:8: (x: _) !! 0 = x (_ : xs) !! n = xs !! (n-1) 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 @@ -Constructor FrameBuffer is not defined at ./testdata/nameclash01.reject.lc:2:9: +Constructor FrameBuffer is not defined at testdata/nameclash01.reject.lc:2:9: let FrameBuffer = FrameBuffer (colorImage1 1.0) ^^^^^^^^^^^ \ 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 53:18-53:22 _b ------------ warnings -Uncovered pattern(s) at ./testdata/primes.lc:50:8: +Uncovered pattern(s) at testdata/primes.lc:50:8: (x: _) !! 0 = x (_ : xs) !! n = xs !! (n-1) 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 FrameBuffer _b _a with Float -in ./testdata/record01.reject.lc:26:15: +in testdata/record01.reject.lc:26:15: in ScreenOut record.fieldA ^^^^^^ ------------ trace @@ -10,7 +10,7 @@ in ./testdata/record01.reject.lc:26:15: FrameBuffer _b _a with Float -in ./testdata/record01.reject.lc:26:15: +in testdata/record01.reject.lc:26:15: in ScreenOut record.fieldA ^^^^^^ ------------ 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 @@ -can't find: frame' in ./testdata/scope01.reject.lc:3:8: +can't find: frame' in testdata/scope01.reject.lc:3:8: in frame' ^^^^^^ ------------ trace -!can't find: frame' in ./testdata/scope01.reject.lc:3:8: +!can't find: frame' in testdata/scope01.reject.lc:3:8: in frame' ^^^^^^ ------------ 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 8:23-8:27 Bool | Bool | Bool | Bool ------------ warnings -Uncovered pattern(s) at ./testdata/swizzling.lc:7:13: +Uncovered pattern(s) at testdata/swizzling.lc:7:13: main = case v%xxy of ^^^^^ 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 @@ -./testdata/syntax01.reject.lc:3:1: +testdata/syntax01.reject.lc:3:1: 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 3:12-3:16 Bool ------------ warnings -Uncovered pattern(s) at ./testdata/typeclass0.lc:2:13: +Uncovered pattern(s) at testdata/typeclass0.lc:2:13: main = case 1 of ^ 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 @@ -can't find: x in ./testdata/typesig.reject.lc:6:6: +can't find: x in testdata/typesig.reject.lc:6:6: x :: x ^ ------------ trace @@ -6,7 +6,7 @@ x :: x X :: X case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b -!can't find: x in ./testdata/typesig.reject.lc:6:6: +!can't find: x in testdata/typesig.reject.lc:6:6: x :: x ^ ------------ tooltips -- cgit v1.2.3