Major Overhaul of Pattern Match Checking (Fixes #595)
[ghc.git] / testsuite / tests / pmcheck / should_compile / pmc007.stderr
1 pmc007.hs:7:1: warning:
2     Pattern match(es) are non-exhaustive
3     In an equation for ā€˜fā€™:
4         Patterns not matched: p where p is not one of {"ac", "ab"}
5
6 pmc007.hs:12:1: warning:
7     Pattern match(es) are non-exhaustive
8     In an equation for ā€˜gā€™:
9         Patterns not matched:
10             ('a':'b':_:_)
11             ('a':'c':_:_)
12             ('a':p:_) where p is not one of {'c', 'b'}
13             ['a']
14             ...
15
16 pmc007.hs:18:11: warning:
17     Pattern match(es) are non-exhaustive
18     In a case alternative:
19         Patterns not matched:
20             ('a':'b':_:_)
21             ('a':'c':_:_)
22             ('a':p:_) where p is not one of {'c', 'b'}
23             ['a']
24             ...