summaryrefslogtreecommitdiff
path: root/compiler/simplCore
Commit message (Expand)AuthorAgeFilesLines
* Comment fix: use the same variable names in the conclusion as in the premise.t-peterj@microsoft.com2009-06-181-2/+2
* Remove unused importsIan Lynagh2009-07-073-5/+1
* Allow RULES for seq, and exploit themsimonpj@microsoft.com2009-06-031-46/+87
* Remove legacy code that isn't used now that we require GHC >= 6.8Ian Lynagh2009-05-241-3/+0
* Don't short out top-level indirections if there's a INLINE/NOINLINE pragmasimonpj@microsoft.com2009-04-241-31/+46
* Adjust inlining heursiticssimonpj@microsoft.com2009-04-031-37/+4
* Don't float case expressions in full lazinesssimonpj@microsoft.com2009-04-021-0/+12
* Fix Trac #3118: missing alternativesimonpj@microsoft.com2009-04-021-27/+28
* Fix pragmas in binder-swappingsimonpj@microsoft.com2009-04-021-4/+8
* Improve mkDupableCont; and fix Trac #3116simonpj@microsoft.com2009-03-252-20/+68
* Avoid quadratic complexity in occurrence analysis (fix Trac #1969)simonpj@microsoft.com2009-03-231-22/+71
* Improve arity propagation in the specialisersimonpj@microsoft.com2009-03-231-1/+25
* Add the notion of "constructor-like" Ids for rule-matchingsimonpj@microsoft.com2009-03-185-17/+17
* Improve transferPolyIdInfo for value-arg abstractionsimonpj@microsoft.com2009-02-042-2/+2
* Two small improvements to LiberateCasesimonpj@microsoft.com2009-02-041-26/+65
* Rewrite CorePrep and improve eta expansionsimonpj@microsoft.com2009-01-133-66/+95
* Make record selectors into ordinary functionssimonpj@microsoft.com2009-01-024-12/+12
* UNDO: Add -fpass-case-bndr-to-join-pointsSimon Marlow2008-12-161-73/+14
* Rollback INLINE patchesSimon Marlow2008-12-169-253/+326
* Inject implicit bindings after CoreTidy, not before Simplifysimonpj@microsoft.com2008-12-081-49/+3
* White space onlysimonpj@microsoft.com2008-12-081-2/+0
* Completely new treatment of INLINE pragmas (big patch)simonpj@microsoft.com2008-12-059-326/+255
* Add -fpass-case-bndr-to-join-pointssimonpj@microsoft.com2008-12-051-14/+73
* Comments only in OccurAnalsimonpj@microsoft.com2008-12-051-16/+39
* Comments onlysimonpj@microsoft.com2008-12-051-4/+4
* disable instance MonadPlus CoreM for GHC <= 6.6Simon Marlow2008-11-071-0/+3
* Fix importssimonpj@microsoft.com2008-10-311-6/+9
* Add (a) CoreM monad, (b) new Annotations featuresimonpj@microsoft.com2008-10-308-191/+575
* Fix Trac #2720: inlining and castssimonpj@microsoft.com2008-10-281-9/+9
* Don't float an expression wrapped in a castsimonpj@microsoft.com2008-10-211-0/+7
* Make a debug check more refinedsimonpj@microsoft.com2008-10-031-2/+2
* Make the new binder-swap stuff in OccurAnal work right for GlobalIdssimonpj@microsoft.com2008-10-021-40/+70
* Minor refactoring onlysimonpj@microsoft.com2008-10-021-13/+21
* Tidy up the treatment of dead binderssimonpj@microsoft.com2008-09-205-264/+332
* Add a missing "prime" (env' --> env'') thereby fixing a tripping WARN. Hurrah!simonpj@microsoft.com2008-09-181-2/+6
* Fix nasty infelicity: do not short-cut empty substitution in the simplifiersimonpj@microsoft.com2008-09-171-7/+3
* Avoid arity reduction when doing eta-reducesimonpj@microsoft.com2008-09-171-9/+22
* Add extra WARN testsimonpj@microsoft.com2008-09-171-2/+15
* Comments onlysimonpj@microsoft.com2008-09-171-2/+3
* Comments, and a couple of asserts, onlysimonpj@microsoft.com2008-09-141-13/+15
* Don't try to float type-letssimonpj@microsoft.com2008-09-141-1/+3
* Improve float-in somewhatsimonpj@microsoft.com2008-09-091-14/+26
* Retain unfoldings even with SimplGentlysimonpj@microsoft.com2008-09-051-1/+4
* Improved specialisation of recursive groupssimonpj@microsoft.com2008-09-033-7/+8
* Fix flaggery for RULES (cf Trac #2497)simonpj@microsoft.com2008-08-261-1/+1
* Fix a nasty float-in bugsimonpj@microsoft.com2008-08-221-9/+10
* Print tidy rules in user style, to avoid gratuitous uniquessimonpj@microsoft.com2008-08-111-2/+4
* Remove CoreSyn SOURCE importsMax Bolingbroke2008-08-073-11/+11
* Follow Literal change in SimplifyMax Bolingbroke2008-07-311-2/+1
* Follow Digraph changes in OccurAnalMax Bolingbroke2008-07-311-4/+4