[Haskell-cafe] incomplete-uni-patterns

[Henning Thielemann]

On Thu, 26 Jan 2023, David Feuer wrote:

> It seems to me that instead of working around this, we should add a pragma to suppress the warning at
> the pattern site. Maybe something like
> let
>   {-# PARTIAL_MATCH #-}
>   Just a = blah blah
> 
> That way GHC can see that you noticed the partial match and that you're okay with it.

Not necessary.

You can just do:

case mayb of
    Just a -> do real things
    Nothing -> error "problem arised"