blob: 6a6d238b4c4e2fbb4fb8402febae79ff0a8ea4b3 (
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
|
main :: Bool
main = True
------------ desugared source code
id = _lhs id \(a :: _) -> _rhs a
main
= _lhs
main
(_rhs ((\(a :: _) -> case'Bool (\(_ :: _) -> _) undefined True (id a)) True))
------------ core code
id :: forall a . a -> a
id = \a b -> _rhs b
main :: Bool
main = _rhs True
------------ tooltips
4:1-4:3
forall a . a -> a
4:8-4:9
_b
6:1-6:5
Bool
6:8-7:25
Bool
6:13-6:17
Bool
7:6-7:8
forall a . a -> a | _b
7:6-7:25
Bool
7:21-7:25
Bool
------------ warnings
Uncovered pattern(s) at testdata/language-features/pattern/viewPattern.lc:6:13:
main = case True of
^^^^
Missing case(s):
_ | False <- id _a
|
