diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-01-26 17:12:09 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-01-26 17:12:09 +0100 |
| commit | 97f544df14e312b12a3b8ba1fd07072a5ccb23b3 (patch) | |
| tree | b927a5af04ce04d96914035bda605adb4e4f7244 /testdata/language-features/basic-list/list02.out | |
| parent | 29d90b31f8282e15e027faf32fd7fed99063049c (diff) | |
show tooltips in type namespace
Diffstat (limited to 'testdata/language-features/basic-list/list02.out')
| -rw-r--r-- | testdata/language-features/basic-list/list02.out | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/testdata/language-features/basic-list/list02.out b/testdata/language-features/basic-list/list02.out index d49614fe..fcb82a6f 100644 --- a/testdata/language-features/basic-list/list02.out +++ b/testdata/language-features/basic-list/list02.out | |||
| @@ -1,22 +1,22 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | tooltips: | 2 | tooltips: |
| 3 | testdata/language-features/basic-list/list02.lc 1:1-1:7 {a} -> 'List a | 3 | testdata/language-features/basic-list/list02.lc 1:1-1:7 {a} -> List a |
| 4 | testdata/language-features/basic-list/list02.lc 1:10-2:4 {a} -> 'List a | 4 | testdata/language-features/basic-list/list02.lc 1:10-2:4 {a} -> List a |
| 5 | testdata/language-features/basic-list/list02.lc 4:1-4:7 {a} -> {b : 'Num a} -> 'List a | 5 | testdata/language-features/basic-list/list02.lc 4:1-4:7 {a} -> {b : Num a} -> List a |
| 6 | testdata/language-features/basic-list/list02.lc 4:10-5:7 'List V2 | 6 | testdata/language-features/basic-list/list02.lc 4:10-5:7 List V2 |
| 7 | testdata/language-features/basic-list/list02.lc 4:11-4:12 V1 | 7 | testdata/language-features/basic-list/list02.lc 4:11-4:12 V1 |
| 8 | testdata/language-features/basic-list/list02.lc 4:13-4:14 V1 | 8 | testdata/language-features/basic-list/list02.lc 4:13-4:14 V1 |
| 9 | testdata/language-features/basic-list/list02.lc 4:13-5:6 'List V3 | 9 | testdata/language-features/basic-list/list02.lc 4:13-5:6 List V3 |
| 10 | testdata/language-features/basic-list/list02.lc 5:3-5:4 V1 | 10 | testdata/language-features/basic-list/list02.lc 5:3-5:4 V1 |
| 11 | testdata/language-features/basic-list/list02.lc 5:3-5:6 'List V4 | 11 | testdata/language-features/basic-list/list02.lc 5:3-5:6 List V4 |
| 12 | testdata/language-features/basic-list/list02.lc 5:5-5:6 'List V4 | V1 | 12 | testdata/language-features/basic-list/list02.lc 5:5-5:6 List V4 | V1 |
| 13 | testdata/language-features/basic-list/list02.lc 7:1-7:7 'List 'Char | 13 | testdata/language-features/basic-list/list02.lc 7:1-7:7 List Char |
| 14 | testdata/language-features/basic-list/list02.lc 8:3-13:4 'List 'Char | 14 | testdata/language-features/basic-list/list02.lc 8:3-13:4 List Char |
| 15 | testdata/language-features/basic-list/list02.lc 8:5-8:8 'Char | 15 | testdata/language-features/basic-list/list02.lc 8:5-8:8 Char |
| 16 | testdata/language-features/basic-list/list02.lc 9:5-9:8 'Char | 16 | testdata/language-features/basic-list/list02.lc 9:5-9:8 Char |
| 17 | testdata/language-features/basic-list/list02.lc 9:5-12:8 'List 'Char | 17 | testdata/language-features/basic-list/list02.lc 9:5-12:8 List Char |
| 18 | testdata/language-features/basic-list/list02.lc 10:5-10:8 'Char | 18 | testdata/language-features/basic-list/list02.lc 10:5-10:8 Char |
| 19 | testdata/language-features/basic-list/list02.lc 10:5-12:8 'List 'Char | 19 | testdata/language-features/basic-list/list02.lc 10:5-12:8 List Char |
| 20 | testdata/language-features/basic-list/list02.lc 11:5-11:8 'Char | 20 | testdata/language-features/basic-list/list02.lc 11:5-11:8 Char |
| 21 | testdata/language-features/basic-list/list02.lc 11:5-12:8 'List 'Char | 21 | testdata/language-features/basic-list/list02.lc 11:5-12:8 List Char |
| 22 | testdata/language-features/basic-list/list02.lc 12:5-12:8 'Char | 'List 'Char | 22 | testdata/language-features/basic-list/list02.lc 12:5-12:8 Char | List Char |