summaryrefslogtreecommitdiff
path: root/testsuite/tests/stranal
Commit message (Expand)AuthorAgeFilesLines
* Misc cleanupKrzysztof Gogolewski2023-01-111-1/+1
* Do not strictify a DFun's parameter dictionaries (#22549)Sebastian Graf2022-12-083-0/+40
* DmdAnal: Reflect the `seq` of strict fields of a DataCon worker (#22475)Sebastian Graf2022-11-304-0/+71
* Change printing of sized literals to match the proposalKrzysztof Gogolewski2022-11-292-12/+12
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-13/+13
* Boxity: Handle argument budget of unboxed tuples correctly (#21737)Sebastian Graf2022-11-103-0/+78
* WorkWrap: Unboxing unboxed tuples is not always useful (#22388)Sebastian Graf2022-11-103-0/+108
* DmdAnal: Look through unfoldings of DataCon wrappers (#22241)Sebastian Graf2022-10-173-0/+56
* Don't keep exit join points so muchSimon Peyton Jones2022-10-112-27/+24
* Tidy implicit bindsMatthew Pickering2022-10-111-2/+2
* Boxity: Don't update Boxity unless worker/wrapper follows (#21754)wip/T21754Sebastian Graf2022-09-303-0/+18
* Demand: Format Call SubDemands `Cn(sd)` as `C(n,sd)` (#22231)wip/T22231Sebastian Graf2022-09-2917-52/+52
* Improve aggressive specialisationSimon Peyton Jones2022-09-281-2/+2
* Demand: Clear distinction between Call SubDmd and eval Dmd (#21717)wip/T21717Sebastian Graf2022-09-2711-12/+61
* DmdAnal: Don't panic in addCaseBndrDmd (#22039)Sebastian Graf2022-09-052-0/+60
* More improvements to worker/wrapperSimon Peyton Jones2022-07-258-8/+143
* Don't mark lambda binders as OtherConAndreas Klebinger2022-06-275-12/+29
* A bunch of changes related to eta reductionSimon Peyton Jones2022-05-305-5/+29
* Assume at least one evaluation for nested SubDemands (#21081, #21133)wip/T21081Sebastian Graf2022-05-0329-200/+223
* StgLint: Lint constructor applications and strict workers for arity.Andreas Klebinger2022-04-141-2/+2
* Drop the app invariantghc-9.5-startJoachim Breitner2022-04-092-10/+15
* Add warnings for file header pragmas that appear in the body of a module (#20...Zubin Duggal2022-04-061-1/+1
* Change GHC.Prim to GHC.Exts in docs and testsKrzysztof Gogolewski2022-04-011-1/+1
* testsuite: Remove library dependenices from T21119Matthew Pickering2022-03-243-13/+45
* WorkWrap: Handle partial FUN apps in `isRecDataCon` (#21265)Sebastian Graf2022-03-242-0/+16
* Demand: Let `Boxed` win in `lubBoxity` (#21119)Sebastian Graf2022-03-1629-450/+351
* Worker/wrapper: Preserve float barriers (#21150)Sebastian Graf2022-03-133-1/+276
* Improve out-of-order inferred type variablessheaf2022-03-021-20/+22
* Tag inference work.Andreas Klebinger2022-02-122-5/+7
* More accurate unboxingSimon Peyton Jones2022-02-024-5/+372
* Fix a few Note inconsistenciesBen Gamari2022-02-011-1/+1
* Improve boxity in deferAfterPreciseExceptionSimon Peyton Jones2022-01-286-0/+370
* Add regression test for #20663Sebastian Graf2021-11-123-0/+156
* WorkWrap: Update Unfolding with WW'd body prior to `tryWW` (#20510)Sebastian Graf2021-10-293-0/+135
* DmdAnal: Implement Boxity Analysis (#19871)Sebastian Graf2021-10-2432-363/+827
* CprAnal: Activate Sum CPR for local bindingsSebastian Graf2021-10-052-10/+36
* Nested CPR light unleashed (#18174)Sebastian Graf2021-09-303-70/+91
* 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
* CPR: Detect constructed products in `runRW#` apps (#19822)Sebastian Graf2021-05-191-1/+1
* 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-209-13/+13
* Use GHC2021 as default languageJoachim Breitner2021-03-103-0/+3
* DmdAnal: Better syntax for demand signatures (#19016)Sebastian Graf2021-03-0321-135/+135
* CPR analysis: Use CPR of scrutinee for Case Binder CPR (#19232)Sebastian Graf2021-02-283-34/+0
View Lorry Controller Status