summaryrefslogtreecommitdiff
path: root/compiler/simplCore
Commit message (Expand)AuthorAgeFilesLines
* 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
* Split the Id related functions out from Var into Id, document Var and some of IdMax Bolingbroke2008-07-312-2/+2
* Fix Haddock errors.Thomas Schilling2008-07-203-7/+7
* Properly comment out unused pragmasIan Lynagh2008-07-201-3/+3
* Command-line options for selecting DPH backendRoman Leshchinskiy2008-07-021-1/+1
* Fix Trac #2321: bug in SATsimonpj@microsoft.com2008-06-161-308/+312
* Fix an example where we weren't doing case-of-case when we shouldSimon Marlow2008-06-171-2/+38
* Fix nasty Simplifier scoping bugsimonpj@microsoft.com2008-06-142-35/+56
* Add non-recursive let-bindings for typessimonpj@microsoft.com2008-06-052-11/+9
* Turn "NOTE: Simplifier still going..." message into a WARN()Simon Marlow2008-06-031-7/+5
* Shorten debug messagessimonpj@microsoft.com2008-06-031-1/+2
* Use MD5 checksums for recompilation checking (fixes #1372, #1959)Simon Marlow2008-05-282-3/+10
* Improve the treatment of 'seq' (Trac #2273)simonpj@microsoft.com2008-05-161-12/+15
* Make SimplEnv warning-freeIan Lynagh2008-05-041-19/+11