blob: 280f851c4ed5156eaf263745778ea279f05efde4 (
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
|
main :: Bool
main = True
------------ desugared source code
main
= _lhs
main
(_rhs
((\(a :: _) -> case'Bool (\(_ :: _) -> _) undefined True (1.0 == a))
(fromInt 1)))
------------ core code
main :: Bool
main = _rhs True
------------ tooltips
2:1-2:5
Bool
2:8-3:16
Bool
2:13-2:14
_b
3:12-3:16
Bool
------------ warnings
Uncovered pattern(s) at ./testdata/typeclass0.lc:2:13:
main = case 1 of
^
Missing case(s):
_ | False <- 1.0 == _a
|
