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/instantiate.out | |
| parent | 29d90b31f8282e15e027faf32fd7fed99063049c (diff) | |
show tooltips in type namespace
Diffstat (limited to 'testdata/instantiate.out')
| -rw-r--r-- | testdata/instantiate.out | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/testdata/instantiate.out b/testdata/instantiate.out index a972d67d..f5ddbd7c 100644 --- a/testdata/instantiate.out +++ b/testdata/instantiate.out | |||
| @@ -1,17 +1,17 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | tooltips: | 2 | tooltips: |
| 3 | testdata/instantiate.lc 1:1-1:6 'VecS 'Float 2 | 3 | testdata/instantiate.lc 1:1-1:6 VecS Float 2 |
| 4 | testdata/instantiate.lc 2:13-2:20 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a | 4 | testdata/instantiate.lc 2:13-2:20 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a |
| 5 | testdata/instantiate.lc 2:24-2:25 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a | 5 | testdata/instantiate.lc 2:24-2:25 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a |
| 6 | testdata/instantiate.lc 2:24-2:38 'VecS 'Float 2 -> 'VecS 'Float 2 | 6 | testdata/instantiate.lc 2:24-2:38 VecS Float 2 -> VecS Float 2 |
| 7 | testdata/instantiate.lc 2:24-2:51 'VecS 'Float 2 | 7 | testdata/instantiate.lc 2:24-2:51 VecS Float 2 |
| 8 | testdata/instantiate.lc 2:26-2:38 'VecS 'Float 2 | 8 | testdata/instantiate.lc 2:26-2:38 VecS Float 2 |
| 9 | testdata/instantiate.lc 2:27-2:29 {a} -> a -> a -> 'VecS a 2 | 9 | testdata/instantiate.lc 2:27-2:29 {a} -> a -> a -> VecS a 2 |
| 10 | testdata/instantiate.lc 2:27-2:33 'Float -> 'VecS 'Float 2 | 10 | testdata/instantiate.lc 2:27-2:33 Float -> VecS Float 2 |
| 11 | testdata/instantiate.lc 2:30-2:33 'Float | 11 | testdata/instantiate.lc 2:30-2:33 Float |
| 12 | testdata/instantiate.lc 2:34-2:37 'Float | 12 | testdata/instantiate.lc 2:34-2:37 Float |
| 13 | testdata/instantiate.lc 2:39-2:51 'VecS 'Float 2 | 13 | testdata/instantiate.lc 2:39-2:51 VecS Float 2 |
| 14 | testdata/instantiate.lc 2:40-2:42 {a} -> a -> a -> 'VecS a 2 | 14 | testdata/instantiate.lc 2:40-2:42 {a} -> a -> a -> VecS a 2 |
| 15 | testdata/instantiate.lc 2:40-2:46 'Float -> 'VecS 'Float 2 | 15 | testdata/instantiate.lc 2:40-2:46 Float -> VecS Float 2 |
| 16 | testdata/instantiate.lc 2:43-2:46 'Float | 16 | testdata/instantiate.lc 2:43-2:46 Float |
| 17 | testdata/instantiate.lc 2:47-2:50 'Float | 17 | testdata/instantiate.lc 2:47-2:50 Float |