Dear Core Libraries Committee
In addition to seeking your guidance about the comparison-primop question (a 
decision in the next few days would be most welcome), there are of course other 
breaking changes in GHC 7.8.
High on the list is Typeable (see http://ghc.haskell.org/trac/ghc/ticket/8132), 
which has become polykinded, which is SO much better.  Also, to guarantee the 
type-soundness of Typeable, we want to make it an error to use hand-rolled 
instances, rather than "deriving( Typeable )".  The latter is very common 
anyhow, and the hand-rolled ones mostly use Typeable1 which is now heavily 
deprecated.
There's a compatibility module Data.OldTypeable, but you'd have to import it to 
get the old behaviour.
It's very difficult to really provide a "bumpless transfer", which is why 
Michael's idea of a compatibility package might be worth exploring.
Anyway this is just a heads-up.
Simon

Microsoft Research Limited (company number 03369488) is registered in England 
and Wales
Registered office is at 21 Station Road, Cambridge, CB1 2FB

_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs

Reply via email to