blob: 65791b404349d3de355271f148adb6ed058a0a70 (
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
value :: [32m'List 'Char[0m
------------ 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
|