diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 02:01:29 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 02:01:29 +0200 |
| commit | 7e9105793bd0d5ff7197a5860ac5339dea677e0e (patch) | |
| tree | fa003b495b78a8b5cb5e6505c72a32bc6e80e1b3 /testdata/typeclass.out | |
| parent | a23ba9fced413f1b63640ba9bd81686a7eb59ee1 (diff) | |
switch to ansi-wl-pprint
Diffstat (limited to 'testdata/typeclass.out')
| -rw-r--r-- | testdata/typeclass.out | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testdata/typeclass.out b/testdata/typeclass.out index 36725be0..e0da48d1 100644 --- a/testdata/typeclass.out +++ b/testdata/typeclass.out | |||
| @@ -1,11 +1,11 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ trace | 2 | ------------ trace |
| 3 | not :: [32m'Bool->'Bool[39m[K | 3 | not :: [32m'Bool->'Bool[0m |
| 4 | && :: [32m'Bool -> 'Bool->'Bool[39m[K | 4 | && :: [32m'Bool -> 'Bool->'Bool[0m |
| 5 | || :: [32m'Bool -> 'Bool->'Bool[39m[K | 5 | || :: [32m'Bool -> 'Bool->'Bool[0m |
| 6 | 'Eq :: [32mType->Type[39m[K | 6 | 'Eq :: [32mType->Type[0m |
| 7 | == :: [32m{a} -> {_ : 'Eq a} -> a -> a->'Bool[39m[K | 7 | == :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m -> [32ma[0;32m->'Bool[0m |
| 8 | /= :: [32m{a} -> {_ : 'Eq a} -> a -> a->'Bool[39m[K | 8 | /= :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m -> [32ma[0;32m->'Bool[0m |
| 9 | ------------ tooltips | 9 | ------------ tooltips |
| 10 | testdata/typeclass.lc 8:1-8:4 Bool->Bool | 10 | testdata/typeclass.lc 8:1-8:4 Bool->Bool |
| 11 | testdata/typeclass.lc 8:12-8:17 Bool | 11 | testdata/typeclass.lc 8:12-8:17 Bool |