blob: c96c691e0739e6a12e9d8356b411fafe4830b664 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
main is not found
------------ trace
f :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> 'Bool -> 'Bool -> 'Bool->[32ma[0;32m[0m
------------ tooltips
testdata/language-features/pattern/uncovered.lc 4:1-4:2 {a} -> {_ : Num a} -> Bool -> Bool -> Bool->a
testdata/language-features/pattern/uncovered.lc 4:18-4:19 b_
testdata/language-features/pattern/uncovered.lc 4:18-5:19 Bool->c_ | c_
testdata/language-features/pattern/uncovered.lc 4:18-6:19 Bool->c_
testdata/language-features/pattern/uncovered.lc 5:18-5:19 b_ | c_
testdata/language-features/pattern/uncovered.lc 5:18-6:19 Bool->c_ | b_
testdata/language-features/pattern/uncovered.lc 6:18-6:19 b_
------------ warnings
Uncovered pattern(s) at testdata/language-features/pattern/uncovered.lc:4:1:
f _ True False = 0
f False _ True = 1
f True False _ = 2
Missing case(s):
False False False
True True True
|