blob: 0ac4ca005cb4c940e2e34919995812c6dc40ef5c (
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
tooltips:
testdata/language-features/basic-list/list01.lc 2:11-2:12 V0
testdata/language-features/basic-list/list01.lc 2:11-2:12 'Int
testdata/language-features/basic-list/list01.lc 2:10-2:19 'List V1
testdata/language-features/basic-list/list01.lc 2:13-2:14 V0
testdata/language-features/basic-list/list01.lc 2:13-2:14 'Int
testdata/language-features/basic-list/list01.lc 2:10-2:19 'List V2
testdata/language-features/basic-list/list01.lc 2:15-2:16 V0
testdata/language-features/basic-list/list01.lc 2:15-2:16 'Int
testdata/language-features/basic-list/list01.lc 2:10-2:19 'List V3
testdata/language-features/basic-list/list01.lc 2:17-2:18 V0
testdata/language-features/basic-list/list01.lc 2:17-2:18 'Int
testdata/language-features/basic-list/list01.lc 2:1-2:7 {a} -> {b : 'Num a} -> 'List a
testdata/language-features/basic-list/list01.lc 3:11-3:14 V0
testdata/language-features/basic-list/list01.lc 3:11-3:14 'Char
testdata/language-features/basic-list/list01.lc 3:10-3:31 'List 'Char
testdata/language-features/basic-list/list01.lc 3:15-3:18 V0
testdata/language-features/basic-list/list01.lc 3:15-3:18 'Char
testdata/language-features/basic-list/list01.lc 3:19-3:22 V0
testdata/language-features/basic-list/list01.lc 3:19-3:22 'Char
testdata/language-features/basic-list/list01.lc 3:23-3:26 V0
testdata/language-features/basic-list/list01.lc 3:23-3:26 'Char
testdata/language-features/basic-list/list01.lc 3:27-3:30 V0
testdata/language-features/basic-list/list01.lc 3:27-3:30 'Char
testdata/language-features/basic-list/list01.lc 3:1-3:7 'List 'Char
|
