2009-01-13 |
simonpj@microsoft.com | Rewrite CorePrep and improve eta expansion |
tree | commitdiff |
2009-01-02 |
simonpj@microsoft.com | Make record selectors into ordinary functions |
tree | commitdiff |
2008-12-16 |
Simon Marlow | UNDO: Add -fpass-case-bndr-to-join-points |
tree | commitdiff |
2008-12-16 |
Simon Marlow | Rollback INLINE patches |
tree | commitdiff |
2008-12-08 |
simonpj@microsoft.com | Inject implicit bindings after CoreTidy, not before... |
tree | commitdiff |
2008-12-08 |
simonpj@microsoft.com | White space only |
tree | commitdiff |
2008-12-05 |
simonpj@microsoft.com | Completely new treatment of INLINE pragmas (big patch) |
tree | commitdiff |
2008-12-05 |
simonpj@microsoft.com | Add -fpass-case-bndr-to-join-points |
tree | commitdiff |
2008-12-05 |
simonpj@microsoft.com | Comments only in OccurAnal |
tree | commitdiff |
2008-12-05 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2008-11-07 |
Simon Marlow | disable instance MonadPlus CoreM for GHC <= 6.6 |
tree | commitdiff |
2008-10-31 |
simonpj@microsoft.com | Fix imports |
tree | commitdiff |
2008-10-30 |
simonpj@microsoft.com | Add (a) CoreM monad, (b) new Annotations feature |
tree | commitdiff |
2008-10-28 |
simonpj@microsoft.com | Fix Trac #2720: inlining and casts |
tree | commitdiff |
2008-10-21 |
simonpj@microsoft.com | Don't float an expression wrapped in a cast |
tree | commitdiff |
2008-10-03 |
simonpj@microsoft.com | Make a debug check more refined |
tree | commitdiff |
2008-10-02 |
simonpj@microsoft.com | Make the new binder-swap stuff in OccurAnal work right... |
tree | commitdiff |
2008-10-02 |
simonpj@microsoft.com | Minor refactoring only |
tree | commitdiff |
2008-09-20 |
simonpj@microsoft.com | Tidy up the treatment of dead binders |
tree | commitdiff |
2008-09-18 |
simonpj@microsoft.com | Add a missing "prime" (env' --> env'') thereby fixing... |
tree | commitdiff |
2008-09-17 |
simonpj@microsoft.com | Fix nasty infelicity: do not short-cut empty substituti... |
tree | commitdiff |
2008-09-17 |
simonpj@microsoft.com | Avoid arity reduction when doing eta-reduce |
tree | commitdiff |
2008-09-17 |
simonpj@microsoft.com | Add extra WARN test |
tree | commitdiff |
2008-09-17 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2008-09-14 |
simonpj@microsoft.com | Comments, and a couple of asserts, only |
tree | commitdiff |
2008-09-14 |
simonpj@microsoft.com | Don't try to float type-lets |
tree | commitdiff |
2008-09-09 |
simonpj@microsoft.com | Improve float-in somewhat |
tree | commitdiff |
2008-09-05 |
simonpj@microsoft.com | Retain unfoldings even with SimplGently |
tree | commitdiff |
2008-09-03 |
simonpj@microsoft.com | Improved specialisation of recursive groups |
tree | commitdiff |
2008-08-26 |
simonpj@microsoft.com | Fix flaggery for RULES (cf Trac #2497) |
tree | commitdiff |
2008-08-22 |
simonpj@microsoft.com | Fix a nasty float-in bug |
tree | commitdiff |
2008-08-11 |
simonpj@microsoft.com | Print tidy rules in user style, to avoid gratuitous... |
tree | commitdiff |
2008-08-07 |
Max Bolingbroke | Remove CoreSyn SOURCE imports |
tree | commitdiff |
2008-07-31 |
Max Bolingbroke | Follow Literal change in Simplify |
tree | commitdiff |
2008-07-31 |
Max Bolingbroke | Follow Digraph changes in OccurAnal |
tree | commitdiff |
2008-07-31 |
Max Bolingbroke | Split the Id related functions out from Var into Id... |
tree | commitdiff |
2008-07-20 |
Thomas Schilling | Fix Haddock errors. |
tree | commitdiff |
2008-07-20 |
Ian Lynagh | Properly comment out unused pragmas |
tree | commitdiff |
2008-07-02 |
Roman Leshchinskiy | Command-line options for selecting DPH backend |
tree | commitdiff |
2008-06-16 |
simonpj@microsoft.com | Fix Trac #2321: bug in SAT |
tree | commitdiff |
2008-06-17 |
Simon Marlow | Fix an example where we weren't doing case-of-case... |
tree | commitdiff |
2008-06-14 |
simonpj@microsoft.com | Fix nasty Simplifier scoping bug |
tree | commitdiff |
2008-06-05 |
simonpj@microsoft.com | Add non-recursive let-bindings for types |
tree | commitdiff |
2008-06-03 |
Simon Marlow | Turn "NOTE: Simplifier still going..." message into... |
tree | commitdiff |
2008-06-03 |
simonpj@microsoft.com | Shorten debug messages |
tree | commitdiff |
2008-05-28 |
Simon Marlow | Use MD5 checksums for recompilation checking (fixes... |
tree | commitdiff |
2008-05-16 |
simonpj@microsoft.com | Improve the treatment of 'seq' (Trac #2273) |
tree | commitdiff |
2008-05-04 |
Ian Lynagh | Make SimplEnv warning-free |
tree | commitdiff |
2008-05-04 |
Ian Lynagh | Make SimplUtils warning-free |
tree | commitdiff |
2008-05-04 |
Ian Lynagh | Remove a hack for GHC 3.03 in SimplMonad |
tree | commitdiff |
2008-05-04 |
Ian Lynagh | Make SimplMonad warning-free |
tree | commitdiff |
2008-05-04 |
Ian Lynagh | Make LiberateCase warning-free |
tree | commitdiff |
2008-05-04 |
Ian Lynagh | Make FloatOut warning-free |
tree | commitdiff |
2008-05-04 |
Ian Lynagh | Make FloatIn warning-free |
tree | commitdiff |
2008-05-04 |
Ian Lynagh | Make SetLevels warning-free |
tree | commitdiff |
2008-04-22 |
Ian Lynagh | (F)SLIT -> (f)sLit in SimplUtils |
tree | commitdiff |
2008-04-22 |
Ian Lynagh | Change the last few (F)SLIT's into (f)sLit's |
tree | commitdiff |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in CSE |
tree | commitdiff |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in Simplify |
tree | commitdiff |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in SimplEnv |
tree | commitdiff |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in FloatOut |
tree | commitdiff |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in SimplMonad |
tree | commitdiff |
2008-04-22 |
simonpj@microsoft.com | Simplify SimplCont, plus some other small changes to... |
tree | commitdiff |
2008-04-22 |
simonpj@microsoft.com | Comments only in SimplCore |
tree | commitdiff |
2008-04-22 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2008-04-22 |
simonpj@microsoft.com | Fix a long-standing bug in FloatOut |
tree | commitdiff |
2008-04-11 |
simonpj@microsoft.com | Revive the static argument transformation |
tree | commitdiff |
2008-04-11 |
simonpj@microsoft.com | Transfer strictness and arity info when abstracting... |
tree | commitdiff |
2008-04-03 |
simonpj@microsoft.com | Fix simplifier thrashing |
tree | commitdiff |
2008-03-29 |
Ian Lynagh | Don't import FastString in HsVersions.h |
tree | commitdiff |
2008-03-29 |
Ian Lynagh | DEBUG removal |
tree | commitdiff |
2008-03-05 |
simonpj@microsoft.com | Refactor OccAnal; and improve dead-code elimination |
tree | commitdiff |
2008-02-20 |
Ian Lynagh | Whitespace |
tree | commitdiff |
2008-02-22 |
Ian Lynagh | Fix warnings in Simplify |
tree | commitdiff |
2008-02-22 |
Ian Lynagh | Whitespace |
tree | commitdiff |
2008-02-19 |
Ian Lynagh | Typo |
tree | commitdiff |
2008-02-07 |
Ian Lynagh | Make some more modules use LazyUniqFM instead of UniqFM |
tree | commitdiff |
2008-02-12 |
Roman Leshchinskiy | Fix typo in message |
tree | commitdiff |
2008-02-11 |
Roman Leshchinskiy | Symbolic tags for simplifier phases |
tree | commitdiff |
2008-02-11 |
Roman Leshchinskiy | Allow -ddump-simpl-phases to specify which phases to... |
tree | commitdiff |
2008-02-07 |
simonpj@microsoft.com | Redo inlining patch, plus some tidying up |
tree | commitdiff |
2008-02-07 |
Ian Lynagh | Make some more modules use LazyUniqFM instead of UniqFM |
tree | commitdiff |
2008-02-05 |
simonpj@microsoft.com | Inject implicit bindings before the simplifier (Trac... |
tree | commitdiff |
2008-01-26 |
Twan van Laarhoven | Fixed warnings in simplCore/CSE |
tree | commitdiff |
2008-01-26 |
Twan van Laarhoven | Fixed warnings in simplCore/OccurAnal |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify simplCore/SimplMonad: custom monad functions... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify simplCore/SimplMonad: use MonadUnique instance... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify simplCore/SetLevels: use do, return, standard... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify simplCore/SimplUtils: use do, return, standard... |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify simplCore/Simplify: use do and return |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify simplCore/SimplEnv: use standard monad functions |
tree | commitdiff |
2008-01-17 |
Twan van Laarhoven | Monadify simplCore/SimplCore: use do, return and standa... |
tree | commitdiff |
2008-01-21 |
simonpj@microsoft.com | Wibble to the OccurAnal fix for RULEs and loop-breakers |
tree | commitdiff |
2008-01-21 |
simonpj@microsoft.com | Make the loop-breaking algorithm a bit more liberal... |
tree | commitdiff |
2008-01-18 |
simonpj@microsoft.com | Wibble to SetLevels.abstractVars |
tree | commitdiff |
2008-01-17 |
Isaac Dupree | lots of portability changes (#1405) |
tree | commitdiff |
2008-01-17 |
simonpj@microsoft.com | Fix egregious error in earlier "Record evaluated-ness... |
tree | commitdiff |
2008-01-17 |
simonpj@microsoft.com | Record evaluated-ness information correctly for strict... |
tree | commitdiff |
2008-01-16 |
simonpj@microsoft.com | In float-out, make sure we abstract over the type varia... |
tree | commitdiff |
2008-01-16 |
simonpj@microsoft.com | Fix the -frule-check pass |
tree | commitdiff |
next |