diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-29 12:52:37 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-29 12:52:37 +0200 |
| commit | e57768c37bc8cbc85b58bf47a71562d0d782c698 (patch) | |
| tree | 471ede50cbdc347faab61667e19c2e3350f4c200 /testdata/language-features/basic-list/list10.reject.out | |
| parent | 58a479b781935155e09f565d2488693850bf21c6 (diff) | |
use Doc instead of String is several places
Diffstat (limited to 'testdata/language-features/basic-list/list10.reject.out')
| -rw-r--r-- | testdata/language-features/basic-list/list10.reject.out | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/testdata/language-features/basic-list/list10.reject.out b/testdata/language-features/basic-list/list10.reject.out index 0855f067..186dc9c6 100644 --- a/testdata/language-features/basic-list/list10.reject.out +++ b/testdata/language-features/basic-list/list10.reject.out | |||
| @@ -4,7 +4,6 @@ with | |||
| 4 | [32m'Float[0m | 4 | [32m'Float[0m |
| 5 | 5 | ||
| 6 | in builtin Nil | 6 | in builtin Nil |
| 7 | |||
| 8 | ------------ trace | 7 | ------------ trace |
| 9 | !type error: can not unify | 8 | !type error: can not unify |
| 10 | [32m'Int[0m | 9 | [32m'Int[0m |
| @@ -12,7 +11,6 @@ with | |||
| 12 | [32m'Float[0m | 11 | [32m'Float[0m |
| 13 | 12 | ||
| 14 | in builtin Nil | 13 | in builtin Nil |
| 15 | |||
| 16 | ------------ tooltips | 14 | ------------ tooltips |
| 17 | testdata/language-features/basic-list/list10.reject.lc 1:10-1:11 _b | 15 | testdata/language-features/basic-list/list10.reject.lc 1:10-1:11 _b |
| 18 | testdata/language-features/basic-list/list10.reject.lc 1:12-1:15 Float | 16 | testdata/language-features/basic-list/list10.reject.lc 1:12-1:15 Float |