blob: 627b8c67410a41dc327825a679bd67948764b702 (
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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
main :: Bool
main = True
------------ desugared source code
f
= _lhs
f
\(a :: _) (b :: _) -> _rhs
let
c = _lhs g \(d :: _) -> case'Bool (\(_ :: _) -> _) (_rhs b) (_rhs True) d
in c a
main = _lhs main (_rhs (f True False && f False True))
------------ core code
f :: Bool -> Bool -> Bool
f = \a b -> _rhs (g a)
main :: Bool
main = _rhs True
------------ tooltips
3:1-3:2
Bool -> Bool -> Bool
3:9-3:10
Bool -> Bool
3:9-3:12
Bool
3:11-3:12
_d
5:14-5:18
Bool
5:14-6:16
Bool -> Bool
6:15-6:16
_e
8:1-8:5
Bool
8:8-8:9
Bool -> Bool -> Bool
8:8-8:14
Bool -> Bool
8:8-8:20
Bool
8:8-8:23
Bool -> Bool
8:8-8:36
Bool
8:10-8:14
Bool
8:15-8:20
Bool
8:21-8:23
Bool -> Bool -> Bool
8:24-8:25
Bool -> Bool -> Bool
8:24-8:31
Bool -> Bool
8:24-8:36
Bool
8:26-8:31
Bool
8:32-8:36
Bool
|
