summaryrefslogtreecommitdiff
path: root/testsuite/tests/stranal
Commit message (Expand)AuthorAgeFilesLines
* This patch addresses the exponential blow-up in the simplifier.Simon Peyton Jones2020-07-281-4/+4
* Update testsuiteSylvain Henry2020-06-171-3/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-1/+1
* Implement cast worker/wrapper properlySimon Peyton Jones2020-06-101-1/+1
* DmdAnal: Recognise precise exceptions from case alternatives (#18086)Sebastian Graf2020-05-283-0/+45
* Make WorkWrap.Lib.isWorkerSmallEnough aware of the old aritySebastian Graf2020-05-263-0/+92
* DmdAnal: Improve handling of precise exceptionsSebastian Graf2020-05-1515-113/+275
* CprAnal: Don't attach CPR sigs to expandable bindings (#18154)Sebastian Graf2020-05-1314-58/+54
* Unit: split and rename modulesSylvain Henry2020-04-305-10/+10
* Mark DataCon wrappers CONLIKEAlexis King2020-04-221-1/+1
* GHC.Core.Opt renamingSylvain Henry2020-04-182-2/+2
* Preserve precise exceptions in strictness analysisSebastian Graf2020-04-022-1/+20
* Demand analysis: simplify the demand for a RHSSimon Peyton Jones2020-03-298-336/+325
* Modules: Core operations (#13009)Sylvain Henry2020-03-182-2/+2
* Normalize types when dropping absent arguments from workersAlexis King2020-02-203-0/+12
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-2/+2
* Separate CPR analysis from the Demand analyserwip/sep-cprSebastian Graf2020-02-1215-95/+201
* Do CafInfo/SRT analysis in CmmÖmer Sinan Ağacan2020-01-311-1/+1
* testsuite: Ensure that makefile tests get runBen Gamari2019-10-172-4/+2
* Compute demand signatures assuming idAritySebastian Graf2019-04-303-0/+29
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-155-6/+6
* Always do the worker/wrapper split for NOINLINEsSebastian Graf2019-03-073-0/+13
* Remove ExnStr and ThrowsExn businessSebastian Graf2019-02-013-4/+21
* testsuite: Use makefile_testBen Gamari2019-01-302-4/+3
* Revert "Batch merge"Ben Gamari2019-01-302-3/+4
* Batch mergeBen Gamari2019-01-302-4/+3
* Comments in stranal test declarationsÖmer Sinan Ağacan2019-01-181-2/+4
* Add test for #16197wip/T16197Ömer Sinan Ağacan2019-01-174-1/+39
* Improvements to demand analysisSimon Peyton Jones2018-12-127-8/+38
* Add RubbishLit for absent bindings of UnliftedRepSebastian Graf2018-10-143-0/+363
* Inline wrappers earlierSimon Peyton Jones2018-04-202-199/+199
* Add a test case from the nested CPR workBen Gamari2018-04-193-0/+28
* Get evaluated-ness right in the back endSimon Peyton Jones2018-01-031-40/+56
* Fix nasty bug in w/w for absence analysisSimon Peyton Jones2017-10-034-0/+48
* mkDataConRep: fix bug in strictness signature (#14290)Simon Marlow2017-09-282-0/+18
* Allow CSE'ing of work-wrapped bindings (#14186)Joachim Breitner2017-09-122-5/+749
* Add testcase for #14186Joachim Breitner2017-09-121-17/+4
* Add MonadIO Q - by requiring MonadIO => QuasiOleg Grenrus2017-08-051-1/+3
* Revert "Make raiseIO# produce topRes"David Feuer2017-04-031-1/+1
* Fix test results for T13380David Feuer2017-03-092-1/+2
* testsuite: Add test for #11076Ben Gamari2017-03-062-0/+11
* tests: remove extra_files.py (#12223)Reid Barton2017-02-261-1/+1
* Do Worker/Wrapper for NOINLINE thingsEric Seidel2017-02-052-25/+34
* Record evaluated-ness on workers and wrappersSimon Peyton Jones2017-01-233-1/+38
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-1/+1
* Typos in comments (and in a test)Gabor Greif2017-01-091-1/+1
* Fix a bug in ABot handling in CoreAritySimon Peyton Jones2016-12-234-1/+23
* DmdAnal: Testcase about splitFVs and dmdFix abortionJoachim Breitner2016-08-252-0/+30
* DmdAnal: Add a final, safe iterationJoachim Breitner2016-08-251-1/+2
* Testsuite: fix T10482aThomas Miedema2016-07-251-2/+4
View Lorry Controller Status