blob: 8c0825556e03b8ee98d31c0d0bf9c7ee49a722fc (
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
|
------------ desugared source code
value1
= _rhs
((\(a :: _) -> case'Bool
(\_ -> _)
HNil
(\(b := _rhs HNil) -> b)
(fromInt 1 == a))
(fromInt 1))
value2
= _rhs
((\(a :: _) -> case'Bool
(\_ -> _)
HNil
(\(b := _rhs HNil) -> b)
(fromInt 1 == a))
(fromInt 1))
value3
= _rhs
((\(a :: _) -> case'Bool
(\_ -> _)
HNil
(\(b := _rhs HNil) -> b)
(fromInt 1 == a))
(fromInt 1))
value4
= _rhs
\(a := _rhs HNil) -> (\(b :: _) -> case'Bool (\_ -> _) HNil a (fromInt 1 == b))
(fromInt 1)
main is not found
------------ trace
value1 :: forall a . (Eq a, Num a) => ()
value2 :: forall a . (Eq a, Num a) => ()
value3 :: forall a . (Eq a, Num a) => ()
value4 :: forall a . (Eq a, Num a) => ()
------------ 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
()
|
