summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore
Commit message (Expand)AuthorAgeFilesLines
* Tidy implicit bindsMatthew Pickering2022-10-111-1/+0
* Make rewrite rules "win" over inliningwip/T21851-rule-winSimon Peyton Jones2022-10-108-1/+120
* Boxity: Don't update Boxity unless worker/wrapper follows (#21754)wip/T21754Sebastian Graf2022-09-301-1/+1
* Demand: Format Call SubDemands `Cn(sd)` as `C(n,sd)` (#22231)wip/T22231Sebastian Graf2022-09-2911-40/+48
* Refactor UnfoldingSource and IfaceUnfoldingSimon Peyton Jones2022-09-2814-66/+57
* Improve aggressive specialisationSimon Peyton Jones2022-09-285-3/+36
* Demand: Clear distinction between Call SubDmd and eval Dmd (#21717)wip/T21717Sebastian Graf2022-09-275-56/+20
* Rename Solo[constructor] to MkSoloTorsten Schmits2022-09-212-5/+5
* Diagnostic codes: acccept test changessheaf2022-09-139-18/+15
* Add a missing trimArityTypeSimon Peyton Jones2022-08-312-0/+18
* Fix a bug in anyInRnEnvRSimon Peyton Jones2022-08-293-0/+21
* Fix a nasty loop in TidySimon Peyton Jones2022-08-273-0/+22
* Improve SpecConstr for evalsSimon Peyton Jones2022-08-275-0/+48
* Fix arityType: -fpedantic-bottoms, join points, etcwip/T21694aSimon Peyton Jones2022-08-258-0/+2604
* Regression test for #21848Simon Peyton Jones2022-07-263-0/+468
* Teach SpecConstr about typeDeterminesValueSimon Peyton Jones2022-07-256-17/+17
* Fix a small buglet in tryEtaReduceSimon Peyton Jones2022-07-252-0/+15
* More improvements to worker/wrapperSimon Peyton Jones2022-07-251-1/+1
* Implement DeepSubsumptionSimon Peyton Jones2022-07-251-3/+6
* Make withDict opaque to the specialisersheaf2022-07-214-0/+98
* Cleanup BuiltInSyntax vs UserSyntaxMatthew Pickering2022-06-281-3/+3
* Don't mark lambda binders as OtherConAndreas Klebinger2022-06-274-35/+20
* Flags to disable local let-floating; -flocal-float-out, -flocal-float-out-top...Vanessa McHale2022-06-223-0/+89
* CorePrep: Don't speculatively evaluate recursive calls (#20836)Sebastian Graf2022-06-202-0/+24
* Ensure floated dictionaries are in scope (again)Simon Peyton Jones2022-06-063-0/+234
* Deprecate TypeInType extensionHaskellMouse2022-06-062-2/+4
* A bunch of changes related to eta reductionSimon Peyton Jones2022-05-308-354/+299
* Use a class to check validity of withDictwip/withdictKrzysztof Gogolewski2022-05-271-3/+3
* Improve FloatOut and SpecConstrwip/T21386Simon Peyton Jones2022-05-232-10/+18
* Remove pprTrace from pushCoercionIntoLambda (#21555)Matthew Pickering2022-05-202-0/+99
* Fix bad interaction between withDict and the SpecialiserSimon Peyton Jones2022-05-173-0/+109
* STG: only print cost-center if asked toSylvain Henry2022-05-091-4/+3
* SpecConstr: Properly create rules for call patterns representing partial appl...Andreas Klebinger2022-05-051-9/+9
* Give the two T19569 tests different namesMatthew Craven2022-05-053-1/+1
* Assume at least one evaluation for nested SubDemands (#21081, #21133)wip/T21081Sebastian Graf2022-05-039-23/+111
* Add test for T21229Matthew Pickering2022-04-303-0/+26
* Revert "Make the specialiser handle polymorphic specialisation"Matthew Pickering2022-04-302-56/+1
* Improve floated dicts in SpecialiseSimon Peyton Jones2022-04-222-0/+35
* Fix substitution in bindAuxiliaryDictSimon Peyton Jones2022-04-202-0/+27
* Specialising through specialised method calls (#19644)Sebastian Graf2022-04-127-15/+989
* Eta reduction based on evaluation context (#21261)Sebastian Graf2022-04-125-0/+181
* Add regression test for #19569Andreas Klebinger2022-04-093-0/+53
* Drop the app invariantghc-9.5-startJoachim Breitner2022-04-094-7/+37
* Rename [] to List (#21294)Vladislav Zavialov2022-04-071-1/+1
* Use prepareBinding in tryCastWorkerWrapperSimon Peyton Jones2022-04-072-0/+7
* Change GHC.Prim to GHC.Exts in docs and testsKrzysztof Gogolewski2022-04-0110-11/+9
* Minor cleanupKrzysztof Gogolewski2022-04-011-1/+1
* Add the OPAQUE pragmaChristiaan Baaij2022-03-2519-0/+1035
* Demand: Let `Boxed` win in `lubBoxity` (#21119)Sebastian Graf2022-03-167-15/+13
* Worker/wrapper: Preserve float barriers (#21150)Sebastian Graf2022-03-131-1/+5
View Lorry Controller Status