blob: ad9a38d68ba25fa84f6d4b7de90bb75402806e0e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
main is not found
------------ trace
fun :: [32m{a} -> {_ : 'Eq a} -> {_ : 'Num a} -> {_ : 'Eq a} -> {_ : 'Num a} -> a->'Char[39m[K
------------ 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) V0, False <- == (fromInt 2) V0
|