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
- Re: stranal/SaAbsInt.lhs:668: Non-exhaustive patterns in f... Marc van Dongen
- Re: stranal/SaAbsInt.lhs:668: Non-exhaustive patterns... Simon Marlow
- Re: stranal/SaAbsInt.lhs:668: Non-exhaustive patterns... Sigbjorn Finne