main is not found
------------ trace
fun1 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m->'Char[0m
fun2 :: [32m'String->'Char[0m
fun3 :: [32m'Char->'Char[0m
fun4 :: [32m()->'Char[0m
------------ tooltips
testdata/language-features/pattern/pattern01.lc 1:1-1:5  {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 _ = '_'
         ^^^