Re: Why GHC doesn't warn about LHS nullary-constructor pattern bindings?

19 Jul 2012

      In your case the Nothing is unused so will never be a problem.

Perhaps more worrying:

foo :: Int -> Int
foo n = x + 1
    where
      Just x = Nothing

This gives no warnings.

Christopher Done