blob: 74e9a83b37a35d036097c52272568e63e8c2d961 (
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
|
main is not found
------------ trace
funL :: [32m{a} -> {b} -> a -> b->a[39m[K
<@ :: [32m{a} -> {b} -> a -> b->a[39m[K
value1 :: [32m'String[39m[K
value2 :: [32m'String[39m[K
------------ tooltips
testdata/language-features/basic-values/typesig06.lc 1:1-1:5 {a} -> {b} -> a -> b->a
testdata/language-features/basic-values/typesig06.lc 1:12-1:13 d_
testdata/language-features/basic-values/typesig06.lc 2:3-2:5 {a} -> {b} -> a -> b->a
testdata/language-features/basic-values/typesig06.lc 2:10-2:11 d_
testdata/language-features/basic-values/typesig06.lc 4:1-4:7 String
testdata/language-features/basic-values/typesig06.lc 4:10-4:14 String
testdata/language-features/basic-values/typesig06.lc 4:10-4:17 a_->String
testdata/language-features/basic-values/typesig06.lc 4:10-4:21 String
testdata/language-features/basic-values/typesig06.lc 4:15-4:17 {a} -> {b} -> a -> b->a
testdata/language-features/basic-values/typesig06.lc 4:18-4:21 Float
testdata/language-features/basic-values/typesig06.lc 4:25-4:31 Type
testdata/language-features/basic-values/typesig06.lc 5:1-5:7 String
testdata/language-features/basic-values/typesig06.lc 5:10-5:14 String
testdata/language-features/basic-values/typesig06.lc 5:10-5:21 a_->String
testdata/language-features/basic-values/typesig06.lc 5:10-5:25 String
testdata/language-features/basic-values/typesig06.lc 5:15-5:21 {a} -> {b} -> a -> b->a
testdata/language-features/basic-values/typesig06.lc 5:22-5:25 Float
testdata/language-features/basic-values/typesig06.lc 5:29-5:35 Type
|
