blob: 3fb83b8c763391679b2793e8af0dbfcf9d4d8f1e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
------------ desugared source code
value
= \(a :: _) -> _rhs
((\(b :: _) -> case'Bool \_ -> _ :: _ '_' '1' (fromInt 1 == b)) a)
main is not found
------------ trace
value :: forall a . (Eq a, Num a) => a -> Char
------------ tooltips
testdata/language-features/basic-values/case06.lc 1:1-1:6
forall a . (Eq a, Num a) => a -> Char
testdata/language-features/basic-values/case06.lc 1:11-3:11
Char
testdata/language-features/basic-values/case06.lc 1:16-1:17
_e
testdata/language-features/basic-values/case06.lc 2:8-2:11
Char
testdata/language-features/basic-values/case06.lc 2:8-3:11
Bool -> Char
testdata/language-features/basic-values/case06.lc 3:8-3:11
Char
|