path: root/testsuite/tests/deSugar/should_compile/ds003.stderr

ds003.hs:5:1: Warning:
    Pattern match(es) are redundant
    In an equation for ‘f’:
        f (x : x1 : x2 : x3) ~(y, ys) z = ...
        f x y True = ...