| 2010-10-15 |
Simon Marlow | Fix #4346 (INLINABLE pragma not behaving consistently) |
blob | commitdiff |
| 2010-10-07 |
simonpj@microsoft.com | Avoid redundant simplification |
blob | commitdiff | diff to current |
| 2010-09-15 |
Ian Lynagh | Fix typo |
blob | commitdiff | diff to current |
| 2010-09-15 |
simonpj@microsoft.com | Implement INLINABLE pragma |
blob | commitdiff | diff to current |
| 2010-09-15 |
simonpj@microsoft.com | Comments only |
blob | commitdiff | diff to current |
| 2010-09-14 |
simonpj@microsoft.com | Move error-ids to MkCore (from PrelRules) |
blob | commitdiff | diff to current |
| 2010-09-13 |
simonpj@microsoft.com | Super-monster patch implementing the new typechecker... |
blob | commitdiff | diff to current |
| 2010-05-31 |
simonpj@microsoft.com | Robustify the treatement of DFunUnfolding |
blob | commitdiff | diff to current |
| 2010-06-14 |
simonpj@microsoft.com | Fix spelling in comment |
blob | commitdiff | diff to current |
| 2010-05-03 |
Simon PJ | Make the demand analyser take account of lambda-bound... |
blob | commitdiff | diff to current |
| 2010-02-10 |
simonpj@microsoft.com | Stop fruitless ANF-ing |
blob | commitdiff | diff to current |
| 2010-01-06 |
simonpj@microsoft.com | Improve the handling of default methods |
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-22 |
simonpj@microsoft.com | Print out a bit more info with the "arity decrease... |
blob | commitdiff | diff to current |
| 2010-01-04 |
simonpj@microsoft.com | Substantial improvements to coercion optimisation |
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-18 |
simonpj@microsoft.com | Make -ddump-inlinings and -ddump-rule-firings less... |
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 | Two improvements to optCoercion |
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 | Implement -fexpose-all-unfoldings, and fix a non-termin... |
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 | Implement the PushC rule when optimising casts |
blob | commitdiff | diff to current |
| 2009-11-10 |
simonpj@microsoft.com | Preserve strictness when floating coercions |
blob | commitdiff | diff to current |
| 2009-11-09 |
simonpj@microsoft.com | Remove dead code |
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-11-04 |
simonpj@microsoft.com | Comment only |
blob | commitdiff | diff to current |
| 2009-11-05 |
simonpj@microsoft.com | Comments only, relating to Roman's new built-in rule... |
blob | commitdiff | diff to current |
| 2009-11-04 |
Roman Leshchinskiy | Add builtin rule to eliminate unnecessary casts in seq |
blob | commitdiff | diff to current |
| 2009-10-30 |
simonpj@microsoft.com | Be less noisy in a debug trace (Arity decrease) |
blob | commitdiff | diff to current |
| 2009-10-30 |
simonpj@microsoft.com | Improve coercion optimisation |
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-10-26 |
simonpj@microsoft.com | Add a coercion optimiser, to reduce the size of coercio... |
blob | commitdiff | diff to current |
| 2009-09-11 |
simonpj@microsoft.com | Improve optimisation of cost centres |
blob | commitdiff | diff to current |
| 2009-06-18 |
t-peterj@microsoft.com | Comment fix: use the same variable names in the conclus... |
blob | commitdiff | diff to current |
| 2009-06-03 |
simonpj@microsoft.com | Allow RULES for seq, and exploit them |
blob | commitdiff | diff to current |
| 2009-04-02 |
simonpj@microsoft.com | Fix Trac #3118: missing alternative |
blob | commitdiff | diff to current |
| 2009-03-25 |
simonpj@microsoft.com | Improve mkDupableCont; and fix Trac #3116 |
blob | commitdiff | diff to current |
| 2009-03-23 |
simonpj@microsoft.com | Improve arity propagation in the specialiser |
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-01-13 |
simonpj@microsoft.com | Rewrite CorePrep and improve eta expansion |
blob | commitdiff | diff to current |
| 2008-12-16 |
Simon Marlow | UNDO: Add -fpass-case-bndr-to-join-points |
blob | commitdiff | diff to current |
| 2008-12-16 |
Simon Marlow | Rollback INLINE patches |
blob | commitdiff | diff to current |
| 2008-12-08 |
simonpj@microsoft.com | White space only |
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-12-05 |
simonpj@microsoft.com | Add -fpass-case-bndr-to-join-points |
blob | commitdiff | diff to current |
| 2008-10-02 |
simonpj@microsoft.com | Minor refactoring only |
blob | commitdiff | diff to current |
| 2008-09-20 |
simonpj@microsoft.com | Tidy up the treatment of dead binders |
blob | commitdiff | diff to current |
| 2008-09-18 |
simonpj@microsoft.com | Add a missing "prime" (env' --> env'') thereby fixing... |
blob | commitdiff | diff to current |
| 2008-09-17 |
simonpj@microsoft.com | Add extra WARN test |
blob | commitdiff | diff to current |
| 2008-09-14 |
simonpj@microsoft.com | Comments, and a couple of asserts, only |
blob | commitdiff | diff to current |
| 2008-09-05 |
simonpj@microsoft.com | Retain unfoldings even with SimplGently |
blob | commitdiff | diff to current |
| 2008-09-03 |
simonpj@microsoft.com | Improved specialisation of recursive groups |
blob | commitdiff | diff to current |
| 2008-07-31 |
Max Bolingbroke | Follow Literal change in Simplify |
blob | commitdiff | diff to current |
| 2008-07-20 |
Thomas Schilling | Fix Haddock errors. |
blob | commitdiff | diff to current |
| 2008-06-17 |
Simon Marlow | Fix an example where we weren't doing case-of-case... |
blob | commitdiff | diff to current |
| 2008-06-14 |
simonpj@microsoft.com | Fix nasty Simplifier scoping bug |
blob | commitdiff | diff to current |
| 2008-06-05 |
simonpj@microsoft.com | Add non-recursive let-bindings for types |
blob | commitdiff | diff to current |
| 2008-05-16 |
simonpj@microsoft.com | Improve the treatment of 'seq' (Trac #2273) |
blob | commitdiff | diff to current |
| 2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in Simplify |
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-03-29 |
Ian Lynagh | Don't import FastString in HsVersions.h |
blob | commitdiff | diff to current |
| 2008-02-22 |
Ian Lynagh | Fix warnings in Simplify |
blob | commitdiff | diff to current |
| 2008-02-22 |
Ian Lynagh | Whitespace |
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/Simplify: use do and return |
blob | commitdiff | diff to current |
| 2008-01-17 |
simonpj@microsoft.com | Record evaluated-ness information correctly for strict... |
blob | commitdiff | diff to current |
| 2007-12-20 |
simonpj@microsoft.com | Fix Trac #1988; keep the ru_fn field of a RULE up to... |
blob | commitdiff | diff to current |
| 2007-12-04 |
simonpj@microsoft.com | Improve inlining for INLINE non-functions |
blob | commitdiff | diff to current |
| 2007-11-15 |
simonpj@microsoft.com | Make SpecConstr work again |
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-10-30 |
simonpj@microsoft.com | FIX BUILD: a glitch in the new rules and inlining stuff |
blob | commitdiff | diff to current |
| 2007-10-29 |
simonpj@microsoft.com | Substantial improvement to the interaction of RULES... |
blob | commitdiff | diff to current |
| 2007-10-16 |
simonpj@microsoft.com | Show inlined function in the header of 'Inlining done... |
blob | commitdiff | diff to current |
| 2007-10-01 |
Manuel M T Chakravarty | FIX #1738: KPush rule of FC must take dataConEqTheta... |
blob | commitdiff | diff to current |
| 2007-09-20 |
simonpj@microsoft.com | Fix Trac #1718: interaction of error, unlifted tuples... |
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-07-02 |
simonpj@microsoft.com | Try harder to avoid making a variable with RULES into... |
blob | commitdiff | diff to current |
| 2007-05-23 |
simonpj@microsoft.com | Improve the interaction of 'seq' and associated data... |
blob | commitdiff | diff to current |
| 2007-05-09 |
simonpj@microsoft.com | Two more small bugs in 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 | Warning police |
blob | commitdiff | diff to current |
| 2007-05-01 |
andy@galois.com | Stopping tick boxes for being removed round calls to... |
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 | Implement the PushT rule from the FC paper |
blob | commitdiff | diff to current |
| 2007-02-05 |
simonpj@microsoft.com | Improve handling of partial applications involving... |
blob | commitdiff | diff to current |
| 2007-01-31 |
simonpj@microsoft.com | Use Id.isStrictId |
blob | commitdiff | diff to current |
| 2007-01-11 |
simonpj@microsoft.com | Wibble |
blob | commitdiff | diff to current |
| 2007-01-11 |
simonpj@microsoft.com | Add -ddump-rule-firings |
blob | commitdiff | diff to current |
| 2007-01-11 |
simonpj@microsoft.com | Comments |
blob | commitdiff | diff to current |
| next |
projects / ghc-hetmet.git / history