diff options
Diffstat (limited to 'testdata/language-features/basic-list/listcomp08.reject.out')
-rw-r--r-- | testdata/language-features/basic-list/listcomp08.reject.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/language-features/basic-list/listcomp08.reject.out b/testdata/language-features/basic-list/listcomp08.reject.out index 1c4a3006..da3892e6 100644 --- a/testdata/language-features/basic-list/listcomp08.reject.out +++ b/testdata/language-features/basic-list/listcomp08.reject.out | |||
@@ -1,5 +1,5 @@ | |||
1 | type error: can not unify | 1 | type error: can not unify |
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: | 2 | <<installed-prelude-path>>/Internals.lc:63:6: |
3 | data Bool = False | True | 3 | data Bool = False | True |
4 | ^^^^ | 4 | ^^^^ |
5 | with | 5 | with |
@@ -9,7 +9,7 @@ value = [x | x <- [], "not Bool"] | |||
9 | ^^^^^^^^^^ | 9 | ^^^^^^^^^^ |
10 | ------------ trace | 10 | ------------ trace |
11 | !type error: can not unify | 11 | !type error: can not unify |
12 | /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: | 12 | <<installed-prelude-path>>/Internals.lc:63:6: |
13 | data Bool = False | True | 13 | data Bool = False | True |
14 | ^^^^ | 14 | ^^^^ |
15 | with | 15 | with |