[Haskell-cafe] Non-exhaustive pattern match warning (incorrect?)

[Michael Orlitzky]

I'm cleaning up some old projects, and hit this:

  src/Octet.hs:47:27:
    Warning: Pattern match(es) are non-exhaustive
    In a record-update construct: Patterns not matched: Octet.None

But in the source, I've checked for that case:

  class Maskable a where
    apply_mask :: a -> Maskbits -> Bit -> a

  instance Maskable Octet where
    apply_mask _ Maskbits.None _ = Octet.None
    apply_mask Octet.None _ _    = Octet.None
    apply_mask oct mask bit
        | mask == Eight = oct
        | mask == Seven = oct { b8 = bit } -- Line 47
        ...
        | otherwise = Octet.None


Am I overlooking something, or did I already match Octet.None?

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe