summaryrefslogtreecommitdiff
path: root/compiler/stranal/DmdAnal.lhs
Commit message (Expand)AuthorAgeFilesLines
* stranal: detabify/dewhitespace DmdAnalAustin Seipp2014-08-201-302/+301
* Fix demand analyser for unboxed typesSimon Peyton Jones2014-07-011-1/+1
* Fix a serious, but rare, strictness analyser bug (Trac #9128)Simon Peyton Jones2014-06-111-1/+10
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-1/+2
* Allow a longer demand signature than aritySimon Peyton Jones2014-04-081-6/+14
* Make the demand on a binder compatible with type (fixes Trac #8569)Simon Peyton Jones2014-03-061-33/+35
* Add some debug tracingSimon Peyton Jones2014-03-061-15/+18
* Some polishing of the demand analyser.Joachim Breitner2014-01-231-7/+8
* Make worker-wrapper unbox data familiesJoachim Breitner2014-01-201-8/+15
* Make types of bothDmdType more preciseJoachim Breitner2013-12-161-5/+4
* Rename postProcessDmdType to postProcessUnsat and use* to reuse*Joachim Breitner2013-12-161-2/+2
* Split DmdResult into DmdResult and CPRResultJoachim Breitner2013-12-161-10/+6
* Remove dmdAnalArg and replace by easier to understand codeJoachim Breitner2013-12-161-8/+8
* Clarify the default demand on demand environmentsJoachim Breitner2013-12-161-10/+0
* Move peelFV from DmdAnal to DemandJoachim Breitner2013-12-121-22/+11
* Some refactoring of Demand and DmdAnalSimon Peyton Jones2013-12-121-18/+21
* Sort the output of -dump-strsigsJoachim Breitner2013-12-091-5/+8
* Rename topDmdType to nopDmdTypeJoachim Breitner2013-12-091-4/+6
* Do not forget CPR information after an IO actionJoachim Breitner2013-12-091-1/+1
* New flag: -ddump-strsigsJoachim Breitner2013-12-091-0/+12
* Typos in [CPR for sum types]Joachim Breitner2013-11-191-2/+2
* TyposKrzysztof Gogolewski2013-09-231-1/+1
* resurrected -fdicts-strict, off by defaultNicolas Frisby2013-09-081-9/+40
* Comment out a leftover pprTraceGabor Greif2013-07-031-8/+8
* Traces and comments onlySimon Peyton Jones2013-06-061-5/+5
* Transfer strictness on trivial right-hand sidesSimon Peyton Jones2013-06-061-2/+35
* Use checkRecTc to improve demand analysis slightlySimon Peyton Jones2013-06-061-8/+16
* Implement cardinality analysisSimon Peyton Jones2013-06-061-231/+355
* Introduce CPR for sum types (Trac #5075)Simon Peyton Jones2013-01-241-12/+37
* Major patch to implement the new Demand AnalyserSimon Peyton Jones2013-01-171-726/+351
* Make {-# UNPACK #-} work for type/data family invocationsSimon Peyton Jones2012-12-231-2/+2
* Make -fmax-worker-args a dynamic flagIan Lynagh2012-10-091-76/+78
* Change how macros like ASSERT are definedIan Lynagh2012-06-051-1/+1
* Allow cases with empty alterantivesSimon Peyton Jones2012-05-021-1/+1
* Fix worker/wrapper for CPR functionsSimon Peyton Jones2012-04-131-7/+6
* Comments only (to support debug tracing in DmdAnal)Simon Peyton Jones2012-01-171-4/+13
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* Overhaul of infrastructure for profiling, coverage (HPC) and breakpointsSimon Marlow2011-11-021-2/+2
* Make a new type synonym CoreProgram = [CoreBind]Simon Peyton Jones2011-09-231-2/+2
* Add Type.tyConAppTyCon_maybe and tyConAppArgs_maybe, and use themSimon Peyton Jones2011-08-031-2/+2
* This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-191-10/+23
* Fix an egregious strictness analyser bug (Trac #4924)simonpj@microsoft.com2011-01-281-106/+123
* Fix initialisation of strictness in the demand analysersimonpj@microsoft.com2010-10-261-113/+152
* Super-monster patch implementing the new typechecker -- at lastsimonpj@microsoft.com2010-09-131-2/+2
* Make the demand analyser sdd demands for strict constructorssimonpj@microsoft.com2010-05-051-66/+125
* Make the demand analyser take account of lambda-bound unfoldingsSimon PJ2010-05-031-6/+26
* Improve strictness analysis for bottoming functionssimonpj@microsoft.com2009-12-111-13/+29
* Tweak layout for alternative layout ruleIan Lynagh2009-12-031-3/+3
* Remove the (very) old strictness analysersimonpj@microsoft.com2009-11-191-113/+16
* The Big INLINE Patch: totally reorganise way that INLINE pragmas worksimonpj@microsoft.com2009-10-291-1/+1
View Lorry Controller Status