summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-values/typesig04.out
blob: d497b9e3d4c4c142c9858f816215a367baf9c4a5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
main is not found
------------ trace
fun1 :: {a} -> {b} -> {c} -> a -> b->c -> 'Tuple0
fun2 :: {a} -> {b} -> {c} -> a -> b->c -> 'Tuple0
------------ tooltips
testdata/language-features/basic-values/typesig04.lc 1:9-1:10  V5
testdata/language-features/basic-values/typesig04.lc 1:9-1:28  Type
testdata/language-features/basic-values/typesig04.lc 1:14-1:28  Type
testdata/language-features/basic-values/typesig04.lc 1:15-1:16  V4
testdata/language-features/basic-values/typesig04.lc 1:20-1:21  Type | V3
testdata/language-features/basic-values/typesig04.lc 1:26-1:28  Type
testdata/language-features/basic-values/typesig04.lc 2:1-2:5  {a} -> {b} -> {c} -> a -> b->c -> Tuple0
testdata/language-features/basic-values/typesig04.lc 2:12-2:14  Tuple0 | V2 -> V2->V2 -> Tuple0 | V2->V2 -> Tuple0
testdata/language-features/basic-values/typesig04.lc 4:7-4:8  V5
testdata/language-features/basic-values/typesig04.lc 4:7-4:20  Type
testdata/language-features/basic-values/typesig04.lc 4:10-4:20  Type
testdata/language-features/basic-values/typesig04.lc 4:11-4:12  V4
testdata/language-features/basic-values/typesig04.lc 4:14-4:15  Type | V3
testdata/language-features/basic-values/typesig04.lc 4:18-4:20  Type
testdata/language-features/basic-values/typesig04.lc 5:1-5:5  {a} -> {b} -> {c} -> a -> b->c -> Tuple0
testdata/language-features/basic-values/typesig04.lc 5:12-5:14  Tuple0 | V2 -> V2->V2 -> Tuple0 | V2->V2 -> Tuple0