diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-18 08:22:37 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-18 08:22:37 +0200 |
| commit | ac32ca07893fdf3439cd81f91d9035e09ce76ee5 (patch) | |
| tree | 9b5e7357b7b4fa528c803cef68837a02e3e2e9c6 /testdata/zip01.out | |
| parent | b03980fcbff57e6ac8c5d8e16e032ba050471ce5 (diff) | |
bugfix: show missing types in tooltips
Diffstat (limited to 'testdata/zip01.out')
| -rw-r--r-- | testdata/zip01.out | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testdata/zip01.out b/testdata/zip01.out index 3f3699cf..7ceab8e3 100644 --- a/testdata/zip01.out +++ b/testdata/zip01.out | |||
| @@ -2,9 +2,11 @@ main is not found | |||
| 2 | ------------ trace | 2 | ------------ trace |
| 3 | zip2 :: [32m{a} -> {b} -> 'List a -> 'List b -> 'List (a, b)[39m[K | 3 | zip2 :: [32m{a} -> {b} -> 'List a -> 'List b -> 'List (a, b)[39m[K |
| 4 | ------------ tooltips | 4 | ------------ tooltips |
| 5 | testdata/zip01.lc 1:9-1:12 Type | ||
| 5 | testdata/zip01.lc 1:9-1:30 Type | 6 | testdata/zip01.lc 1:9-1:30 Type |
| 6 | testdata/zip01.lc 1:9-4:40 V0->V1 | {a} -> {b} -> List a -> List b -> List (a, b) | 7 | testdata/zip01.lc 1:9-4:40 V0->V1 | {a} -> {b} -> List a -> List b -> List (a, b) |
| 7 | testdata/zip01.lc 1:10-1:11 V3 | 8 | testdata/zip01.lc 1:10-1:11 V3 |
| 9 | testdata/zip01.lc 1:16-1:19 Type | ||
| 8 | testdata/zip01.lc 1:16-1:30 Type | 10 | testdata/zip01.lc 1:16-1:30 Type |
| 9 | testdata/zip01.lc 1:17-1:18 V2 | 11 | testdata/zip01.lc 1:17-1:18 V2 |
| 10 | testdata/zip01.lc 1:23-1:30 Type | 12 | testdata/zip01.lc 1:23-1:30 Type |