blob: 36c6a54fb597053555729ec7e85bd256978d2b20 (
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
|
main is not found
------------ desugared source code
id = \(a :: _) -> _rhs a
f = \(a :: _) -> _rhs let b = _rhs (id a) in b
------------ core code
f :: forall a . a -> a
f = \_ a -> _rhs a
id :: forall a . a -> a
id = \_ a -> _rhs a
------------ tooltips
testdata/let.lc 4:1-4:3
forall a . a -> a
testdata/let.lc 4:8-4:9
_b
testdata/let.lc 6:1-6:2
forall a . a -> a
testdata/let.lc 6:15-6:17
forall a . a -> a
testdata/let.lc 6:15-6:19
_b
testdata/let.lc 6:18-6:19
_c
testdata/let.lc 6:23-6:24
_c
|
