testsuite/tests/pmcheck/should_compile/T17977.stderr


1
2
3
4
5
6
7
8
9
10
11


T17977.hs:31:1: warning: [-Wincomplete-patterns (in -Wextra)]
    Pattern match(es) are non-exhaustive
    In an equation for ‘f’:
        Patterns of type  ‘SNat m’, ‘SNat n’, ‘SNat o’,
                          ‘R m n o’ not matched:
            SZ SZ SZ _
            SZ SZ (SS _) _
            SZ (SS _) SZ _
            SZ (SS _) (SS _) _
            ...