diff options
Diffstat (limited to 'testdata/language-features/adt/adt02.reject.out')
-rw-r--r-- | testdata/language-features/adt/adt02.reject.out | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testdata/language-features/adt/adt02.reject.out b/testdata/language-features/adt/adt02.reject.out index e07abac2..80b3a964 100644 --- a/testdata/language-features/adt/adt02.reject.out +++ b/testdata/language-features/adt/adt02.reject.out | |||
@@ -1,9 +1,9 @@ | |||
1 | type error: can not unify | 1 | type error: can not unify |
2 | <<installed-prelude-path>>/Internals.lc:63:6: | 2 | /home/csaba/haskell/lambdacube-compiler/.stack-work/install/x86_64-linux/lts-10.4/8.2.2/share/x86_64-linux-ghc-8.2.2/lambdacube-compiler-0.6.1.0/lc/Internals.lc:63:6: |
3 | data Bool = False | True | 3 | data Bool = False | True |
4 | ^^^^ | 4 | ^^^^ |
5 | with | 5 | with |
6 | <<installed-prelude-path>>/Internals.lc:58:6: | 6 | /home/csaba/haskell/lambdacube-compiler/.stack-work/install/x86_64-linux/lts-10.4/8.2.2/share/x86_64-linux-ghc-8.2.2/lambdacube-compiler-0.6.1.0/lc/Internals.lc:58:6: |
7 | data Int | 7 | data Int |
8 | ^^^ | 8 | ^^^ |
9 | in proj | 9 | in proj |
@@ -18,11 +18,11 @@ case'Data3 | |||
18 | -> forall (h :: Data3) -> a h | 18 | -> forall (h :: Data3) -> a h |
19 | match'Data3 :: forall (a :: Type -> Type) -> a Data3 -> forall b -> a b -> a b | 19 | match'Data3 :: forall (a :: Type -> Type) -> a Data3 -> forall b -> a b -> a b |
20 | !type error: can not unify | 20 | !type error: can not unify |
21 | <<installed-prelude-path>>/Internals.lc:63:6: | 21 | /home/csaba/haskell/lambdacube-compiler/.stack-work/install/x86_64-linux/lts-10.4/8.2.2/share/x86_64-linux-ghc-8.2.2/lambdacube-compiler-0.6.1.0/lc/Internals.lc:63:6: |
22 | data Bool = False | True | 22 | data Bool = False | True |
23 | ^^^^ | 23 | ^^^^ |
24 | with | 24 | with |
25 | <<installed-prelude-path>>/Internals.lc:58:6: | 25 | /home/csaba/haskell/lambdacube-compiler/.stack-work/install/x86_64-linux/lts-10.4/8.2.2/share/x86_64-linux-ghc-8.2.2/lambdacube-compiler-0.6.1.0/lc/Internals.lc:58:6: |
26 | data Int | 26 | data Int |
27 | ^^^ | 27 | ^^^ |
28 | in proj | 28 | in proj |