summaryrefslogtreecommitdiff
path: root/testsuite/tests/stranal/sigs
Commit message (Expand)AuthorAgeFilesLines
* Don't mark lambda binders as OtherConwip/andreask/othercon_94Andreas Klebinger2022-06-304-22/+26
* testsuite: Remove library dependenices from T21119Matthew Pickering2022-03-243-13/+45
* Demand: Let `Boxed` win in `lubBoxity` (#21119)Sebastian Graf2022-03-1620-52/+179
* Tag inference work.Andreas Klebinger2022-02-121-3/+3
* More accurate unboxingSimon Peyton Jones2022-02-021-4/+4
* Fix a few Note inconsistenciesBen Gamari2022-02-011-1/+1
* DmdAnal: Implement Boxity Analysis (#19871)Sebastian Graf2021-10-2425-48/+518
* CprAnal: Activate Sum CPR for local bindingsSebastian Graf2021-10-052-10/+36
* Nested CPR light unleashed (#18174)Sebastian Graf2021-09-301-6/+6
* CPR: Detect constructed products in `runRW#` apps (#19822)Sebastian Graf2021-05-191-1/+1
* Nested CPR light (#19398)Sebastian Graf2021-03-208-12/+12
* DmdAnal: Better syntax for demand signatures (#19016)Sebastian Graf2021-03-0317-75/+75
* CPR analysis: Use CPR of scrutinee for Case Binder CPR (#19232)Sebastian Graf2021-02-283-34/+0
* Fix typosBrian Wignall2021-02-061-1/+1
* Demand: Simplify `CU(U)` to `U` (#19005)Sebastian Graf2020-12-121-2/+2
* Demand: Interleave usage and strictness demands (#18903)Sebastian Graf2020-11-2018-65/+128
* Update testsuiteSylvain Henry2020-06-171-3/+3
* DmdAnal: Recognise precise exceptions from case alternatives (#18086)Sebastian Graf2020-05-283-0/+45
* DmdAnal: Improve handling of precise exceptionsSebastian Graf2020-05-155-0/+106
* CprAnal: Don't attach CPR sigs to expandable bindings (#18154)Sebastian Graf2020-05-1313-29/+31
* Demand analysis: simplify the demand for a RHSSimon Peyton Jones2020-03-295-7/+49
* Separate CPR analysis from the Demand analyserwip/sep-cprSebastian Graf2020-02-1213-63/+175
* Compute demand signatures assuming idAritySebastian Graf2019-04-303-0/+29
* Remove ExnStr and ThrowsExn businessSebastian Graf2019-02-011-4/+4
* Improvements to demand analysisSimon Peyton Jones2018-12-123-8/+8
* Add a test case from the nested CPR workBen Gamari2018-04-193-0/+28
* Do Worker/Wrapper for NOINLINE thingsEric Seidel2017-02-051-2/+2
* Typos in comments (and in a test)Gabor Greif2017-01-091-1/+1
* Demand analyser: Implement LetUp rule (#12370)Joachim Breitner2016-07-123-0/+27
* Add a final demand analyzer run right before TidyCoreJoachim Breitner2016-04-147-0/+60
* Make warning names more consistentManav Rathi2016-02-251-1/+1
* Make demand analysis understand catchSimon Peyton Jones2016-01-073-4/+4
* Add kind equalities to GHC.Richard Eisenberg2015-12-112-0/+4
* Change demand information for foreign callsLuite Stegeman2015-11-121-1/+1
* Generate Typeable info at definition sitesBen Gamari2015-10-307-0/+9
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-297-9/+0
* Generate Typeable info at definition sitesBen Gamari2015-10-297-0/+9
* Trac #8569 fixedSimon Peyton Jones2014-03-061-1/+1
* Some typos in commentsGabor Greif2014-01-231-1/+1
* More demand analyser test casesJoachim Breitner2014-01-237-3/+84
* Adjust output to new oneshotnessJoachim Breitner2013-12-121-1/+1
* Sort the output of -dump-strsigsJoachim Breitner2013-12-091-3/+3
* Demand Analyser testcase: Unsaturated functionsJoachim Breitner2013-12-093-0/+39
* Add nested CPR testcaseJoachim Breitner2013-12-093-1/+12
* Mark testcase for #8598 as not brokenJoachim Breitner2013-12-091-1/+1
* Use -ddump-strsigs in tests/stranal/sigsJoachim Breitner2013-12-0910-88/+25
* Add testcase for #8598Joachim Breitner2013-12-092-0/+21
* Test case about HyperStr and UseDemandJoachim Breitner2013-12-022-0/+10
* Add test case for #8569Joachim Breitner2013-11-292-0/+17
* Test the strictness analyzer using annotationsJoachim Breitner2013-11-294-0/+90
View Lorry Controller Status