summaryrefslogtreecommitdiff
path: root/testsuite/tests/stranal/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Nested CPR light unleashed (#18174)Sebastian Graf2021-09-302-64/+85
* compiler: Name generated locals more descriptivelyBen Gamari2021-07-291-2/+3
* Add regression test for #17819Sebastian Graf2021-06-273-0/+331
* WorkWrap: Make mkWWstr and mkWWcpr generate fewer let bindingsSebastian Graf2021-06-271-4/+4
* WorkWrap: Remove mkWWargs (#19874)Sebastian Graf2021-06-273-4/+24
* Re-do rubbish literalsSimon Peyton Jones2021-06-054-13/+34
* Make setBndrsDemandInfo work with only type variablesMatthew Pickering2021-05-192-0/+8
* Correct warning for deprecated and unrecognised flagsAlfredo Di Napoli2021-04-051-2/+2
* Rubbish literals for all representations (#18983)Sebastian Graf2021-03-261-15/+15
* Nested CPR light (#19398)Sebastian Graf2021-03-201-1/+1
* Use GHC2021 as default languageJoachim Breitner2021-03-103-0/+3
* DmdAnal: Better syntax for demand signatures (#19016)Sebastian Graf2021-03-034-60/+60
* WorkWrap: Use SysLocal Name for Thunk Splitting (#19180)Sebastian Graf2021-01-102-0/+22
* WorkWrap: Unbox constructors with existentials (#18982)Sebastian Graf2020-12-233-0/+289
* Demand: Simplify `CU(U)` to `U` (#19005)Sebastian Graf2020-12-121-2/+2
* DmdAnal: Annotate top-level function bindings with demands (#18894)Sebastian Graf2020-12-125-0/+643
* Demand: Interleave usage and strictness demands (#18903)Sebastian Graf2020-11-205-11/+139
* Arity: Record arity types for non-recursive letsSebastian Graf2020-10-171-1/+1
* Fix some missed opportunities for preInlineUnconditionallySimon Peyton Jones2020-10-143-291/+236
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-291-1/+1
* Better eta-expansion (again) and don't specilise DFunsSimon Peyton Jones2020-09-221-21/+19
* This patch addresses the exponential blow-up in the simplifier.Simon Peyton Jones2020-07-281-4/+4
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-1/+1
* Implement cast worker/wrapper properlySimon Peyton Jones2020-06-101-1/+1
* Make WorkWrap.Lib.isWorkerSmallEnough aware of the old aritySebastian Graf2020-05-263-0/+92
* DmdAnal: Improve handling of precise exceptionsSebastian Graf2020-05-154-112/+124
* CprAnal: Don't attach CPR sigs to expandable bindings (#18154)Sebastian Graf2020-05-131-29/+23
* 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-181-1/+1
* Demand analysis: simplify the demand for a RHSSimon Peyton Jones2020-03-292-329/+271
* Modules: Core operations (#13009)Sylvain Henry2020-03-181-1/+1
* 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-122-32/+26
* 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
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-154-5/+5
* Always do the worker/wrapper split for NOINLINEsSebastian Graf2019-03-073-0/+13
* testsuite: Use makefile_testBen Gamari2019-01-301-3/+2
* Revert "Batch merge"Ben Gamari2019-01-301-2/+3
* Batch mergeBen Gamari2019-01-301-3/+2
* Improvements to demand analysisSimon Peyton Jones2018-12-124-0/+30
* Add RubbishLit for absent bindings of UnliftedRepSebastian Graf2018-10-143-0/+363
* Inline wrappers earlierSimon Peyton Jones2018-04-202-199/+199
* Get evaluated-ness right in the back endSimon Peyton Jones2018-01-031-40/+56
* 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
* Do Worker/Wrapper for NOINLINE thingsEric Seidel2017-02-051-23/+32
View Lorry Controller Status