blob: cd91a134fa7699e5cf960bd963cc3f60daba6326 (
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
|
main :: Bool
main = True
------------ desugared source code
main :: Bool
main
= _lhs
main
(_rhs
((\(a :: _) -> case'List
(\(_ :: _) -> _)
undefined
(\(b :: _) (c :: _) -> case'Bool
(\(_ :: _) -> _)
undefined
(case'List
(\(_ :: _) -> _)
undefined
(\(d :: _) (e :: _) -> case'Bool
(\(_ :: _) -> _)
undefined
(case'List
(\(_ :: _) -> _)
undefined
(\(f :: _) (g :: _) -> case'Bool
(\(_ :: _) -> _)
undefined
(case'List (\(_ :: _) -> _) True (\(_ :: _) (_ :: _) -> undefined) g)
(3.0 == f))
e)
(2.0 == d))
c)
(1.0 == b))
a)
(fromTo 1.0 3.0)))
------------ core code
main :: Bool
main = _rhs True
------------ tooltips
1:9-1:13
Type
2:1-2:5
Bool
2:8-3:33
Bool
2:13-2:23
[Float]
2:14-2:17
Float
2:19-2:22
Float
3:29-3:33
Bool | Bool | Bool | Bool | Bool | Bool | Bool
------------ warnings
Uncovered pattern(s) at ./testdata/dotdot01.lc:2:13:
main = case [1.0..3.0] of
^^^^^^^^^^
Missing case(s):
[]
(_ : _) | False <- 1.0 == _b
[_] | True <- 1.0 == _b
(_ : _ : _) | True <- 1.0 == _b, False <- 2.0 == _b
[_, _] | True <- 1.0 == _b, True <- 2.0 == _b
(_ : _ : _ : _) | True <- 1.0 == _b, True <- 2.0 == _b, False <- 3.0 == _b
(_ : _ : _ : _ : _) | True <- 1.0 == _b, True <- 2.0 == _b, True <- 3.0 == _b
|