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
|
main is not found
------------ desugared source code
value1 = _lhs value1 (_rhs [])
value2 = _lhs value2 (_rhs [fromInt 1, fromInt 2, fromInt 3, fromInt 4])
value3 = _lhs value3 (_rhs ['h', 'e', 'l', 'l', 'o'])
------------ core code
value1 :: forall a . [a]
value1 = _rhs []
value2 :: forall a . Num a => [a]
value2
= \a b -> _rhs [fromInt a b 1, fromInt a b 2, fromInt a b 3, fromInt a b 4]
value3 :: [Char]
value3 = _rhs ['h', 'e', 'l', 'l', 'o']
------------ tooltips
testdata/language-features/basic-list/list02.lc 1:1-1:7
forall a . [a]
testdata/language-features/basic-list/list02.lc 1:10-2:4
forall a . [a]
testdata/language-features/basic-list/list02.lc 4:1-4:7
forall a . Num a => [a]
testdata/language-features/basic-list/list02.lc 4:10-5:7
[_c]
testdata/language-features/basic-list/list02.lc 4:11-4:12
_b
testdata/language-features/basic-list/list02.lc 4:13-4:14
_b
testdata/language-features/basic-list/list02.lc 4:13-5:6
[_d]
testdata/language-features/basic-list/list02.lc 5:3-5:4
_b
testdata/language-features/basic-list/list02.lc 5:3-5:6
[_e]
testdata/language-features/basic-list/list02.lc 5:5-5:6
_b | [_e]
testdata/language-features/basic-list/list02.lc 7:1-7:7
[Char]
testdata/language-features/basic-list/list02.lc 8:3-13:4
[Char]
testdata/language-features/basic-list/list02.lc 8:5-8:8
Char
testdata/language-features/basic-list/list02.lc 9:5-9:8
Char
testdata/language-features/basic-list/list02.lc 9:5-12:8
[Char]
testdata/language-features/basic-list/list02.lc 10:5-10:8
Char
testdata/language-features/basic-list/list02.lc 10:5-12:8
[Char]
testdata/language-features/basic-list/list02.lc 11:5-11:8
Char
testdata/language-features/basic-list/list02.lc 11:5-12:8
[Char]
testdata/language-features/basic-list/list02.lc 12:5-12:8
Char | [Char]
|
