blob: f0a9adde152bb2277bb8a39d082bc1e30cdbf883 (
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
|
------------ desugared source code
value = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : Nil)
main is not found
------------ trace
value :: List Char
------------ tooltips
testdata/language-features/basic-list/list13.lc 1:1-1:6
List Char
testdata/language-features/basic-list/list13.lc 1:9-1:12
Char
testdata/language-features/basic-list/list13.lc 1:9-1:13
List Char -> List Char
testdata/language-features/basic-list/list13.lc 1:9-1:31
List Char
testdata/language-features/basic-list/list13.lc 1:12-1:13
forall a . a -> List a -> List a
testdata/language-features/basic-list/list13.lc 1:13-1:16
Char
testdata/language-features/basic-list/list13.lc 1:13-1:17
List Char -> List Char
testdata/language-features/basic-list/list13.lc 1:13-1:31
List Char
testdata/language-features/basic-list/list13.lc 1:16-1:17
forall a . a -> List a -> List a
testdata/language-features/basic-list/list13.lc 1:17-1:20
Char
testdata/language-features/basic-list/list13.lc 1:17-1:21
List Char -> List Char
testdata/language-features/basic-list/list13.lc 1:17-1:31
List Char
testdata/language-features/basic-list/list13.lc 1:20-1:21
forall a . a -> List a -> List a
testdata/language-features/basic-list/list13.lc 1:21-1:24
Char
testdata/language-features/basic-list/list13.lc 1:21-1:25
List Char -> List Char
testdata/language-features/basic-list/list13.lc 1:21-1:31
List Char
testdata/language-features/basic-list/list13.lc 1:24-1:25
forall a . a -> List a -> List a
testdata/language-features/basic-list/list13.lc 1:25-1:28
Char
testdata/language-features/basic-list/list13.lc 1:25-1:29
List Char -> List Char
testdata/language-features/basic-list/list13.lc 1:25-1:31
List Char
testdata/language-features/basic-list/list13.lc 1:28-1:29
forall a . a -> List a -> List a
testdata/language-features/basic-list/list13.lc 1:29-1:31
forall a . List a
|