diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-02-15 15:58:16 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-15 16:13:39 +0100 |
commit | 3db0b64a6f3e28ae6cc351e6c84290d4db905fa7 (patch) | |
tree | 91cfd4aa41e5c827d03956458aba8858a1ef245d /testdata/typeclass.out | |
parent | e2f4415e606cd7c1c2b6ca986c68f6f956bf1a6e (diff) |
put trace info in .out files
Diffstat (limited to 'testdata/typeclass.out')
-rw-r--r-- | testdata/typeclass.out | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testdata/typeclass.out b/testdata/typeclass.out index 7f040fee..5f036c40 100644 --- a/testdata/typeclass.out +++ b/testdata/typeclass.out | |||
@@ -1,4 +1,11 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | ||
3 | not :: [32m'Bool->'Bool[39m[K | ||
4 | && :: [32m'Bool -> 'Bool->'Bool[39m[K | ||
5 | || :: [32m'Bool -> 'Bool->'Bool[39m[K | ||
6 | 'Eq :: [32mType->Type[39m[K | ||
7 | == :: [32m{a} -> {b : 'Eq a} -> a -> a->'Bool[39m[K | ||
8 | /= :: [32m{a} -> {b : 'Eq a} -> a -> a->'Bool[39m[K | ||
2 | ------------ tooltips | 9 | ------------ tooltips |
3 | testdata/typeclass.lc 8:1-8:4 Bool->Bool | 10 | testdata/typeclass.lc 8:1-8:4 Bool->Bool |
4 | testdata/typeclass.lc 8:5-8:9 V1 | 11 | testdata/typeclass.lc 8:5-8:9 V1 |