Merge branch 'no-pred-ty'
[ghc.git] / compiler / simplCore / Simplify.lhs
2011-09-09  Max BolingbrokeMerge branch 'no-pred-ty'
2011-09-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-07  Simon Peyton JonesRemove dead code
2011-09-06  Max BolingbrokeZap demand information if the simplifier reduces the...
2011-07-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-21  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-21  Simon Peyton JonesSimplify the treatment of RULES in OccurAnal
2011-07-18  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-18  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-15  Simon Peyton JonesA bit of trace refactoring
2011-06-24  Ian LynaghMerge branch 'master' of dippy:c:/msys/1.0/home/ian...
2011-06-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-23  Simon Peyton JonesGet rid of the DFunArg type and all its works
2011-05-18  Dimitrios VytiniotisMerge remote branch 'origin/master'
2011-05-12  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-12  Simon Peyton JonesThe final batch of changes for the new coercion represe...
2011-05-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-11  Simon Peyton JonesMerge remote branch 'origin/master'
2011-05-09  Simon Peyton JonesMerge ghc-new-co into master branch
2011-05-08  Ian LynaghMerge branch 'coloured-core' of https://github.com...
2011-05-06  Simon Peyton JonesMerge master into the ghc-new-co branch
2011-05-04  Simon Peyton JonesMerge commit
2011-05-02  Simon Peyton JonesMerge in changes from HEAD
2011-04-30  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co
2011-04-27  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-04-27  Ben LippmeierMerge branch 'master' of /Users/benl/devel/ghc/ghc...
2011-04-21  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-04-20  Simon Peyton JonesAdd pprDefiniteTrace and use it
2011-04-20  Simon Peyton JonesMerge branch 'master' into ghc-new-co
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...
next