summaryrefslogtreecommitdiff
path: root/compiler/stranal
Commit message (Expand)AuthorAgeFilesLines
* Make -fcpr-off a dynamic flagChristiaan Baaij2015-08-051-3/+9
* Typos in commentsSimon Peyton Jones2015-08-031-3/+3
* Fix Trac #10694: CPR analysisSimon Peyton Jones2015-07-301-21/+18
* Improve strictness analysis for exceptionsSimon Peyton Jones2015-07-211-26/+53
* Use varToCoreExpr in mkWWcpr_helpSimon Peyton Jones2015-07-211-1/+3
* Improve CPR behavior for strict constructorsSimon Peyton Jones2015-06-261-76/+208
* Fix addDataConStrictnessSimon Peyton Jones2015-06-261-11/+14
* Refactor tuple constraintsSimon Peyton Jones2015-05-181-3/+3
* Revert multiple commitsAustin Seipp2015-05-141-3/+3
* Refactor tuple constraintsSimon Peyton Jones2015-05-131-3/+3
* Wibble to DmdAnalSimon Peyton Jones2015-04-211-4/+4
* Support unboxing for GADT product typesSimon Peyton Jones2015-04-211-1/+4
* Teach DmdAnal about free coercion variablesSimon Peyton Jones2015-04-211-6/+11
* Teach DmdAnal that coercions are value arguments!Simon Peyton Jones2015-04-201-7/+5
* Zap usage info in CSE (Trac #10218)Simon Peyton Jones2015-04-141-2/+2
* Typos in error messages and in commentsGabor Greif2015-04-101-1/+1
* Fix a long-standing bug in the demand analyserSimon Peyton Jones2015-04-071-84/+110
* Replace .lhs with .hs in compiler commentsYuri de Wit2015-02-091-1/+1
* API Annotations tweaks.Alan Zimmerman2015-01-161-2/+4
* unlit compiler/stranal/ modulesHerbert Valerio Riedel2014-12-013-129/+121
* Comments onlySimon Peyton Jones2014-11-041-1/+2
* TyposKrzysztof Gogolewski2014-09-191-1/+1
* Give the worker for an INLINABLE function a suitably-phased ActivationSimon Peyton Jones2014-08-291-25/+29
* Comments, white space, and rename "InlineRule" to "stable unfolding"Simon Peyton Jones2014-08-291-2/+2
* White space onlySimon Peyton Jones2014-08-281-22/+22
* Comments onlySimon Peyton Jones2014-08-281-1/+5
* Make worker/wrapper work on INLINEABLE thingsSimon Peyton Jones2014-08-282-37/+78
* stranal: detabify/dewhitespace DmdAnalAustin Seipp2014-08-201-302/+301
* stranal: detabify/dewhitespace WorkWrapAustin Seipp2014-08-201-85/+78
* 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-153-2/+6
* Be less verbose when printing Names when we don't know what's in scopeSimon Peyton Jones2014-04-241-1/+1
* Refactor in worker/wrapper generationSimon Peyton Jones2014-04-081-39/+31
* 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-062-34/+65
* Add some debug tracingSimon Peyton Jones2014-03-061-15/+18
* In deepSplitCprType_maybe, be more forgivingJoachim Breitner2014-02-071-1/+3
* Some polishing of the demand analyser.Joachim Breitner2014-01-231-7/+8
* Make worker-wrapper unbox data familiesJoachim Breitner2014-01-203-66/+83
* Typos in commentsKrzysztof Gogolewski2014-01-161-2/+2
* Refactor WorkWrap, get rid of worthSplittingArgDmdJoachim Breitner2014-01-162-81/+96
* Replace worthSplittingThunkDmd by worthSplittingArgDmdJoachim Breitner2014-01-161-1/+1
* 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
* Add Note [non-algebraic or open body type warning]Joachim Breitner2013-12-161-0/+20
* 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
View Lorry Controller Status