Thanks Isaac, that's great. I've simplified your last two patches quite a bit, and pushed the lot.
Simon | -----Original Message----- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Isaac Dupree | Sent: 03 January 2008 20:24 | To: BuildBot Collator | Subject: darcs patch: make stage1 type-class-extension free | | amend-recorded, re-`darcs-sent`, and re-validated (although there are | some unexpected failures nevertheless, which are exactly the same as I | get from an unpatched HEAD's validate today). Hopefully the attached | patches will get through this time. ~Isaac | | | OVERALL SUMMARY for test run started at Thu Jan 3 14:07:24 EST 2008 | 2052 total tests, which gave rise to | 7799 test cases, of which | 0 caused framework failures | 6053 were skipped | | 1661 expected passes | 73 expected failures | 0 unexpected passes | 12 unexpected failures | | Unexpected failures: | GADT11(normal) | Simple13(normal) | derefnull(normal) | divbyzero(normal) | equal(normal) | ghci025(ghci) | set(normal) | syn-perf(normal) | tc(normal) | tc095(normal) | termination(normal) | while(normal) | | | | Wed Dec 26 11:47:49 EST 2007 Isaac Dupree <[EMAIL PROTECTED]> | * change CmmActual, CmmFormal to use a data CmmHinted rather than | tuple (#1405) | This allows the instance of UserOfLocalRegs to be within Haskell98, | and IMHO | makes the code a little cleaner generally. | This is one small (though tedious) step towards making GHC's code more | portable... | | Wed Dec 26 12:19:13 EST 2007 Isaac Dupree <[EMAIL PROTECTED]> | * move and generalize an instance (#1405) | UserOfLocalRegs (ZLast Last) isn't Haskell98, but it was just as | good an instance to be UserOfLocalRegs a => UserOfLocalRegs (ZLast a) | | Wed Dec 26 12:49:04 EST 2007 Isaac Dupree <[EMAIL PROTECTED]> | * move and generalize another instance (#1405) | was instance Outputable CmmGraph | type CmmGraph = LGraph Middle Last | now instance (ctx) => Outputable (LGraph m l), | in module with LGraph where it belongs | This also let us reduce the context of DebugNodes to Haskell98, | leaving that class's only extension being multi-parameter. | (also Outputable (LGraph M Last) with M = ExtendWithSpills Middle | was another redundant instance that was then removed) | | Wed Dec 26 12:59:15 EST 2007 Isaac Dupree <[EMAIL PROTECTED]> | * generalize instance Outputable GenCmm to H98 (#1405) | | Wed Dec 26 14:15:33 EST 2007 Isaac Dupree <[EMAIL PROTECTED]> | * generalize Outputable instances to H98-ize (#1405) | | Thu Jan 3 13:43:19 EST 2008 Isaac Dupree <[EMAIL PROTECTED]> | * remove DebugNodes. No more type-class extensions! (#1405) | | Unfortunately it's a little uglier now. Look at the patch details. | If the distinction between debug and semantic is not so important, | then the contexts in ZipDataflow0 would not look so ugly. | Hopefully this change is good enough. | | Now only Rank2Types remains, plus some fixable MagicHash and | UnboxedTuples | (using ifdefs where necessary not to compromise the speed, of course), | and the ubiquitous PatternGuards, ForeignFunctionInterface and CPP. _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
