main is not found
------------ trace
value :: {a} -> {_ : 'Eq a} -> {_ : 'Num a} -> a->'Char
------------ tooltips
testdata/language-features/basic-values/case06.lc 1:1-1:6  {a} -> {_ : Eq a} -> {_ : 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  e_
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