main is not found
------------ trace
value1 :: [32mforall a . [32m'Num [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m[0m
value2 :: [32mforall a . [32m'Num [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m[0m
value3 :: [32mforall a . [32m'Num [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m[0m
value4 :: [32mforall a . [32m'Num [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m[0m
value5 :: [32mforall a . [32m'Num [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m[0m
------------ tooltips
testdata/language-features/basic-values/let01.lc 1:1-1:7  forall a . Num a => a
testdata/language-features/basic-values/let01.lc 1:18-1:19  _b
testdata/language-features/basic-values/let01.lc 1:23-1:24  _b
testdata/language-features/basic-values/let01.lc 3:1-3:7  forall a . Num a => a
testdata/language-features/basic-values/let01.lc 4:11-4:12  _b
testdata/language-features/basic-values/let01.lc 5:6-5:7  _b
testdata/language-features/basic-values/let01.lc 7:1-7:7  forall a . Num a => a
testdata/language-features/basic-values/let01.lc 8:11-8:12  _b
testdata/language-features/basic-values/let01.lc 9:11-9:14  Char
testdata/language-features/basic-values/let01.lc 10:6-10:7  _b
testdata/language-features/basic-values/let01.lc 12:1-12:7  forall a . Num a => a
testdata/language-features/basic-values/let01.lc 12:18-12:19  _b
testdata/language-features/basic-values/let01.lc 13:13-13:14  _b
testdata/language-features/basic-values/let01.lc 15:1-15:7  forall a . Num a => a
testdata/language-features/basic-values/let01.lc 15:18-15:19  _b
testdata/language-features/basic-values/let01.lc 16:18-16:19  _b
testdata/language-features/basic-values/let01.lc 17:13-17:14  _b