summaryrefslogtreecommitdiff
path: root/compiler/simplCore/OccurAnal.lhs
Commit message (Expand)AuthorAgeFilesLines
* Squash some spelling issuesGabor Greif2014-01-261-3/+3
* Comment typos onlyGabor Greif2014-01-101-1/+1
* Improve the handling of used-once stuffSimon Peyton Jones2013-12-121-34/+31
* TyposKrzysztof Gogolewski2013-10-121-1/+1
* Remove the final vestiges of InlineWrappersSimon Peyton Jones2013-09-021-33/+37
* Fix comment typos that interfere with syntax highlightingPatrick Palka2013-08-301-1/+1
* simplified the .hi format and added the -flate-dmd-anal flag (fixes #7782)Nicolas Frisby2013-08-291-1/+1
* Implement cardinality analysisSimon Peyton Jones2013-06-061-101/+107
* Make 'SPECIALISE instance' work againSimon Peyton Jones2013-05-301-1/+1
* improve dead code elimination in CorePrep (fixes #7796)Nicolas Frisby2013-03-281-13/+25
* Improve comments about dead code (thanks to Nick Frisby)Simon Peyton Jones2013-03-271-22/+13
* Merge branch 'refs/heads/vect-avoid' into vect-avoid-mergeManuel M T Chakravarty2013-02-061-6/+10
|\
| * Fix tidying of vectorised codeManuel M T Chakravarty2013-02-041-5/+10
* | Comments onlySimon Peyton Jones2013-01-281-2/+2
* | Simplify the binder-swap transformationSimon Peyton Jones2012-12-241-209/+46
* | Comments onlySimon Peyton Jones2012-10-311-5/+8
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-10-221-257/+250
|\ \
| * | Fix typoIan Lynagh2012-10-201-1/+1
| * | Whitespace only in simplCore/OccurAnal.lhsIan Lynagh2012-10-191-256/+249
| |/
* | Deprecate Rank2Types and PolymorphicComponents, in favour of RankNTypesSimon Peyton Jones2012-10-191-1/+1
|/
* Change how macros like ASSERT are definedIan Lynagh2012-06-051-1/+1
* Allow cases with empty alterantivesSimon Peyton Jones2012-05-021-1/+1
* Fix Trac #5952, by changing the Outputable TyCon instance,Simon Peyton Jones2012-04-051-4/+5
* Attempt to detect loops through imported function RULEsMax Bolingbroke2012-03-301-9/+102
* Revert "Add -faggressive-primops plus refactoring in CoreUtils" (#5780)Simon Marlow2012-01-161-2/+2
* Add -faggressive-primops plus refactoring in CoreUtilsSimon Peyton Jones2012-01-131-2/+2
* GHC gets a new constraint solver. More efficient and smaller in size.Dimitrios Vytiniotis2011-11-161-2/+2
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* Overhaul of infrastructure for profiling, coverage (HPC) and breakpointsSimon Marlow2011-11-021-12/+16
* Make a new type synonym CoreProgram = [CoreBind]Simon Peyton Jones2011-09-231-1/+1
* change how Integer's are handled in CoreIan Lynagh2011-09-131-1/+1
* Fix reversed test in OccurAnal (introduced in recent commit 428f8c3d)Simon Peyton Jones2011-08-021-10/+12
* Further simplification to OccurAnal, concerning "weak loop breakers"Simon Peyton Jones2011-08-011-34/+50
* The implementation of "weak loop breakers" was being too cleverSimon Peyton Jones2011-07-251-42/+58
* Simplify the treatment of RULES in OccurAnalSimon Peyton Jones2011-07-211-359/+433
* Take vectorisation declarations into account during the initial occurrence an...Manuel M T Chakravarty2011-06-101-4/+5
* Don't discard usage info from coercion bindings!Simon Peyton Jones2011-05-091-5/+0
* This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-191-45/+56
* Really zap case-binder occurrence info: solves #5028Ian Lynagh2011-04-011-3/+2
* Fix Trac #5028: zap occ info when doing the binder swapsimonpj@microsoft.com2011-03-211-5/+20
* Make the occurrence analyser track preInlineUnconditionallysimonpj@microsoft.com2010-12-221-27/+58
* Occurrence analyser takes account of the phase when handing RULESsimonpj@microsoft.com2010-11-161-90/+160
* Make the occurrence analyser deal correctly with RULES for imported Idssimonpj@microsoft.com2010-10-071-58/+148
* Implement INLINABLE pragma simonpj@microsoft.com2010-09-151-1/+1
* Super-monster patch implementing the new typechecker -- at lastsimonpj@microsoft.com2010-09-131-17/+25
* Add Outputable instance for OccEnclsimonpj@microsoft.com2010-09-081-1/+5
* Be a bit less aggressive in mark-many inside a castsimonpj@microsoft.com2010-08-191-16/+13
* Use addToUFM_Acc where appropriatesimonpj@microsoft.com2009-12-041-2/+3
* More work on the simplifier's inlining strategiessimonpj@microsoft.com2009-12-021-8/+10
* Implement -fexpose-all-unfoldings, and fix a non-termination bugsimonpj@microsoft.com2009-11-191-2/+3
View Lorry Controller Status