blob: e1d50e47490e38bc88907f5106e8fee6fb4a5359 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
main is not found
------------ trace
'MyUnit :: [32mType[39m[K
fun :: [32m{a} -> a -> ()->()[39m[K
------------ tooltips
testdata/language-features/basic-values/typesyn02.lc 1:6-1:12 Type
testdata/language-features/basic-values/typesyn02.lc 1:15-1:17 Type
testdata/language-features/basic-values/typesyn02.lc 3:8-3:9 b_
testdata/language-features/basic-values/typesyn02.lc 3:8-3:29 Type
testdata/language-features/basic-values/typesyn02.lc 3:13-3:19 Type
testdata/language-features/basic-values/typesyn02.lc 3:13-3:29 Type
testdata/language-features/basic-values/typesyn02.lc 3:23-3:29 Type
testdata/language-features/basic-values/typesyn02.lc 4:1-4:4 {a} -> a -> ()->()
testdata/language-features/basic-values/typesyn02.lc 4:12-4:14 () | ()->() | a_ -> ()->()
|