blob: 05859e5c99bd5405b322f70d3ca622160995f662 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
main is not found
tooltips:
testdata/ambig.lc 3:6-3:12 Type | Type -> Type->Type
testdata/ambig.lc 3:6-3:25 Type
testdata/ambig.lc 3:6-3:29 Type
testdata/ambig.lc 3:19-3:25 Tuple2 V4 V3 | Type | {a} -> {b} -> a -> b -> Tuple2 a b
testdata/ambig.lc 3:26-3:27 Type
testdata/ambig.lc 3:28-3:29 Type
testdata/ambig.lc 5:1-5:2 {a} -> {b} -> {c} -> {d} -> (b -> c->d) -> Tuple2 b c -> a->d
testdata/ambig.lc 5:11-5:12 V1
testdata/ambig.lc 8:9-8:29 V0
testdata/ambig.lc 8:12-8:16 V4
testdata/ambig.lc 8:12-8:26 V0
testdata/ambig.lc 8:21-8:22 V12
testdata/ambig.lc 8:21-8:26 V2 -> V2->V2 | V2->V2
testdata/ambig.lc 8:23-8:24 V7
testdata/ambig.lc 8:25-8:26 V7
testdata/ambig.lc 8:28-8:29 V6
|