blob: d947d04d22ee249e8da5c0d5f601edcdbd5fd1a8 (
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
|
main :: Bool
main = True
------------ desugared source code
constf = _lhs constf (_rhs \(a :: _) (_ :: _) -> a)
main = _lhs main (_rhs ((\(a :: _) -> constf a False) True))
------------ core code
constf :: forall a b . a -> b -> a
constf = \a b -> _rhs \c _ -> c
main :: Bool
main = _rhs True
------------ tooltips
1:1-1:7
forall a b . a -> b -> a
1:18-1:19
_d
3:1-3:5
Bool
3:8-3:35
Bool
3:15-3:21
forall a b . a -> b -> a
3:15-3:23
_a -> _c
3:15-3:29
_b
3:22-3:23
_d
3:24-3:29
Bool
3:31-3:35
Bool
|
