blob: 35d323b36a7caaaf6d1c65e09da6aea410696b18 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
main is not found
------------ trace
h :: [32mforall a b c d . ([32mb[0;32m -> [32md[0;32m -> [32mc[0;32m) -> ([32mb[0;32m, [32md[0;32m) -> [32ma[0;32m -> [32mc[0;32m[0m
------------ tooltips
testdata/ambig.lc 4:1-4:2 forall a b c d . (b -> d -> c) -> (b, d) -> a -> c
testdata/ambig.lc 4:11-4:12 _c
testdata/ambig.lc 7:9-7:29 _b
testdata/ambig.lc 7:21-7:22 _s
testdata/ambig.lc 7:21-7:26 HList _c -> _b | _c | _c -> HList _b -> _a | _d
testdata/ambig.lc 7:23-7:24 _n
testdata/ambig.lc 7:25-7:26 _j
testdata/ambig.lc 7:28-7:29 _g
|
