blob: f7e7f4681e7ff969c2edfb1e10eb9f1e5b6e5d04 (
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
|
main :: Bool
main = True
------------ desugared source code
main
= _lhs
main
(_rhs
((\(a :: _) -> case'Bool
(\(_ :: _) -> _)
(case'Bool
(\(_ :: _) -> _)
undefined
(case'Bool (\(_ :: _) -> _) undefined True True)
a)
undefined
False)
True))
------------ core code
main :: Bool
main = _rhs True
------------ tooltips
4:1-4:5
Bool
4:8-5:56
Bool
4:13-4:17
Bool
5:18-5:23
Bool
5:18-5:56
Bool
5:33-5:34
_b
5:33-5:56
Bool
5:44-5:48
Bool
5:44-5:56
Bool
5:52-5:56
Bool
------------ warnings
Uncovered pattern(s) at ./testdata/language-features/pattern/patternGuard.lc:4:13:
main = case True of
^^^^
Missing case(s):
False | False <- False
True | False <- False, False <- True
_ | True <- False
|