blob: 843b762ec48b66a8932393c6e0ac73d038acdcec (
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
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
main is not found
------------ desugared source code
value1 = _rhs let a = _rhs () in ()
value2 = _rhs let a = _rhs () in a
value3 = _rhs let a = _rhs (); b = _rhs () in a
value4 = _rhs let a = _rhs (); b = _rhs () in b
value5 = _rhs let a = _rhs (); b = _rhs () in a
value6 = _rhs ()
value7 = _rhs ()
value8 = _rhs ()
value9 = _rhs let a = _rhs (); b = _rhs () in a
value10 = _rhs let a = _rhs (); b = _rhs () in a
value11 = _rhs let a = _rhs (); b = _rhs () in a
------------ core code
value1 :: ()
value1 = _rhs ()
value10 :: ()
value10 = _rhs ()
value11 :: ()
value11 = _rhs ()
value2 :: ()
value2 = _rhs ()
value3 :: ()
value3 = _rhs ()
value4 :: ()
value4 = _rhs ()
value5 :: ()
value5 = _rhs ()
value6 :: ()
value6 = _rhs ()
value7 :: ()
value7 = _rhs ()
value8 :: ()
value8 = _rhs ()
value9 :: ()
value9 = _rhs ()
------------ tooltips
testdata/language-features/basic-values/where01.lc 1:1-1:7
()
testdata/language-features/basic-values/where01.lc 1:10-1:12
()
testdata/language-features/basic-values/where01.lc 1:23-1:25
()
testdata/language-features/basic-values/where01.lc 3:1-3:7
()
testdata/language-features/basic-values/where01.lc 3:10-3:11
()
testdata/language-features/basic-values/where01.lc 4:12-4:14
()
testdata/language-features/basic-values/where01.lc 6:1-6:7
()
testdata/language-features/basic-values/where01.lc 6:10-6:11
()
testdata/language-features/basic-values/where01.lc 7:12-7:14
()
testdata/language-features/basic-values/where01.lc 8:12-8:14
()
testdata/language-features/basic-values/where01.lc 10:1-10:7
()
testdata/language-features/basic-values/where01.lc 10:10-10:11
()
testdata/language-features/basic-values/where01.lc 12:6-12:8
()
testdata/language-features/basic-values/where01.lc 13:6-13:8
()
testdata/language-features/basic-values/where01.lc 15:1-15:7
()
testdata/language-features/basic-values/where01.lc 15:10-15:11
()
testdata/language-features/basic-values/where01.lc 17:7-17:9
()
testdata/language-features/basic-values/where01.lc 18:7-18:9
()
testdata/language-features/basic-values/where01.lc 20:1-20:7
()
testdata/language-features/basic-values/where01.lc 20:10-20:12
()
testdata/language-features/basic-values/where01.lc 22:1-22:7
()
testdata/language-features/basic-values/where01.lc 22:10-22:12
()
testdata/language-features/basic-values/where01.lc 25:1-25:7
()
testdata/language-features/basic-values/where01.lc 25:10-25:12
()
testdata/language-features/basic-values/where01.lc 30:1-30:7
()
testdata/language-features/basic-values/where01.lc 30:10-30:11
()
testdata/language-features/basic-values/where01.lc 34:7-34:9
()
testdata/language-features/basic-values/where01.lc 35:7-35:9
()
testdata/language-features/basic-values/where01.lc 37:1-37:8
()
testdata/language-features/basic-values/where01.lc 37:11-37:12
()
testdata/language-features/basic-values/where01.lc 39:6-39:8
()
testdata/language-features/basic-values/where01.lc 40:6-40:8
()
testdata/language-features/basic-values/where01.lc 42:1-42:8
()
testdata/language-features/basic-values/where01.lc 42:11-42:12
()
testdata/language-features/basic-values/where01.lc 43:6-43:8
()
testdata/language-features/basic-values/where01.lc 44:6-44:8
()
|
