blob: 130dd7d38a71d708164497214c7ab3a7aa3936bc (
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 is not found
------------ desugared source code
value
= _lhs
value
\(a :: _) -> _rhs
((\(b :: _) -> case'Bool (\(_ :: _) -> _) undefined '1' (fromInt 1 == b)) a)
------------ core code
value :: forall a . (Eq a, Num a) => a -> Char
value
= \a b c d -> _rhs
(case'Bool (\_ -> 'Char) (undefined 'Char) '1' ((a == b) (fromInt a c 1) d))
------------ tooltips
testdata/language-features/basic-values/case05.lc 1:1-1:6
forall a . (Eq a, Num a) => a -> Char
testdata/language-features/basic-values/case05.lc 1:11-2:11
Char
testdata/language-features/basic-values/case05.lc 1:16-1:17
_e
testdata/language-features/basic-values/case05.lc 2:8-2:11
Char
------------ warnings
Uncovered pattern(s) at testdata/language-features/basic-values/case05.lc:1:16:
value x = case x of
^
Missing case(s):
_ | False <- fromInt 1 == _a
|