Add pprDefiniteTrace and use it
[ghc-hetmet.git] / compiler / simplCore / Simplify.lhs
2011-04-20 Simon Peyton JonesAdd pprDefiniteTrace and use it
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
2007-09-03 Ian LynaghUse OPTIONS rather than OPTIONS_GHC for pragmas
2007-09-01 Ian LynaghAdd {-# OPTIONS_GHC -w #-} and some blurb to all compil...
2007-08-23 simonpj@microsoft.comImprove handling of inline pragmas, esp where type...
2007-07-02 simonpj@microsoft.comTry harder to avoid making a variable with RULES into...