blob: 665e8b7d199bf6740cfe6b85ca909fd032a1ce9c (
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
|
------------ desugared source code
value1 = _rhs Nil
value2
= _rhs
(Cons (fromInt 1) (Cons (fromInt 2) (Cons (fromInt 3) (Cons (fromInt 4) Nil))))
value3 = _rhs (Cons 'h' (Cons 'e' (Cons 'l' (Cons 'l' (Cons 'o' Nil)))))
main is not found
------------ trace
value1 :: forall a . List a
value2 :: forall a . Num a => List a
value3 :: List Char
------------ tooltips
testdata/language-features/basic-list/list02.lc 1:1-1:7
forall a . List a
testdata/language-features/basic-list/list02.lc 1:10-2:4
forall a . List a
testdata/language-features/basic-list/list02.lc 4:1-4:7
forall a . Num a => List a
testdata/language-features/basic-list/list02.lc 4:10-5:7
List _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
List _d
testdata/language-features/basic-list/list02.lc 5:3-5:4
_b
testdata/language-features/basic-list/list02.lc 5:3-5:6
List _e
testdata/language-features/basic-list/list02.lc 5:5-5:6
_b | List _e
testdata/language-features/basic-list/list02.lc 7:1-7:7
List Char
testdata/language-features/basic-list/list02.lc 8:3-13:4
List 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
List Char
testdata/language-features/basic-list/list02.lc 10:5-10:8
Char
testdata/language-features/basic-list/list02.lc 10:5-12:8
List Char
testdata/language-features/basic-list/list02.lc 11:5-11:8
Char
testdata/language-features/basic-list/list02.lc 11:5-12:8
List Char
testdata/language-features/basic-list/list02.lc 12:5-12:8
Char | List Char
|