blob: 50c92c35cf9eddd71ce365faa1aaad584cc1e626 (
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
main is not found
------------ desugared source code
value1
= _lhs
value1
(_rhs
((\(a :: _) -> case'Bool (\(_ :: _) -> _) () () (fromInt 1 == a)) (fromInt 1)))
value2
= _lhs
value2
(_rhs
((\(a :: _) -> case'Bool
(\(_ :: _) -> _)
(case'Bool (\(_ :: _) -> _) "_" "2" (fromInt 2 == a))
"1"
(fromInt 1 == a))
(fromInt 2)))
------------ core code
value1 :: forall a . (Eq a, Num a) => ()
value1
= \a b c -> _rhs
(case'Bool (\_ -> ' ()) () () ((a == b) (fromInt a c 1) (fromInt a c 1)))
value2 :: forall a . (Eq a, Num a, Eq a, Num a) => String
value2
= \a b c d e -> _rhs
(case'Bool
(\_ -> 'String)
(case'Bool (\_ -> 'String) "_" "2" ((a == b) (fromInt a c 2) (fromInt a e 2)))
"1"
((a == d) (fromInt a e 1) (fromInt a e 2)))
------------ tooltips
1:1-1:7
forall a . (Eq a, Num a) => ()
1:10-3:10
()
1:15-1:16
_b
2:8-2:10
()
2:8-3:10
Bool -> ()
3:8-3:10
()
5:1-5:7
forall a . (Eq a, Num a, Eq a, Num a) => String
5:10-8:11
String
5:15-5:16
_b
6:8-6:11
String
6:8-8:11
Bool -> String
7:8-7:11
String
7:8-8:11
Bool -> String | String
8:8-8:11
String
|
