darcs patch: make stage1 type-class-extension free
isaacdupree at charter.net
Fri Jan 4 09:17:08 EST 2008
Simon Peyton-Jones wrote:
> Thanks Isaac, that's great. I've simplified your last two patches quite a bit,
> and pushed the lot.
Thanks! for the GenIface one, you understand what the data structure is
doing enough that you were able to change it;
and for DebugNodes, hmm. You may have reduced it so that only
MultiParamTypeClasses is needed (I'll have to check with 6.8 -- I don't
fully understand what the instance rules for MultiParamTypeClasses are
supposed to be normally). And... all current compilers support
claims neither nhc nor jhc do?) although it looks like neither of the
post-modification DebugNodes instances actually require
FlexibleInstances, as far as I can tell from the haskell-prime wiki...
I'll save any more concern about that until later after I've fixed the
other more blatant portability problems.
More information about the Cvs-ghc