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
|
main :: Bool
main = True
------------ desugared source code
a :: [(Float, Float)]
a
= _lhs
a
(_rhs (concatMap (\(a :: _) -> concatMap (\(b :: _) -> [(a, b)]) [1.0]) [1.0]))
main :: Bool
main
= _lhs
main
(_rhs
((\(a :: _) -> case'List
(\(_ :: _) -> _)
undefined
(\(b :: _) (c :: _) -> hlistConsCase
_
(\(d :: _) (e :: _) -> case'Bool
(\(_ :: _) -> _)
undefined
(hlistConsCase
_
(\(f :: _) (g :: _) -> case'Bool
(\(_ :: _) -> _)
undefined
(hlistNilCase
_
(case'List (\(_ :: _) -> _) True (\(_ :: _) (_ :: _) -> undefined) c)
g)
(1.0 == f))
e)
(1.0 == d))
b)
a)
a))
------------ core code
a :: [(Float, Float)]
a
= _rhs
((1.0, 1.0)
: [] ++ foldr (++) [] (map (\a -> [(1.0, a)]) [])
++ foldr
(++)
[]
(map (\b -> concatMap 'Float ' ('Float, 'Float) (\c -> [(b, c)]) [1.0]) []))
main :: Bool
main = _rhs True
------------ tooltips
1:6-1:21
Type
1:7-1:20
Type
1:8-1:13
Type
1:8-1:19
[Type]
1:14-1:19
Type | [Type]
2:1-2:2
[(Float, Float)]
2:5-2:35
[(Float, Float)]
2:6-2:11
(_f, _c) | [(_e, _b)]
2:6-2:34
[(_b, Float)]
2:7-2:8
_i
2:9-2:10
_f | ((_c))
2:17-2:22
[Float]
2:18-2:21
Float
2:29-2:34
[Float]
2:30-2:33
Float
4:9-4:13
Type
5:1-5:5
Bool
5:8-6:29
Bool
5:13-5:14
[(Float, Float)]
6:25-6:29
Bool | Bool | Bool | Bool | Bool | Bool | Bool
------------ warnings
Uncovered pattern(s) at ./testdata/listcompr01.lc:5:13:
main = case a of
^
Missing case(s):
[]
(HCons _ _ : _) | False <- 1.0 == _b
(HCons _ (HCons _ _) : _) | True <- 1.0 == _b, False <- 1.0 == _b
((_, _) : _ : _) | True <- 1.0 == _b, True <- 1.0 == _b
|