le 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
> >
>
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'
This looks like a bug in the strictness analyser. Until we can track
down the cause, a simple workaround is to use the fl
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: