Merge remote branch 'origin/master' into ghc-new-co
[ghc.git] / compiler / simplCore / Simplify.lhs
2011-04-30  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co
2011-04-27  Ben LippmeierMerge branch 'master' of /Users/benl/devel/ghc/ghc...
2011-04-21  Simon Peyton JonesMerge branch 'master' of
2011-04-20  Simon Peyton JonesAdd pprDefiniteTrace and use it
2011-04-19  Simon Peyton JonesThis BIG PATCH contains most of the work for the New...
2011-03-02  simonpj@microsoft.comMake -fno-enable-rewrite-rules work properly
2011-02-14  simonpj@microsoft.comBetter case-of-case transformation
2011-02-01  simonpj@microsoft.comDon't make join points when the case has only one non...
2011-01-31  simonpj@microsoft.comImprove Simplifier and SpecConstr behaviour
2011-01-25  simonpj@microsoft.comFix Trac #3717 by making exprOkForSpeculation a bit...
2010-12-21  simonpj@microsoft.comMiscellaneous tidying up and refactoring
2010-12-13  simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2010-12-08  simonpj@microsoft.comMake the case-to-let transformation a little less eager
2010-11-27  Roman LeshchinskiyNew flag -dddump-rule-rewrites
2010-11-16  simonpj@microsoft.comRefactoring of the way that inlinings and rules are...
2010-10-27  simonpj@microsoft.comTwo signficant changes to the simplifier
2010-10-20  Ian LynaghAvoid hanging on to old unfoldings; fixes #4367 (compil...
2010-10-15  Simon MarlowFix #4346 (INLINABLE pragma not behaving consistently)
2010-10-07  simonpj@microsoft.comAvoid redundant simplification
2010-09-15  Ian LynaghFix typo
2010-09-15  simonpj@microsoft.comImplement INLINABLE pragma
2010-09-15  simonpj@microsoft.comComments only
2010-09-14  simonpj@microsoft.comMove error-ids to MkCore (from PrelRules)
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-05-31  simonpj@microsoft.comRobustify the treatement of DFunUnfolding
2010-06-14  simonpj@microsoft.comFix spelling in comment
2010-05-03  Simon PJMake the demand analyser take account of lambda-bound...
2010-02-10  simonpj@microsoft.comStop fruitless ANF-ing
2010-01-06  simonpj@microsoft.comImprove the handling of default methods
2009-12-24  simonpj@microsoft.comA bunch of stuff relating to substitutions on core
2009-12-22  simonpj@microsoft.comPrint out a bit more info with the "arity decrease...
2010-01-04  simonpj@microsoft.comSubstantial improvements to coercion optimisation
2009-12-18  simonpj@microsoft.comMove all the CoreToDo stuff into CoreMonad
2009-12-18  simonpj@microsoft.comMake -ddump-inlinings and -ddump-rule-firings less...
2009-12-16  simonpj@microsoft.comAdjust Activations for specialise and work/wrap, and...
2009-12-16  simonpj@microsoft.comTwo improvements to optCoercion
2009-12-11  simonpj@microsoft.comBottom extraction: float out bottoming expressions...
2009-12-02  simonpj@microsoft.comMore work on the simplifier's inlining strategies
2009-11-19  simonpj@microsoft.comRemove the (very) old strictness analyser
2009-11-19  simonpj@microsoft.comImplement -fexpose-all-unfoldings, and fix a non-termin...
2009-11-19  simonpj@microsoft.comRefactor case-merging and identical-alternative optimis...
2009-11-17  simonpj@microsoft.comApply RULES to simplified arguments
2009-11-10  simonpj@microsoft.comWibbles to the inline-in-InlineRule stuff
2009-11-10  simonpj@microsoft.comImplement the PushC rule when optimising casts
2009-11-10  simonpj@microsoft.comPreserve strictness when floating coercions
2009-11-09  simonpj@microsoft.comRemove dead code
2009-11-09  simonpj@microsoft.comAllow inlining in "SimplGentle" mode
2009-11-05  simonpj@microsoft.comBe a tiny bit keener to inline in the RHS of a let
2009-11-05  simonpj@microsoft.comAnother refactoring on the shape of an Unfolding
2009-11-04  simonpj@microsoft.comComment only
2009-11-05  simonpj@microsoft.comComments only, relating to Roman's new built-in rule...
2009-11-04  Roman LeshchinskiyAdd builtin rule to eliminate unnecessary casts in seq
2009-10-30  simonpj@microsoft.comBe less noisy in a debug trace (Arity decrease)
2009-10-30  simonpj@microsoft.comImprove coercion optimisation
2009-10-29  simonpj@microsoft.comThe Big INLINE Patch: totally reorganise way that INLIN...
2009-10-26  simonpj@microsoft.comAdd a coercion optimiser, to reduce the size of coercio...
2009-09-11  simonpj@microsoft.comImprove optimisation of cost centres
2009-06-18  t-peterj@microsoft.comComment fix: use the same variable names in the conclus...
2009-06-03  simonpj@microsoft.comAllow RULES for seq, and exploit them
2009-04-02  simonpj@microsoft.comFix Trac #3118: missing alternative
2009-03-25  simonpj@microsoft.comImprove mkDupableCont; and fix Trac #3116
2009-03-23  simonpj@microsoft.comImprove arity propagation in the specialiser
2009-03-18  simonpj@microsoft.comAdd the notion of "constructor-like" Ids for rule-matching
2009-01-13  simonpj@microsoft.comRewrite CorePrep and improve eta expansion
2008-12-16  Simon MarlowUNDO: Add -fpass-case-bndr-to-join-points
2008-12-16  Simon MarlowRollback INLINE patches
2008-12-08  simonpj@microsoft.comWhite space only
2008-12-05  simonpj@microsoft.comCompletely new treatment of INLINE pragmas (big patch)
2008-12-05  simonpj@microsoft.comAdd -fpass-case-bndr-to-join-points
2008-10-02  simonpj@microsoft.comMinor refactoring only
2008-09-20  simonpj@microsoft.comTidy up the treatment of dead binders
2008-09-18  simonpj@microsoft.comAdd a missing "prime" (env' --> env'') thereby fixing...
2008-09-17  simonpj@microsoft.comAdd extra WARN test
2008-09-14  simonpj@microsoft.comComments, and a couple of asserts, only
2008-09-05  simonpj@microsoft.comRetain unfoldings even with SimplGently
2008-09-03  simonpj@microsoft.comImproved specialisation of recursive groups
2008-07-31  Max BolingbrokeFollow Literal change in Simplify
2008-07-20  Thomas SchillingFix Haddock errors.
2008-06-17  Simon MarlowFix an example where we weren't doing case-of-case...
2008-06-14  simonpj@microsoft.comFix nasty Simplifier scoping bug
2008-06-05  simonpj@microsoft.comAdd non-recursive let-bindings for types
2008-05-16  simonpj@microsoft.comImprove the treatment of 'seq' (Trac #2273)
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in Simplify
2008-04-22  simonpj@microsoft.comSimplify SimplCont, plus some other small changes to...
2008-03-29  Ian LynaghDon't import FastString in HsVersions.h
2008-02-22  Ian LynaghFix warnings in Simplify
2008-02-22  Ian LynaghWhitespace
2008-02-07  simonpj@microsoft.comRedo inlining patch, plus some tidying up
2008-01-17  Twan van LaarhovenMonadify simplCore/Simplify: use do and return
2008-01-17  simonpj@microsoft.comRecord evaluated-ness information correctly for strict...
2007-12-20  simonpj@microsoft.comFix Trac #1988; keep the ru_fn field of a RULE up to...
2007-12-04  simonpj@microsoft.comImprove inlining for INLINE non-functions
2007-11-15  simonpj@microsoft.comMake SpecConstr work again
2007-11-05  simonpj@microsoft.comFix an old but subtle bug in the Simplifier
2007-10-30  simonpj@microsoft.comFIX BUILD: a glitch in the new rules and inlining stuff
2007-10-29  simonpj@microsoft.comSubstantial improvement to the interaction of RULES...
2007-10-16  simonpj@microsoft.comShow inlined function in the header of 'Inlining done...
2007-10-01  Manuel M T ChakravartyFIX #1738: KPush rule of FC must take dataConEqTheta...
2007-09-20  simonpj@microsoft.comFix Trac #1718: interaction of error, unlifted tuples...
2007-09-04  Ian LynaghFix CodingStyle#Warnings URLs