blob: 10a9f633bb3ed595ee0d6111caba264a6f812b51 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
main is not found
------------ trace
value :: [32m{a} -> {b : 'Eq a} -> {c : 'Num a} -> a->'Char[39m[K
------------ tooltips
testdata/language-features/basic-values/case05.lc 1:1-1:6 {a} -> {b : Eq a} -> {c : Num a} -> a->Char
testdata/language-features/basic-values/case05.lc 1:11-2:11 Char
testdata/language-features/basic-values/case05.lc 1:16-1:17 V4
testdata/language-features/basic-values/case05.lc 2:8-2:11 Char
------------ warnings
Uncovered pattern(s) at testdata/language-features/basic-values/case05.lc:1:16:
value x = case x of
^
Missing case(s):
_ | False <- == (fromInt 1) V0
|