Tue Dec 19 13:30:17 PST 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Deriving for indexed newtypes
- The isomorphism-based newtype-deriving isn't very useful for indexed types
right now as it rejects all recursive declarations, and we have to mark
all indexed type instances as recurrsive as we can't guarantee that future
instances aren't going to make them part of a recursive group.
M ./compiler/typecheck/TcDeriv.lhs -16 +47
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
