Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improve transferPolyIdInfo for value-arg abstraction | simonpj@microsoft.com | 2009-02-04 | 2 | -2/+2 |
* | Two small improvements to LiberateCase | simonpj@microsoft.com | 2009-02-04 | 1 | -26/+65 |
* | Rewrite CorePrep and improve eta expansion | simonpj@microsoft.com | 2009-01-13 | 3 | -66/+95 |
* | Make record selectors into ordinary functions | simonpj@microsoft.com | 2009-01-02 | 4 | -12/+12 |
* | UNDO: Add -fpass-case-bndr-to-join-points | Simon Marlow | 2008-12-16 | 1 | -73/+14 |
* | Rollback INLINE patches | Simon Marlow | 2008-12-16 | 9 | -253/+326 |
* | Inject implicit bindings after CoreTidy, not before Simplify | simonpj@microsoft.com | 2008-12-08 | 1 | -49/+3 |
* | White space only | simonpj@microsoft.com | 2008-12-08 | 1 | -2/+0 |
* | Completely new treatment of INLINE pragmas (big patch) | simonpj@microsoft.com | 2008-12-05 | 9 | -326/+255 |
* | Add -fpass-case-bndr-to-join-points | simonpj@microsoft.com | 2008-12-05 | 1 | -14/+73 |
* | Comments only in OccurAnal | simonpj@microsoft.com | 2008-12-05 | 1 | -16/+39 |
* | Comments only | simonpj@microsoft.com | 2008-12-05 | 1 | -4/+4 |
* | disable instance MonadPlus CoreM for GHC <= 6.6 | Simon Marlow | 2008-11-07 | 1 | -0/+3 |
* | Fix imports | simonpj@microsoft.com | 2008-10-31 | 1 | -6/+9 |
* | Add (a) CoreM monad, (b) new Annotations feature | simonpj@microsoft.com | 2008-10-30 | 8 | -191/+575 |
* | Fix Trac #2720: inlining and casts | simonpj@microsoft.com | 2008-10-28 | 1 | -9/+9 |
* | Don't float an expression wrapped in a cast | simonpj@microsoft.com | 2008-10-21 | 1 | -0/+7 |
* | Make a debug check more refined | simonpj@microsoft.com | 2008-10-03 | 1 | -2/+2 |
* | Make the new binder-swap stuff in OccurAnal work right for GlobalIds | simonpj@microsoft.com | 2008-10-02 | 1 | -40/+70 |
* | Minor refactoring only | simonpj@microsoft.com | 2008-10-02 | 1 | -13/+21 |
* | Tidy up the treatment of dead binders | simonpj@microsoft.com | 2008-09-20 | 5 | -264/+332 |
* | Add a missing "prime" (env' --> env'') thereby fixing a tripping WARN. Hurrah! | simonpj@microsoft.com | 2008-09-18 | 1 | -2/+6 |
* | Fix nasty infelicity: do not short-cut empty substitution in the simplifier | simonpj@microsoft.com | 2008-09-17 | 1 | -7/+3 |
* | Avoid arity reduction when doing eta-reduce | simonpj@microsoft.com | 2008-09-17 | 1 | -9/+22 |
* | Add extra WARN test | simonpj@microsoft.com | 2008-09-17 | 1 | -2/+15 |
* | Comments only | simonpj@microsoft.com | 2008-09-17 | 1 | -2/+3 |
* | Comments, and a couple of asserts, only | simonpj@microsoft.com | 2008-09-14 | 1 | -13/+15 |
* | Don't try to float type-lets | simonpj@microsoft.com | 2008-09-14 | 1 | -1/+3 |
* | Improve float-in somewhat | simonpj@microsoft.com | 2008-09-09 | 1 | -14/+26 |
* | Retain unfoldings even with SimplGently | simonpj@microsoft.com | 2008-09-05 | 1 | -1/+4 |
* | Improved specialisation of recursive groups | simonpj@microsoft.com | 2008-09-03 | 3 | -7/+8 |
* | Fix flaggery for RULES (cf Trac #2497) | simonpj@microsoft.com | 2008-08-26 | 1 | -1/+1 |
* | Fix a nasty float-in bug | simonpj@microsoft.com | 2008-08-22 | 1 | -9/+10 |
* | Print tidy rules in user style, to avoid gratuitous uniques | simonpj@microsoft.com | 2008-08-11 | 1 | -2/+4 |
* | Remove CoreSyn SOURCE imports | Max Bolingbroke | 2008-08-07 | 3 | -11/+11 |
* | Follow Literal change in Simplify | Max Bolingbroke | 2008-07-31 | 1 | -2/+1 |
* | Follow Digraph changes in OccurAnal | Max Bolingbroke | 2008-07-31 | 1 | -4/+4 |
* | Split the Id related functions out from Var into Id, document Var and some of Id | Max Bolingbroke | 2008-07-31 | 2 | -2/+2 |
* | Fix Haddock errors. | Thomas Schilling | 2008-07-20 | 3 | -7/+7 |
* | Properly comment out unused pragmas | Ian Lynagh | 2008-07-20 | 1 | -3/+3 |
* | Command-line options for selecting DPH backend | Roman Leshchinskiy | 2008-07-02 | 1 | -1/+1 |
* | Fix Trac #2321: bug in SAT | simonpj@microsoft.com | 2008-06-16 | 1 | -308/+312 |
* | Fix an example where we weren't doing case-of-case when we should | Simon Marlow | 2008-06-17 | 1 | -2/+38 |
* | Fix nasty Simplifier scoping bug | simonpj@microsoft.com | 2008-06-14 | 2 | -35/+56 |
* | Add non-recursive let-bindings for types | simonpj@microsoft.com | 2008-06-05 | 2 | -11/+9 |
* | Turn "NOTE: Simplifier still going..." message into a WARN() | Simon Marlow | 2008-06-03 | 1 | -7/+5 |
* | Shorten debug messages | simonpj@microsoft.com | 2008-06-03 | 1 | -1/+2 |
* | Use MD5 checksums for recompilation checking (fixes #1372, #1959) | Simon Marlow | 2008-05-28 | 2 | -3/+10 |
* | Improve the treatment of 'seq' (Trac #2273) | simonpj@microsoft.com | 2008-05-16 | 1 | -12/+15 |
* | Make SimplEnv warning-free | Ian Lynagh | 2008-05-04 | 1 | -19/+11 |