blob: de7336c1253e8de804671360dedb6b733e976547 (
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
|
------------ desugared source code
fun
= \(a :: _) -> case'Bool
\_ -> _ :: _
(case'Bool \_ -> _ :: _ (_rhs '_') (_rhs '2') (fromInt 2 == a))
(_rhs '1')
(fromInt 1 == a)
fun2
= \(a :: _) -> \_ -> case'Bool
\_ -> _ :: _
(case'Bool \_ -> _ :: _ (_rhs '_') (_rhs '2') (fromInt 2 == a))
(_rhs '1')
(fromInt 1 == a)
main is not found
------------ trace
fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char
fun2 :: forall a b . (Eq a, Num a, Eq a, Num a) => a -> b -> Char
------------ tooltips
testdata/language-features/basic-values/def04.lc 1:1-1:4
forall a . (Eq a, Num a, Eq a, Num a) => a -> Char
testdata/language-features/basic-values/def04.lc 1:9-1:12
Char
testdata/language-features/basic-values/def04.lc 1:9-3:12
Bool -> Char
testdata/language-features/basic-values/def04.lc 2:9-2:12
Char
testdata/language-features/basic-values/def04.lc 2:9-3:12
Bool -> Char | Char
testdata/language-features/basic-values/def04.lc 3:9-3:12
Char
testdata/language-features/basic-values/def04.lc 5:1-5:5
forall a b . (Eq a, Num a, Eq a, Num a) => a -> b -> Char
testdata/language-features/basic-values/def04.lc 5:12-5:15
Char
testdata/language-features/basic-values/def04.lc 5:12-7:15
Bool -> Char
testdata/language-features/basic-values/def04.lc 6:12-6:15
Char
testdata/language-features/basic-values/def04.lc 6:12-7:15
Bool -> Char | Char
testdata/language-features/basic-values/def04.lc 7:12-7:15
Char
|
