blob: 1e0208bb206835944176b4a1bbb54b3743e9fe64 (
plain)
1
2
3
4
5
6
7
8
|
main is not found
------------ tooltips
testdata/language-features/basic-values/case06.lc 1:1-1:6 {a} -> {b : Eq a} -> {c : Num a} -> a->Char
testdata/language-features/basic-values/case06.lc 1:11-3:11 Char
testdata/language-features/basic-values/case06.lc 1:16-1:17 V4
testdata/language-features/basic-values/case06.lc 2:8-2:11 Char
testdata/language-features/basic-values/case06.lc 2:8-3:11 Bool->Char
testdata/language-features/basic-values/case06.lc 3:8-3:11 Char
|