summaryrefslogtreecommitdiff
path: root/testsuite/tests/pmcheck/should_compile/EmptyCase002.stderr
blob: aac509d1f13127285636024dac50961fb5c7c4b7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

EmptyCase002.hs:16:6: warning: [-Wincomplete-patterns (in -Wextra)]
    Pattern match(es) are non-exhaustive
    In a \case alternative: Patterns of type ‘T’ not matched: MkT _

EmptyCase002.hs:43:6: warning: [-Wincomplete-patterns (in -Wextra)]
    Pattern match(es) are non-exhaustive
    In a \case alternative:
        Patterns of type ‘T1 B’ not matched:
            MkT1 B1
            MkT1 B2

EmptyCase002.hs:47:6: warning: [-Wincomplete-patterns (in -Wextra)]
    Pattern match(es) are non-exhaustive
    In a \case alternative:
        Patterns of type ‘T1 (E Int)’ not matched:
            MkT1 False
            MkT1 True

EmptyCase002.hs:51:6: warning: [-Wincomplete-patterns (in -Wextra)]
    Pattern match(es) are non-exhaustive
    In a \case alternative:
        Patterns of type ‘T1
                            (T2 (T1 (D (E Int) (E (E Int)))))’ not matched:
            MkT1 (MkT2 (MkT1 D2))