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/ambig.out | |
| parent | e2f4415e606cd7c1c2b6ca986c68f6f956bf1a6e (diff) | |
put trace info in .out files
Diffstat (limited to 'testdata/ambig.out')
| -rw-r--r-- | testdata/ambig.out | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/testdata/ambig.out b/testdata/ambig.out index e64a9bd7..f0593a3b 100644 --- a/testdata/ambig.out +++ b/testdata/ambig.out | |||
| @@ -1,4 +1,10 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ trace | ||
| 3 | 'Tuple2 :: [32mType -> Type->Type[39m[K | ||
| 4 | Tuple2 :: [32m{a} -> {b} -> a -> b -> 'Tuple2 a b[39m[K | ||
| 5 | 'Tuple2Case :: [32m{a} -> {b} -> (d : 'Tuple2 a b -> Type) -> (e:a -> f:b -> d (Tuple2 e f)) -> (h : 'Tuple2 a b) -> d h[39m[K | ||
| 6 | match'Tuple2 :: [32m(b : Type->Type) -> (c:Type -> d:Type -> b ('Tuple2 c d)) -> f:Type -> b f -> b f[39m[K | ||
| 7 | h :: [32m{a} -> {b} -> {c} -> {d} -> (b -> c->d) -> 'Tuple2 b c -> a->d[39m[K | ||
| 2 | ------------ tooltips | 8 | ------------ tooltips |
| 3 | testdata/ambig.lc 3:6-3:12 Type | Type -> Type->Type | 9 | testdata/ambig.lc 3:6-3:12 Type | Type -> Type->Type |
| 4 | testdata/ambig.lc 3:6-3:25 Type | 10 | testdata/ambig.lc 3:6-3:25 Type |