blob: 29b911781ecf9545f6c80bbce20e379134b8cf77 (
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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
|
main is not found
------------ desugared source code
value1
= _lhs
value1
(_rhs
(concatMap
(\(_ :: _) -> let
a = _lhs _u (_rhs ()); b = _lhs u (_rhs ((\(c :: _) -> c) a))
in primIfThenElse
True
(let d = _lhs _v (_rhs b); e = _lhs v (_rhs ((\(f :: _) -> f) d)) in [b])
[])
[(), ()]))
value2
= _lhs
value2
(_rhs
(concatMap
(\(_ :: _) -> let
a = _lhs _u (_rhs ()); b = _lhs u (_rhs ((\(c :: _) -> c) a))
in primIfThenElse
True
(let d = _lhs _v (_rhs b); e = _lhs v (_rhs ((\(f :: _) -> f) d)) in [b])
[])
[(), ()]))
value3
= _lhs
value3
(_rhs
(concatMap
(\(_ :: _) -> let
a = _lhs _u (_rhs ()); b = _lhs u (_rhs ((\(c :: _) -> c) a))
in primIfThenElse
True
(let d = _lhs _v (_rhs b); e = _lhs v (_rhs ((\(f :: _) -> f) d)) in [b])
[])
[(), ()]))
------------ core code
value1 :: [()]
value1
= _rhs
(u : [] ++ foldr (++) [] (map (\_ -> primIfThenElse [' ()] True [u] []) [()]))
value2 :: [()]
value2
= _rhs
(u : [] ++ foldr (++) [] (map (\_ -> primIfThenElse [' ()] True [u] []) [()]))
value3 :: [()]
value3
= _rhs
(u : [] ++ foldr (++) [] (map (\_ -> primIfThenElse [' ()] True [u] []) [()]))
------------ tooltips
1:1-1:7
[()]
1:10-6:11
[()]
1:12-1:13
()
2:17-2:24
[()]
2:18-2:20
()
2:21-2:23
() | [()]
3:16-3:17
_b | ()
3:20-3:22
()
4:12-4:16
Bool
5:16-5:17
_b | ()
5:20-5:21
()
8:1-8:7
[()]
8:10-12:11
[()]
8:12-8:13
()
8:21-8:28
[()]
8:22-8:24
()
8:25-8:27
() | [()]
9:16-9:17
_b | ()
9:20-9:22
()
10:12-10:16
Bool
11:16-11:17
_b | ()
11:20-11:21
()
14:1-14:7
[()]
14:10-20:3
[()]
14:12-14:13
()
15:15-15:22
[()]
15:16-15:18
()
15:19-15:21
() | [()]
17:2-17:3
_b | ()
17:6-17:8
()
18:7-18:11
Bool
19:10-19:11
_b | ()
19:14-19:15
()
|
