diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-12 23:55:35 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-12 23:55:35 +0200 |
| commit | 7310e4916b8ee7d96db0e64e75ab98499a826674 (patch) | |
| tree | fbcb77a6383a15598a924714abcf97c71b73e1ac /testdata/language-features/guard/guard05.reject.out | |
| parent | 67304cc71d2f0efa76b2b2a46575230a5102c6a0 (diff) | |
don't show module path
Diffstat (limited to 'testdata/language-features/guard/guard05.reject.out')
| -rw-r--r-- | testdata/language-features/guard/guard05.reject.out | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testdata/language-features/guard/guard05.reject.out b/testdata/language-features/guard/guard05.reject.out index c9e74395..4bd522c3 100644 --- a/testdata/language-features/guard/guard05.reject.out +++ b/testdata/language-features/guard/guard05.reject.out | |||
| @@ -1,24 +1,24 @@ | |||
| 1 | type error: can not unify | 1 | type error: can not unify |
| 2 | /home/divip/.cabal/share/x86_64-linux-ghc-7.10.3/lambdacube-compiler-0.6.0.0/lc/Internals.lc:63:6: | 2 | 'Internals.lc:63:6: |
| 3 | data Bool = False | True | 3 | data Bool = False | True |
| 4 | ^^^^ | 4 | ^^^^ |
| 5 | with | 5 | with |
| 6 | () | 6 | () |
| 7 | in testdata/language-features/guard/guard05.reject.lc:1:9: | 7 | in guard05.reject.lc:1:9: |
| 8 | value | () = "wrong" | 8 | value | () = "wrong" |
| 9 | ^^ | 9 | ^^ |
| 10 | ------------ trace | 10 | ------------ trace |
| 11 | !type error: can not unify | 11 | !type error: can not unify |
| 12 | /home/divip/.cabal/share/x86_64-linux-ghc-7.10.3/lambdacube-compiler-0.6.0.0/lc/Internals.lc:63:6: | 12 | 'Internals.lc:63:6: |
| 13 | data Bool = False | True | 13 | data Bool = False | True |
| 14 | ^^^^ | 14 | ^^^^ |
| 15 | with | 15 | with |
| 16 | () | 16 | () |
| 17 | in testdata/language-features/guard/guard05.reject.lc:1:9: | 17 | in guard05.reject.lc:1:9: |
| 18 | value | () = "wrong" | 18 | value | () = "wrong" |
| 19 | ^^ | 19 | ^^ |
| 20 | ------------ tooltips | 20 | ------------ tooltips |
| 21 | testdata/language-features/guard/guard05.reject.lc 1:9-1:11 | 21 | guard05.reject.lc 1:9-1:11 |
| 22 | () | 22 | () |
| 23 | testdata/language-features/guard/guard05.reject.lc 1:14-1:21 | 23 | guard05.reject.lc 1:14-1:21 |
| 24 | String \ No newline at end of file | 24 | String \ No newline at end of file |