stranal/SaAbsInt.lhs:668: Non-exhaustive patterns in function `absApply'

[Marc van Dongen]

Hi there,

> module F( f ) where
> class C a b where
>   f :: a -> b -> b
> instance C Bool b where
>   f a b = if a then b else b
> instance C (IO Bool) (IO b) where
>   f a b = a >>= \bool -> f bool b


Leads to a ghc-3.02 crash:
  stranal/SaAbsInt.lhs:668: Non-exhaustive patterns in function `absApply'


Hope this helps.


Regards,


Marc