Hi all, say I want to instantiate
class Dep (a :: k) b | a -> b
as
instance Dep x y => Dep (Just x) (Maybe y)
Is this supposed to work? I get "The coverage condition fails" errors.
For simple cases like
instance Dep True Bool
etc. it seems to work fine.
Thanks and cheers,
Gabor
_______________________________________________
ghc-devs mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
