blob: 3161d04a3b63841d8cb1cd1cfc7b085761d76779 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
main is not found
------------ trace
fun :: [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} -> {[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
------------ tooltips
testdata/language-features/basic-values/def03.lc 1:1-1:4 {a} -> {_ : Eq a} -> {_ : Num a} -> {_ : Eq a} -> {_ : Num a} -> a->Char
testdata/language-features/basic-values/def03.lc 1:9-1:12 Char
testdata/language-features/basic-values/def03.lc 1:9-2:12 Bool->Char
testdata/language-features/basic-values/def03.lc 2:9-2:12 Char
------------ warnings
Uncovered pattern(s) at testdata/language-features/basic-values/def03.lc:1:1:
fun 1 = '1'
fun 2 = '2'
Missing case(s):
_ | False <- fromInt 1 == a_, False <- fromInt 2 == a_
|