2010-12-21 |
simonpj@microsoft.com | Add a simple arity analyser |
blob | commitdiff |
2010-11-16 |
simonpj@microsoft.com | Refactoring of the way that inlinings and rules are... |
blob | commitdiff | diff to current |
2010-10-27 |
simonpj@microsoft.com | Two signficant changes to the simplifier |
blob | commitdiff | diff to current |
2010-10-07 |
simonpj@microsoft.com | Avoid redundant simplification |
blob | commitdiff | diff to current |
2010-09-24 |
simonpj@microsoft.com | Eta expand only lambdas that bind a non-dictionary Id |
blob | commitdiff | diff to current |
2010-09-13 |
simonpj@microsoft.com | Super-monster patch implementing the new typechecker... |
blob | commitdiff | diff to current |
2010-07-27 |
simonpj@microsoft.com | Improvement to SimplUtils.mkLam |
blob | commitdiff | diff to current |
2010-08-12 |
simonpj@microsoft.com | Comments |
blob | commitdiff | diff to current |
2010-04-23 |
Simon Marlow | reinstate eta-expansion during SimplGently, to fix... |
blob | commitdiff | diff to current |
2010-03-05 |
simonpj@microsoft.com | Fix Trac #3736: do not preInlineUnconditionally with... |
blob | commitdiff | diff to current |
2010-01-05 |
simonpj@microsoft.com | Very minor refactoring |
blob | commitdiff | diff to current |
2009-12-24 |
simonpj@microsoft.com | A bunch of stuff relating to substitutions on core |
blob | commitdiff | diff to current |
2009-12-18 |
simonpj@microsoft.com | Move all the CoreToDo stuff into CoreMonad |
blob | commitdiff | diff to current |
2009-12-16 |
simonpj@microsoft.com | Adjust Activations for specialise and work/wrap, and... |
blob | commitdiff | diff to current |
2009-12-16 |
simonpj@microsoft.com | Comments only |
blob | commitdiff | diff to current |
2009-12-11 |
simonpj@microsoft.com | Bottom extraction: float out bottoming expressions... |
blob | commitdiff | diff to current |
2009-12-02 |
simonpj@microsoft.com | More work on the simplifier's inlining strategies |
blob | commitdiff | diff to current |
2009-11-19 |
simonpj@microsoft.com | Remove the (very) old strictness analyser |
blob | commitdiff | diff to current |
2009-11-19 |
simonpj@microsoft.com | Refactor case-merging and identical-alternative optimis... |
blob | commitdiff | diff to current |
2009-11-17 |
simonpj@microsoft.com | Apply RULES to simplified arguments |
blob | commitdiff | diff to current |
2009-11-10 |
simonpj@microsoft.com | Wibbles to the inline-in-InlineRule stuff |
blob | commitdiff | diff to current |
2009-11-10 |
simonpj@microsoft.com | Don't inline a loop breaker, even if it has an INLINE... |
blob | commitdiff | diff to current |
2009-11-09 |
simonpj@microsoft.com | Allow inlining in "SimplGentle" mode |
blob | commitdiff | diff to current |
2009-11-05 |
simonpj@microsoft.com | Be a tiny bit keener to inline in the RHS of a let |
blob | commitdiff | diff to current |
2009-11-05 |
simonpj@microsoft.com | Another refactoring on the shape of an Unfolding |
blob | commitdiff | diff to current |
2009-10-29 |
simonpj@microsoft.com | The Big INLINE Patch: totally reorganise way that INLIN... |
blob | commitdiff | diff to current |
2009-07-24 |
Ian Lynagh | Remove GHC's haskell98 dependency |
blob | commitdiff | diff to current |
2009-04-03 |
simonpj@microsoft.com | Adjust inlining heursitics |
blob | commitdiff | diff to current |
2009-03-25 |
simonpj@microsoft.com | Improve mkDupableCont; and fix Trac #3116 |
blob | commitdiff | diff to current |
2009-03-18 |
simonpj@microsoft.com | Add the notion of "constructor-like" Ids for rule-matching |
blob | commitdiff | diff to current |
2009-02-04 |
simonpj@microsoft.com | Improve transferPolyIdInfo for value-arg abstraction |
blob | commitdiff | diff to current |
2009-01-13 |
simonpj@microsoft.com | Rewrite CorePrep and improve eta expansion |
blob | commitdiff | diff to current |
2008-12-16 |
Simon Marlow | Rollback INLINE patches |
blob | commitdiff | diff to current |
2008-12-05 |
simonpj@microsoft.com | Completely new treatment of INLINE pragmas (big patch) |
blob | commitdiff | diff to current |
2008-10-28 |
simonpj@microsoft.com | Fix Trac #2720: inlining and casts |
blob | commitdiff | diff to current |
2008-10-03 |
simonpj@microsoft.com | Make a debug check more refined |
blob | commitdiff | diff to current |
2008-09-17 |
simonpj@microsoft.com | Avoid arity reduction when doing eta-reduce |
blob | commitdiff | diff to current |
2008-08-26 |
simonpj@microsoft.com | Fix flaggery for RULES (cf Trac #2497) |
blob | commitdiff | diff to current |
2008-07-20 |
Thomas Schilling | Fix Haddock errors. |
blob | commitdiff | diff to current |
2008-06-03 |
simonpj@microsoft.com | Shorten debug messages |
blob | commitdiff | diff to current |
2008-05-28 |
Simon Marlow | Use MD5 checksums for recompilation checking (fixes... |
blob | commitdiff | diff to current |
2008-05-04 |
Ian Lynagh | Make SimplUtils warning-free |
blob | commitdiff | diff to current |
2008-04-22 |
Ian Lynagh | (F)SLIT -> (f)sLit in SimplUtils |
blob | commitdiff | diff to current |
2008-04-22 |
simonpj@microsoft.com | Simplify SimplCont, plus some other small changes to... |
blob | commitdiff | diff to current |
2008-04-11 |
simonpj@microsoft.com | Transfer strictness and arity info when abstracting... |
blob | commitdiff | diff to current |
2008-04-03 |
simonpj@microsoft.com | Fix simplifier thrashing |
blob | commitdiff | diff to current |
2008-03-29 |
Ian Lynagh | Don't import FastString in HsVersions.h |
blob | commitdiff | diff to current |
2008-02-11 |
Roman Leshchinskiy | Symbolic tags for simplifier phases |
blob | commitdiff | diff to current |
2008-02-07 |
simonpj@microsoft.com | Redo inlining patch, plus some tidying up |
blob | commitdiff | diff to current |
2008-01-17 |
Twan van Laarhoven | Monadify simplCore/SimplUtils: use do, return, standard... |
blob | commitdiff | diff to current |
2007-12-20 |
simonpj@microsoft.com | Remove obselete code for update-in-place (which we... |
blob | commitdiff | diff to current |
2007-12-04 |
simonpj@microsoft.com | Make eta reduction check more carefully for bottoms... |
blob | commitdiff | diff to current |
2007-12-04 |
simonpj@microsoft.com | Improve inlining for INLINE non-functions |
blob | commitdiff | diff to current |
2007-12-03 |
simonpj@microsoft.com | Improve eta reduction, to reduce Simplifier iterations |
blob | commitdiff | diff to current |
2007-11-12 |
simonpj@microsoft.com | Improve documentation of INLINE, esp its interactions... |
blob | commitdiff | diff to current |
2007-11-05 |
simonpj@microsoft.com | Fix an old but subtle bug in the Simplifier |
blob | commitdiff | diff to current |
2007-09-04 |
Ian Lynagh | Fix CodingStyle#Warnings URLs |
blob | commitdiff | diff to current |
2007-09-03 |
Ian Lynagh | Use OPTIONS rather than OPTIONS_GHC for pragmas |
blob | commitdiff | diff to current |
2007-09-01 |
Ian Lynagh | Add {-# OPTIONS_GHC -w #-} and some blurb to all compil... |
blob | commitdiff | diff to current |
2007-08-23 |
simonpj@microsoft.com | Improve handling of inline pragmas, esp where type... |
blob | commitdiff | diff to current |
2007-05-09 |
simonpj@microsoft.com | Two more small bugs in abstractFloats |
blob | commitdiff | diff to current |
2007-05-09 |
simonpj@microsoft.com | Fix a bug in (the new function) SimplUtils.abstractFloats |
blob | commitdiff | diff to current |
2007-05-07 |
simonpj@microsoft.com | Make let-floating work even if there are big lambdas... |
blob | commitdiff | diff to current |
2007-05-04 |
simonpj@microsoft.com | Make -frewrite-rules into a dynamic flag; off for -O0 |
blob | commitdiff | diff to current |
2007-05-04 |
simonpj@microsoft.com | Fix the pruning of dead case alternatives |
blob | commitdiff | diff to current |
2007-05-03 |
simonpj@microsoft.com | Less voluminous debug |
blob | commitdiff | diff to current |
2007-02-21 |
simonpj@microsoft.com | Fix case-merge bug that was breaking the HEAD |
blob | commitdiff | diff to current |
2007-02-09 |
simonpj@microsoft.com | Refactor the simplifier's treatment of case expressions |
blob | commitdiff | diff to current |
2007-02-05 |
simonpj@microsoft.com | Float casts out of lambdas |
blob | commitdiff | diff to current |
2007-01-31 |
simonpj@microsoft.com | Use Id.isStrictId |
blob | commitdiff | diff to current |
2006-12-12 |
simonpj@microsoft.com | Comments only |
blob | commitdiff | diff to current |
2006-11-04 |
Samuel Bronson | Fix up .lhs delimiters a bit |
blob | commitdiff | diff to current |
2006-11-06 |
simonpj@microsoft.com | Various debugging print changes; nothing exciting |
blob | commitdiff | diff to current |
2006-11-01 |
simonpj@microsoft.com | Major overhaul of the Simplifier |
blob | commitdiff | diff to current |
2006-10-13 |
simonpj@microsoft.com | Add assertion checks for mkCoVar/mkTyVar |
blob | commitdiff | diff to current |
2006-10-05 |
simonpj@microsoft.com | Remove unused OccInfo (simplification) |
blob | commitdiff | diff to current |
2006-10-04 |
simonpj@microsoft.com | Second bite at the rules-only idea |
blob | commitdiff | diff to current |
2006-09-27 |
simonpj@microsoft.com | Fix exprIsConApp_maybe (wasn't dealing properly with... |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Clean up and refactor in SimplUtils.mkCase1 (identity... |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Indexed newtypes |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | fix default case filling-in for GADTs |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | newtype fixes, coercions for non-recursive newtypes... |
blob | commitdiff | diff to current |
2006-09-19 |
Manuel M T Chakravarty | Adapt SimplUtils.getContArgs to conditional SubstEnv |
blob | commitdiff | diff to current |
2006-09-18 |
Manuel M T Chakravarty | fix out-of-scope variable |
blob | commitdiff | diff to current |
2006-09-15 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
blob | commitdiff | diff to current |
2006-08-10 |
simonpj@microsoft.com | Add an IAmDead case to postInlineUnconditionally, and... |
blob | commitdiff | diff to current |
2006-08-10 |
simonpj@microsoft.com | Do not repeatedly simplify an argument more than once |
blob | commitdiff | diff to current |
2006-08-10 |
simonpj@microsoft.com | Make postInlineUnconditaionally more conservative |
blob | commitdiff | diff to current |
2006-07-12 |
simonpj@microsoft.com | Experimental flag -fdicts-cheap |
blob | commitdiff | diff to current |
2006-06-05 |
simonpj@microsoft.com | Remove InlinePlease and add inline function and RULE |
blob | commitdiff | diff to current |
2006-05-22 |
simonpj@microsoft.com | Inline in a call argument if the caller has RULES |
blob | commitdiff | diff to current |
2006-05-17 |
simonpj@microsoft.com | Spelling correction |
blob | commitdiff | diff to current |
2006-04-12 |
simonpj@microsoft.com | Improve pruning of case alternatives to account for... |
blob | commitdiff | diff to current |
2006-04-07 |
Simon Marlow | Reorganisation of the source tree |
blob | commitdiff | diff to current |
|