blob: 657f3fefb360e4af1cce98557cd8b68fbe5214fd (
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 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 -> ()->()
|