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

On Mon, Dec 26, 2011 at 1:21 PM, Michael Orlitzky wrote:

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?

What is your definition of the 'Octet' type?

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