blob: f0593a3bc7cd53a8d941b0d90b9bba6dd7b32561 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
main is not found
------------ trace
'Tuple2 :: [32mType -> Type->Type[39m[K
Tuple2 :: [32m{a} -> {b} -> a -> b -> 'Tuple2 a b[39m[K
'Tuple2Case :: [32m{a} -> {b} -> (d : 'Tuple2 a b -> Type) -> (e:a -> f:b -> d (Tuple2 e f)) -> (h : 'Tuple2 a b) -> d h[39m[K
match'Tuple2 :: [32m(b : Type->Type) -> (c:Type -> d:Type -> b ('Tuple2 c d)) -> f:Type -> b f -> b f[39m[K
h :: [32m{a} -> {b} -> {c} -> {d} -> (b -> c->d) -> 'Tuple2 b c -> a->d[39m[K
------------ 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
|