diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-02-13 14:54:36 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-13 14:54:50 +0100 |
| commit | 0acea3e60e03418dcc0fe6346d8115769a2b4c17 (patch) | |
| tree | 556e9e10667bac81560d6e392a4aba55f600b614 /testdata/ambig.out | |
| parent | a8ece97efac68c03b3eb9c9e962b8a9b1d994519 (diff) | |
use different kinf of infos
Diffstat (limited to 'testdata/ambig.out')
| -rw-r--r-- | testdata/ambig.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testdata/ambig.out b/testdata/ambig.out index 05859e5c..e64a9bd7 100644 --- a/testdata/ambig.out +++ b/testdata/ambig.out | |||
| @@ -1,5 +1,5 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | tooltips: | 2 | ------------ tooltips |
| 3 | testdata/ambig.lc 3:6-3:12 Type | Type -> Type->Type | 3 | testdata/ambig.lc 3:6-3:12 Type | Type -> Type->Type |
| 4 | testdata/ambig.lc 3:6-3:25 Type | 4 | testdata/ambig.lc 3:6-3:25 Type |
| 5 | testdata/ambig.lc 3:6-3:29 Type | 5 | testdata/ambig.lc 3:6-3:29 Type |