main is not found
------------ trace
value1 :: [32mforall a . ([32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m) => ()[0m
value2 :: [32mforall a . ([32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m, [32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m) => 'String[0m
------------ tooltips
testdata/language-features/basic-values/case02.lc 1:1-1:7  forall a . (Eq a, Num a) => ()
testdata/language-features/basic-values/case02.lc 1:10-3:10  ()
testdata/language-features/basic-values/case02.lc 1:15-1:16  _b
testdata/language-features/basic-values/case02.lc 2:8-2:10  ()
testdata/language-features/basic-values/case02.lc 2:8-3:10  Bool -> ()
testdata/language-features/basic-values/case02.lc 3:8-3:10  ()
testdata/language-features/basic-values/case02.lc 5:1-5:7  forall a . (Eq a, Num a, Eq a, Num a) => String
testdata/language-features/basic-values/case02.lc 5:10-8:11  String
testdata/language-features/basic-values/case02.lc 5:15-5:16  _b
testdata/language-features/basic-values/case02.lc 6:8-6:11  String
testdata/language-features/basic-values/case02.lc 6:8-8:11  Bool -> String
testdata/language-features/basic-values/case02.lc 7:8-7:11  String
testdata/language-features/basic-values/case02.lc 7:8-8:11  Bool -> String | String
testdata/language-features/basic-values/case02.lc 8:8-8:11  String