blob: ce1a76fbe0520e6ee491263684cbb3475590222a (
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
25
26
27
28
29
30
31
32
33
|
------------ desugared source code
h
= \(a :: _) (b :: _) _ -> _rhs
\(c
:= _rhs
((\(d :: _) -> hlistConsCase
_
(\(e :: _) (f :: _) -> hlistConsCase
_
(\(g :: _) (h :: _) -> hlistNilCase _ (a e g) h)
f)
d)
b)) -> c
main is not found
------------ trace
h :: forall a b c d . (b -> d -> c) -> (b, d) -> a -> c
------------ 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
_c | _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
|