diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-04 11:01:16 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-04 11:01:16 +0200 |
| commit | 51b37f58afba2c9aaf80bb49267aa7b74f757d52 (patch) | |
| tree | f6f3cf5c3f079dc8559fefd470effba7b3e0933a /testdata/language-features/basic-values | |
| parent | 4fd500adc5a8eee72caca044bac5fd11ef10c6b5 (diff) | |
improve pretty print
Diffstat (limited to 'testdata/language-features/basic-values')
3 files changed, 12 insertions, 12 deletions
diff --git a/testdata/language-features/basic-values/case04.reject.out b/testdata/language-features/basic-values/case04.reject.out index 00cb4f39..55011f4d 100644 --- a/testdata/language-features/basic-values/case04.reject.out +++ b/testdata/language-features/basic-values/case04.reject.out | |||
| @@ -1,16 +1,16 @@ | |||
| 1 | type error: can not unify | 1 | type error: can not unify |
| 2 | [32m()[0m | 2 | () |
| 3 | with | 3 | with |
| 4 | [32m'Char[0m | 4 | 'Char |
| 5 | 5 | ||
| 6 | in testdata/language-features/basic-values/case04.reject.lc:2:8: | 6 | in testdata/language-features/basic-values/case04.reject.lc:2:8: |
| 7 | 1 -> '1' | 7 | 1 -> '1' |
| 8 | ^^^ | 8 | ^^^ |
| 9 | ------------ trace | 9 | ------------ trace |
| 10 | !type error: can not unify | 10 | !type error: can not unify |
| 11 | [32m()[0m | 11 | () |
| 12 | with | 12 | with |
| 13 | [32m'Char[0m | 13 | 'Char |
| 14 | 14 | ||
| 15 | in testdata/language-features/basic-values/case04.reject.lc:2:8: | 15 | in testdata/language-features/basic-values/case04.reject.lc:2:8: |
| 16 | 1 -> '1' | 16 | 1 -> '1' |
diff --git a/testdata/language-features/basic-values/if03.reject.out b/testdata/language-features/basic-values/if03.reject.out index 9ba86d9c..d72492c4 100644 --- a/testdata/language-features/basic-values/if03.reject.out +++ b/testdata/language-features/basic-values/if03.reject.out | |||
| @@ -1,16 +1,16 @@ | |||
| 1 | type error: can not unify | 1 | type error: can not unify |
| 2 | [32m'Bool[0m | 2 | 'Bool |
| 3 | with | 3 | with |
| 4 | [32m()[0m | 4 | () |
| 5 | 5 | ||
| 6 | in testdata/language-features/basic-values/if03.reject.lc:1:13: | 6 | in testdata/language-features/basic-values/if03.reject.lc:1:13: |
| 7 | value1 = if () then () else () | 7 | value1 = if () then () else () |
| 8 | ^^ | 8 | ^^ |
| 9 | ------------ trace | 9 | ------------ trace |
| 10 | !type error: can not unify | 10 | !type error: can not unify |
| 11 | [32m'Bool[0m | 11 | 'Bool |
| 12 | with | 12 | with |
| 13 | [32m()[0m | 13 | () |
| 14 | 14 | ||
| 15 | in testdata/language-features/basic-values/if03.reject.lc:1:13: | 15 | in testdata/language-features/basic-values/if03.reject.lc:1:13: |
| 16 | value1 = if () then () else () | 16 | value1 = if () then () else () |
diff --git a/testdata/language-features/basic-values/if04.reject.out b/testdata/language-features/basic-values/if04.reject.out index c0df8c35..795be098 100644 --- a/testdata/language-features/basic-values/if04.reject.out +++ b/testdata/language-features/basic-values/if04.reject.out | |||
| @@ -1,16 +1,16 @@ | |||
| 1 | type error: can not unify | 1 | type error: can not unify |
| 2 | [32m()[0m | 2 | () |
| 3 | with | 3 | with |
| 4 | [32m'Char[0m | 4 | 'Char |
| 5 | 5 | ||
| 6 | in testdata/language-features/basic-values/if04.reject.lc:1:31: | 6 | in testdata/language-features/basic-values/if04.reject.lc:1:31: |
| 7 | value1 = if True then () else '_' | 7 | value1 = if True then () else '_' |
| 8 | ^^^ | 8 | ^^^ |
| 9 | ------------ trace | 9 | ------------ trace |
| 10 | !type error: can not unify | 10 | !type error: can not unify |
| 11 | [32m()[0m | 11 | () |
| 12 | with | 12 | with |
| 13 | [32m'Char[0m | 13 | 'Char |
| 14 | 14 | ||
| 15 | in testdata/language-features/basic-values/if04.reject.lc:1:31: | 15 | in testdata/language-features/basic-values/if04.reject.lc:1:31: |
| 16 | value1 = if True then () else '_' | 16 | value1 = if True then () else '_' |