blob: 3f0fb7207fcffd68bf435c5bf696cd99d187e300 (
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
|
main is not found
------------ trace
value1 :: [32mforall a . 'List [32ma[0;32m[0m
value2 :: [32mforall a . [32m'Num [32m[32ma[0;32m[0;32m[0;32m => 'List [32ma[0;32m[0m
value3 :: [32m'List 'Char[0m
------------ tooltips
testdata/language-features/basic-list/list01.lc 1:1-1:7 forall a . List a
testdata/language-features/basic-list/list01.lc 1:10-1:12 forall a . List a
testdata/language-features/basic-list/list01.lc 2:1-2:7 forall a . Num a => List a
testdata/language-features/basic-list/list01.lc 2:10-2:19 List _c
testdata/language-features/basic-list/list01.lc 2:11-2:12 _b
testdata/language-features/basic-list/list01.lc 2:13-2:14 _b
testdata/language-features/basic-list/list01.lc 2:13-2:18 List _d
testdata/language-features/basic-list/list01.lc 2:15-2:16 _b
testdata/language-features/basic-list/list01.lc 2:15-2:18 List _e
testdata/language-features/basic-list/list01.lc 2:17-2:18 List _e | _b
testdata/language-features/basic-list/list01.lc 3:1-3:7 List Char
testdata/language-features/basic-list/list01.lc 3:10-3:31 List Char
testdata/language-features/basic-list/list01.lc 3:11-3:14 Char
testdata/language-features/basic-list/list01.lc 3:15-3:18 Char
testdata/language-features/basic-list/list01.lc 3:15-3:30 List Char
testdata/language-features/basic-list/list01.lc 3:19-3:22 Char
testdata/language-features/basic-list/list01.lc 3:19-3:30 List Char
testdata/language-features/basic-list/list01.lc 3:23-3:26 Char
testdata/language-features/basic-list/list01.lc 3:23-3:30 List Char
testdata/language-features/basic-list/list01.lc 3:27-3:30 Char | List Char
|