summaryrefslogtreecommitdiff
path: root/compiler/simplCore
Commit message (Expand)AuthorAgeFilesLines
* One more wibble to FloatOut, fixes HEAD breakage (I hope)simonpj@microsoft.com2007-02-021-2/+3
* Don't dump floated bindings just outside a lambdasimonpj@microsoft.com2007-02-021-49/+49
* Reset the demand info on bindings going to top level (since they cannot be st...simonpj@microsoft.com2007-02-021-3/+5
* Use Id.isStrictIdsimonpj@microsoft.com2007-01-314-15/+5
* Wibblesimonpj@microsoft.com2007-01-111-3/+1
* Add -ddump-rule-firingssimonpj@microsoft.com2007-01-111-2/+6
* Commentssimonpj@microsoft.com2007-01-111-2/+3
* Correct spellingsimonpj@microsoft.com2007-01-101-1/+1
* Make the LiberateCase transformation understand associated typessimonpj@microsoft.com2007-01-112-81/+170
* Commentssimonpj@microsoft.com2007-01-111-12/+13
* Fix apparently-long-standing bug in FloatInsimonpj@microsoft.com2007-01-101-32/+49
* Record-ise the liberate-case envt, in preparation for new stuffsimonpj@microsoft.com2007-01-031-32/+42
* Fix bug in cast optimisation; fixes Trac #995simonpj@microsoft.com2007-01-031-13/+14
* Fix several bugs related to finding free variablessimonpj@microsoft.com2007-01-031-2/+1
* Comments onlysimonpj@microsoft.com2006-12-121-0/+8
* Add comments, plus fix zapFragileInfo to zap worker infosimonpj@microsoft.com2006-12-111-2/+7
* Improve dependency analysis; makes more dictionaries inlinablesimonpj@microsoft.com2006-12-061-0/+5
* Improve the loop-breaking heuristicssimonpj@microsoft.com2006-11-291-4/+7
* TickBox representation changeandy@galois.com2006-11-292-17/+2
* retain arity for let-bound vars in simplifierKirsten Chevalier2006-11-281-1/+3
* Zap stray whitespace in lhs formattingSamuel Bronson2006-11-101-1/+1
* Fix up .lhs delimiters a bitSamuel Bronson2006-11-041-2/+2
* Various debugging print changes; nothing excitingsimonpj@microsoft.com2006-11-063-9/+18
* Tidy up substitutionssimonpj@microsoft.com2006-11-061-0/+5
* Major overhaul of the Simplifiersimonpj@microsoft.com2006-11-014-1501/+1250
* Haskell Program Coverageandy@galois.com2006-10-242-0/+15
* Spelling in commentsimonpj@microsoft.com2006-10-181-1/+1
* Don't squish "Inlined fn" into the right margin quite as much in trace outputSamuel Bronson2006-10-161-1/+1
* Add assertion checks for mkCoVar/mkTyVarsimonpj@microsoft.com2006-10-131-1/+0
* Module header tidyup, phase 1Simon Marlow2006-10-111-1/+1
* Yet another fix to mkAtomicArgs (for floating of casts)simonpj@microsoft.com2006-10-061-4/+11
* Correct the float-coercions-out-of-let patchsimonpj@microsoft.com2006-10-051-0/+7
* Float coercions out of letssimonpj@microsoft.com2006-10-051-3/+37
* Remove unused argument to mkAtomicArgssimonpj@microsoft.com2006-10-051-10/+7
* Comments and layoutsimonpj@microsoft.com2006-10-051-1/+0
* Remove unused OccInfo (simplification)simonpj@microsoft.com2006-10-053-34/+19
* Take 2 on the recursive-rule fixsimonpj@microsoft.com2006-10-051-73/+93
* Take advantage of non-rec-ness in occurrence analysis (minor)simonpj@microsoft.com2006-10-051-3/+3
* Comments onlysimonpj@microsoft.com2006-10-041-1/+1
* Improve liberate-case to take account of coercionssimonpj@microsoft.com2006-10-041-4/+13
* Second bite at the rules-only ideasimonpj@microsoft.com2006-10-043-62/+53
* Eliminate case-of-castsimonpj@microsoft.com2006-10-041-21/+42
* Make recursion and RULES interact bettersimonpj@microsoft.com2006-10-032-22/+37
* Fix exprIsConApp_maybe (wasn't dealing properly with the EqSpec of the DataCon)simonpj@microsoft.com2006-09-271-2/+1
* Trim imports, and remove some dead codesimonpj@microsoft.com2006-09-231-8/+4
* Clean up and refactor in SimplUtils.mkCase1 (identity case)Manuel M T Chakravarty2006-09-201-25/+20
* Indexed newtypesManuel M T Chakravarty2006-09-201-2/+2
* Fix problem with selectors for GADT records with unboxed fieldsManuel M T Chakravarty2006-09-201-2/+2
* fix default case filling-in for GADTsManuel M T Chakravarty2006-09-202-23/+4
* fix big-lambda eta expansion, add commentsManuel M T Chakravarty2006-09-201-1/+2