blob: 1789d86fc27b3217bc999c9fdc69596423d8d2ea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
------------ desugared source code
f = \(a :: _) -> _rhs \(b := _rhs (id a)) -> b
main is not found
------------ trace
f :: forall a . a -> a
------------ tooltips
testdata/let.lc 2:1-2:2
forall a . a -> a
testdata/let.lc 2:15-2:17
forall a . a -> a
testdata/let.lc 2:15-2:19
_b
testdata/let.lc 2:18-2:19
_c
testdata/let.lc 2:23-2:24
_c
|