summaryrefslogtreecommitdiff
path: root/testsuite/tests/stranal/sigs/all.T
Commit message (Expand)AuthorAgeFilesLines
* Don't mark lambda binders as OtherConwip/andreask/othercon_94Andreas Klebinger2022-06-301-1/+1
* testsuite: Remove library dependenices from T21119Matthew Pickering2022-03-241-0/+1
* Demand: Let `Boxed` win in `lubBoxity` (#21119)Sebastian Graf2022-03-161-0/+3
* DmdAnal: Implement Boxity Analysis (#19871)Sebastian Graf2021-10-241-0/+6
* CPR analysis: Use CPR of scrutinee for Case Binder CPR (#19232)Sebastian Graf2021-02-281-1/+0
* Demand: Interleave usage and strictness demands (#18903)Sebastian Graf2020-11-201-0/+1
* DmdAnal: Recognise precise exceptions from case alternatives (#18086)Sebastian Graf2020-05-281-0/+1
* DmdAnal: Improve handling of precise exceptionsSebastian Graf2020-05-151-0/+2
* Demand analysis: simplify the demand for a RHSSimon Peyton Jones2020-03-291-0/+1
* Separate CPR analysis from the Demand analyserwip/sep-cprSebastian Graf2020-02-121-1/+2
* Compute demand signatures assuming idAritySebastian Graf2019-04-301-0/+1
* Add a test case from the nested CPR workBen Gamari2018-04-191-0/+1
* Demand analyser: Implement LetUp rule (#12370)Joachim Breitner2016-07-121-0/+1
* Make warning names more consistentManav Rathi2016-02-251-1/+1
* Trac #8569 fixedSimon Peyton Jones2014-03-061-1/+1
* More demand analyser test casesJoachim Breitner2014-01-231-0/+2
* Demand Analyser testcase: Unsaturated functionsJoachim Breitner2013-12-091-0/+1
* Add nested CPR testcaseJoachim Breitner2013-12-091-1/+1
* Mark testcase for #8598 as not brokenJoachim Breitner2013-12-091-1/+1
* Use -ddump-strsigs in tests/stranal/sigsJoachim Breitner2013-12-091-13/+5
* Add testcase for #8598Joachim Breitner2013-12-091-0/+1
* Test case about HyperStr and UseDemandJoachim Breitner2013-12-021-0/+1
* Add test case for #8569Joachim Breitner2013-11-291-0/+2
* Test the strictness analyzer using annotationsJoachim Breitner2013-11-291-0/+18