diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-12 23:55:35 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-12 23:55:35 +0200 |
| commit | 7310e4916b8ee7d96db0e64e75ab98499a826674 (patch) | |
| tree | fbcb77a6383a15598a924714abcf97c71b73e1ac /testdata/ambig.out | |
| parent | 67304cc71d2f0efa76b2b2a46575230a5102c6a0 (diff) | |
don't show module path
Diffstat (limited to 'testdata/ambig.out')
| -rw-r--r-- | testdata/ambig.out | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/testdata/ambig.out b/testdata/ambig.out index 497fbffe..82be9b6f 100644 --- a/testdata/ambig.out +++ b/testdata/ambig.out | |||
| @@ -26,19 +26,19 @@ h | |||
| 26 | (\g h -> hlistConsCase d [] c (\i j -> hlistNilCase c (e g i) j) h) | 26 | (\g h -> hlistConsCase d [] c (\i j -> hlistNilCase c (e g i) j) h) |
| 27 | f) | 27 | f) |
| 28 | ------------ tooltips | 28 | ------------ tooltips |
| 29 | testdata/ambig.lc 4:1-4:2 | 29 | ambig.lc 4:1-4:2 |
| 30 | forall a b c d . (b -> d -> c) -> (b, d) -> a -> c | 30 | forall a b c d . (b -> d -> c) -> (b, d) -> a -> c |
| 31 | testdata/ambig.lc 4:11-4:12 | 31 | ambig.lc 4:11-4:12 |
| 32 | _c | 32 | _c |
| 33 | testdata/ambig.lc 7:9-7:29 | 33 | ambig.lc 7:9-7:29 |
| 34 | _b | 34 | _b |
| 35 | testdata/ambig.lc 7:21-7:22 | 35 | ambig.lc 7:21-7:22 |
| 36 | _s | 36 | _s |
| 37 | testdata/ambig.lc 7:21-7:26 | 37 | ambig.lc 7:21-7:26 |
| 38 | _c | _d | 38 | _c | _d |
| 39 | testdata/ambig.lc 7:23-7:24 | 39 | ambig.lc 7:23-7:24 |
| 40 | _n | 40 | _n |
| 41 | testdata/ambig.lc 7:25-7:26 | 41 | ambig.lc 7:25-7:26 |
| 42 | _j | 42 | _j |
| 43 | testdata/ambig.lc 7:28-7:29 | 43 | ambig.lc 7:28-7:29 |
| 44 | _g \ No newline at end of file | 44 | _g \ No newline at end of file |