main is not found
------------ trace
value :: forall a . ('Eq a, 'Num a) => a -> 'Char
------------ tooltips
testdata/language-features/basic-values/case05.lc 1:1-1:6  forall a . (Eq a, Num a) => a -> Char
testdata/language-features/basic-values/case05.lc 1:11-2:11  Char
testdata/language-features/basic-values/case05.lc 1:16-1:17  _e
testdata/language-features/basic-values/case05.lc 2:8-2:11  Char
------------ warnings
Uncovered pattern(s) at testdata/language-features/basic-values/case05.lc:1:16:
value x = case x of
               ^
Missing case(s):
  _ | False <- fromInt 1 == _a