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

T11822.hs:33:1: warning:
    Pattern match checker ran into -fmax-pmcheck-models=30 limit, so
      • Redundant clauses might not be reported at all
      • Redundant clauses might be reported as inaccessible
      • Patterns reported as unmatched might actually be matched
    Increase the limit or resolve the warnings to suppress this message.

T11822.hs:33:1: warning: [-Wincomplete-patterns (in -Wextra)]
    Pattern match(es) are non-exhaustive
    In an equation for ‘mkTreeNode’:
        Patterns not matched:
            _ (Data.Sequence.Internal.Seq Data.Sequence.Internal.EmptyT)
            (Data.Set.Internal.Bin _ _ _ _) (Depth _)
            _ (Data.Sequence.Internal.Seq Data.Sequence.Internal.EmptyT)
            Data.Set.Internal.Tip (Depth _)
            _ (Data.Sequence.Internal.Seq (Data.Sequence.Internal.Single _))
            (Data.Set.Internal.Bin _ _ _ _) (Depth _)
            _ (Data.Sequence.Internal.Seq (Data.Sequence.Internal.Single _))
            Data.Set.Internal.Tip (Depth _)
            ...