blob: b8070de14b2e0c6891a92aa49a76a2b33c33aeef (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
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 3:8-3:9 V1
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 () | ()->() | V0 -> ()->()
|