summaryrefslogtreecommitdiff
path: root/compiler/basicTypes/Demand.hs
Commit message (Expand)AuthorAgeFilesLines
* Compute demand signatures assuming idAritySebastian Graf2019-04-301-24/+89
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-16/+16
* Polished Note [Exceptions and strictness]Sebastian Graf2019-02-021-15/+27
* Remove ExnStr and ThrowsExn businessSebastian Graf2019-02-011-214/+116
* Improvements to demand analysisSimon Peyton Jones2018-12-121-99/+25
* Implement late lambda liftSebastian Graf2018-11-231-8/+8
* Fix cardinality change of fields in addDataConStrictnessÖmer Sinan Ağacan2018-10-151-1/+5
* Set strictness correctly for JoinIdsSimon Peyton Jones2018-08-211-3/+18
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Model divergence of retry# as ThrowsExn, not DivergesBen Gamari2017-09-131-0/+1
* Demand: Improve commentsBen Gamari2017-07-201-23/+26
* dmdAnal: Ensure that ExnStr flag isn't dropped inappropriatelyBen Gamari2017-07-191-2/+5
* Use lengthIs and friends in more placesRyan Scott2017-06-021-4/+4
* Stamp out space leaks from demand analysisReid Barton2017-04-011-1/+1
* Typos in manual and commentsGabor Greif2017-03-141-1/+1
* Fix strictness for catchSTMDavid Feuer2017-03-081-17/+64
* Comments onlySimon Peyton Jones2017-03-061-1/+1
* Change catch# demand signatureDavid Feuer2017-03-011-1/+1
* Spelling only [ci skip]Gabor Greif2017-02-231-1/+1
* Tweaks and typos in manual, note refs, commentsGabor Greif2017-02-091-1/+1
* Get rid of ProbOneShotJoachim Breitner2017-02-031-25/+8
* Join pointsLuke Maurer2017-02-011-2/+6
* Typos and grammar in manual/commentsGabor Greif2017-01-231-2/+2
* Typos in comments only [ci skip]Gabor Greif2017-01-181-1/+1
* WwLib: Add strictness signature to "let x = absentError …"Joachim Breitner2016-08-251-3/+6
* DmdAnal: Add a final, safe iterationJoachim Breitner2016-08-251-1/+6
* Kill varEnvElts in seqDmdEnvBartosz Nitka2016-07-011-2/+1
* More typos in comments [skip ci]Gabor Greif2016-06-221-1/+1
* Remove dead code: countOnce, countManyJoachim Breitner2016-06-171-7/+1
* Document some benign nondeterminismBartosz Nitka2016-05-241-3/+11
* Add a final demand analyzer run right before TidyCoreJoachim Breitner2016-04-141-21/+51
* Demand Analyzer: Do not set OneShot information (second try)Joachim Breitner2016-04-061-2/+22
* Comments onlySimon Peyton Jones2016-03-311-2/+4
* Do not print DmdType in Core outputJoachim Breitner2016-03-291-2/+1
* Rename isNopSig to isTopSigJoachim Breitner2016-03-291-6/+6
* Another batch of typo fixes in non-codeGabor Greif2016-02-111-1/+1
* s/unLifted/unlifted for consistencyÖmer Sinan Ağacan2016-01-271-2/+2
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-3/+2
* Make demand analysis understand catchSimon Peyton Jones2016-01-071-367/+503
* Make -fcpr-off a dynamic flagChristiaan Baaij2015-08-051-9/+3
* Typos in commentsSimon Peyton Jones2015-08-031-1/+1
* Add a missing check for -fcpr-offReid Barton2015-07-291-2/+2
* Improve strictness analysis for exceptionsSimon Peyton Jones2015-07-211-4/+6
* Broaden Outputable instance for TerminationSimon Peyton Jones2015-07-081-1/+1
* Zap usage info in CSE (Trac #10218)Simon Peyton Jones2015-04-141-10/+23
* 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-3/+55
* Tidy up and improve comments about one-shot infoSimon Peyton Jones2015-03-041-3/+2
* compiler: de-lhs basicTypes/Austin Seipp2014-12-031-0/+1881
View Lorry Controller Status