diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-05 17:55:01 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-05 17:55:01 +0200 |
commit | 9e232c77ee6d0948f7dd5727d3ec568bbedf4316 (patch) | |
tree | d9f64543cf48a964fd29e95b87b824f9b5c2a877 /testdata/language-features/guard/guard02.reject.out | |
parent | f24ab8bd8d5cb60a7a75e52655b567f916f73a53 (diff) |
improve pretty printing & try to fix local function handling
Diffstat (limited to 'testdata/language-features/guard/guard02.reject.out')
-rw-r--r-- | testdata/language-features/guard/guard02.reject.out | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/testdata/language-features/guard/guard02.reject.out b/testdata/language-features/guard/guard02.reject.out index 262f63a1..2b32bd9f 100644 --- a/testdata/language-features/guard/guard02.reject.out +++ b/testdata/language-features/guard/guard02.reject.out | |||
@@ -1,17 +1,15 @@ | |||
1 | type error: can not unify | 1 | type error: can not unify |
2 | 'String | 2 | String |
3 | with | 3 | with |
4 | () | 4 | () |
5 | |||
6 | in testdata/language-features/guard/guard02.reject.lc:2:12: | 5 | in testdata/language-features/guard/guard02.reject.lc:2:12: |
7 | | True = () | 6 | | True = () |
8 | ^^ | 7 | ^^ |
9 | ------------ trace | 8 | ------------ trace |
10 | !type error: can not unify | 9 | !type error: can not unify |
11 | 'String | 10 | String |
12 | with | 11 | with |
13 | () | 12 | () |
14 | |||
15 | in testdata/language-features/guard/guard02.reject.lc:2:12: | 13 | in testdata/language-features/guard/guard02.reject.lc:2:12: |
16 | | True = () | 14 | | True = () |
17 | ^^ | 15 | ^^ |