------------ desugared source code
fun1
  = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs '_') (_rhs '0') (fromInt 0 == a)
fun2 = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs '_') (_rhs '0') ("0" == a)
fun3 = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs '_') (_rhs '0') ('0' == a)
fun4 = \(a :: _) -> hlistNilCase (_ :: _) (_rhs '0') a
main is not found
------------ trace
fun1 :: [32mforall a . ([32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => [32ma[0;32m -> Char[0m
fun2 :: [32mString -> Char[0m
fun3 :: [32mChar -> Char[0m
fun4 :: [32m() -> Char[0m
------------ tooltips
testdata/language-features/pattern/pattern01.lc 1:1-1:5  forall a . (Eq a, Num a) => a -> Char
testdata/language-features/pattern/pattern01.lc 1:10-1:13  Char
testdata/language-features/pattern/pattern01.lc 1:10-2:13  Bool -> Char
testdata/language-features/pattern/pattern01.lc 2:10-2:13  Char
testdata/language-features/pattern/pattern01.lc 4:1-4:5  String -> Char
testdata/language-features/pattern/pattern01.lc 4:12-4:15  Char
testdata/language-features/pattern/pattern01.lc 4:12-5:13  Bool -> Char
testdata/language-features/pattern/pattern01.lc 5:10-5:13  Char
testdata/language-features/pattern/pattern01.lc 7:1-7:5  Char -> Char
testdata/language-features/pattern/pattern01.lc 7:12-7:15  Char
testdata/language-features/pattern/pattern01.lc 7:12-8:13  Bool -> Char
testdata/language-features/pattern/pattern01.lc 8:10-8:13  Char
testdata/language-features/pattern/pattern01.lc 10:1-10:5  () -> Char
testdata/language-features/pattern/pattern01.lc 10:11-10:14  Char
------------ warnings
Source code is not reachable: testdata/language-features/pattern/pattern01.lc:11:10:
fun4 _ = '_'
         ^^^