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