blob: c78ba1de502f273193258514c2906a670416f25f (
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
main is not found
------------ desugared source code
h
= _lhs
h
\(a :: _) (b :: _) (_ :: _) -> _rhs
let
c
= _lhs
x
(_rhs
((\(d :: _) -> hlistConsCase
_
(\(e :: _) (f :: _) -> hlistConsCase
_
(\(g :: _) (h :: _) -> hlistNilCase _ (a e g) h)
f)
d)
b))
in c
------------ core code
h :: forall a b c d . (b -> d -> c) -> (b, d) -> a -> c
h
= \_ a b c d e _ -> _rhs
(hlistConsCase
a
[c]
b
(\f g -> hlistConsCase c [] b (\h i -> hlistNilCase b (d f h) i) g)
e)
------------ 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
|
