darcs patch: make stage1 type-class-extension free
Isaac Dupree
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
MultiParamTypeClasses? (
http://hackage.haskell.org/trac/haskell-prime/wiki/HaskellExtensions
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.
~Isaac
More information about the Cvs-ghc
mailing list