blob: 55c7a06de04ffc41f02ed345d542a8337eb5a16f (
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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
|
main is not found
------------ desugared source code
value1
= _rhs
((\(a :: _) -> case'Bool
(\(_ :: _) -> _)
()
(let b = _rhs () in b)
(fromInt 1 == a))
(fromInt 1))
value2
= _rhs
((\(a :: _) -> case'Bool
(\(_ :: _) -> _)
()
(let b = _rhs () in b)
(fromInt 1 == a))
(fromInt 1))
value3
= _rhs
((\(a :: _) -> case'Bool
(\(_ :: _) -> _)
()
(let b = _rhs () in b)
(fromInt 1 == a))
(fromInt 1))
value4
= _rhs
let a = _rhs () in (\(b :: _) -> case'Bool
(\(_ :: _) -> _)
()
a
(fromInt 1 == b))
(fromInt 1)
------------ 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) => ()
value2
= \a b c -> _rhs
(case'Bool (\_ -> ' ()) () () ((a == b) (fromInt a c 1) (fromInt a c 1)))
value3 :: forall a . (Eq a, Num a) => ()
value3
= \a b c -> _rhs
(case'Bool (\_ -> ' ()) () () ((a == b) (fromInt a c 1) (fromInt a c 1)))
value4 :: forall a . (Eq a, Num a) => ()
value4
= \a b c -> _rhs
(case'Bool (\_ -> ' ()) () () ((a == b) (fromInt a c 1) (fromInt a c 1)))
------------ tooltips
testdata/language-features/basic-values/where05.lc 1:1-1:7
forall a . (Eq a, Num a) => ()
testdata/language-features/basic-values/where05.lc 1:10-3:10
()
testdata/language-features/basic-values/where05.lc 1:15-1:16
_b
testdata/language-features/basic-values/where05.lc 2:8-2:9
()
testdata/language-features/basic-values/where05.lc 2:8-3:10
Bool -> ()
testdata/language-features/basic-values/where05.lc 2:20-2:22
()
testdata/language-features/basic-values/where05.lc 3:8-3:10
()
testdata/language-features/basic-values/where05.lc 5:1-5:7
forall a . (Eq a, Num a) => ()
testdata/language-features/basic-values/where05.lc 5:10-8:10
()
testdata/language-features/basic-values/where05.lc 5:15-5:16
_b
testdata/language-features/basic-values/where05.lc 6:8-6:9
()
testdata/language-features/basic-values/where05.lc 6:8-8:10
Bool -> ()
testdata/language-features/basic-values/where05.lc 7:14-7:16
()
testdata/language-features/basic-values/where05.lc 8:8-8:10
()
testdata/language-features/basic-values/where05.lc 10:1-10:7
forall a . (Eq a, Num a) => ()
testdata/language-features/basic-values/where05.lc 10:10-14:10
()
testdata/language-features/basic-values/where05.lc 10:15-10:16
_b
testdata/language-features/basic-values/where05.lc 11:8-11:9
()
testdata/language-features/basic-values/where05.lc 11:8-14:10
Bool -> ()
testdata/language-features/basic-values/where05.lc 13:8-13:10
()
testdata/language-features/basic-values/where05.lc 14:8-14:10
()
testdata/language-features/basic-values/where05.lc 16:1-16:7
forall a . (Eq a, Num a) => ()
testdata/language-features/basic-values/where05.lc 16:10-18:10
()
testdata/language-features/basic-values/where05.lc 16:15-16:16
_b
testdata/language-features/basic-values/where05.lc 17:8-17:9
()
testdata/language-features/basic-values/where05.lc 17:8-18:10
Bool -> ()
testdata/language-features/basic-values/where05.lc 18:8-18:10
()
testdata/language-features/basic-values/where05.lc 21:6-21:8
()
|