blob: 38551bd95781165f8db996bc69313b7ef86adbf6 (
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
|
main :: Bool
main = True
------------ desugared source code
a :: [Float]
a = _lhs a (_rhs (concatMap (\(a :: _) -> [a]) [1.0]))
main :: Bool
main
= _lhs
main
(_rhs
((\(a :: _) -> case'List
(\(_ :: _) -> _)
undefined
(\(b :: _) (c :: _) -> case'Bool
(\(_ :: _) -> _)
undefined
(case'List (\(_ :: _) -> _) True (\(_ :: _) (_ :: _) -> undefined) c)
(1.0 == b))
a)
a))
------------ core code
a :: [Float]
a = _rhs (1.0 : [] ++ foldr (++) [] (map (\a -> [a]) []))
main :: Bool
main = _rhs True
------------ tooltips
1:6-1:13
Type
1:7-1:12
Type
2:1-2:2
[Float]
2:5-2:14
forall a b . (a -> [b]) -> [a] -> [b]
2:5-2:26
[_a] -> [_a]
2:5-2:32
[Float]
2:22-2:25
[_b]
2:23-2:24
_d
2:27-2:32
[Float]
2:28-2:31
Float
4:9-4:13
Type
5:1-5:5
Bool
5:8-6:23
Bool
5:13-5:14
[Float]
6:19-6:23
Bool | Bool | Bool
------------ warnings
Uncovered pattern(s) at testdata/concatmap01.lc:5:13:
main = case a of
^
Missing case(s):
[]
(_ : _) | False <- 1.0 == _b
(_ : _ : _) | True <- 1.0 == _b
|
