summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore
Commit message (Expand)AuthorAgeFilesLines
* Fix in-scope set in specImportsSimon Peyton Jones2023-01-253-1/+36
* Add regression test for #22611.Andreas Klebinger2023-01-163-0/+310
* Fix contification with stable unfoldings (#22428)Sebastian Graf2023-01-123-0/+58
* Fix finaliseArgBoxities for OPAQUE functionSimon Peyton Jones2023-01-112-0/+16
* Fix void-arg-adding mechanism for worker/wrapperSimon Peyton Jones2023-01-114-58/+76
* Make FloatIn robust to shadowingSimon Peyton Jones2023-01-072-0/+7
* Refactor mkRuntimeErrorSimon Peyton Jones2022-12-222-0/+12
* Fix shadowing lacuna in OccurAnalSimon Peyton Jones2022-12-213-0/+95
* Abstract over the right free varsSimon Peyton Jones2022-12-212-0/+24
* Fix loop in the interface representation of some `Unfolding` fieldsGergő Érdi2022-12-135-12/+32
* Add test for #21476Matthew Pickering2022-12-122-0/+5
* Make (^) INLINE (#22324)Sebastian Graf2022-12-081-1/+1
* Fix testsBodigrim2022-12-081-0/+3
* Add a missing varToCoreExpr in etaBodyForJoinPointSimon Peyton Jones2022-12-012-0/+320
* Add Javascript backendSylvain Henry2022-11-291-5/+6
* Be a bit more selective about floating bottoming expressionsSimon Peyton Jones2022-11-293-0/+136
* Change printing of sized literals to match the proposalKrzysztof Gogolewski2022-11-2913-82/+86
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-251-7/+10
* Be more careful when reporting unbound RULE bindersSimon Peyton Jones2022-11-192-0/+14
* Simplifier: Consider `seq` as a `BoringCtxt` (#22317)Sebastian Graf2022-11-194-9/+298
* Make OpaqueNo* tests less noisy to unrelated changesSebastian Graf2022-11-191-8/+8
* testsuite: Add tests for T22347Matthew Pickering2022-11-143-0/+42
* Fix merge conflict in T18355.stderrKrzysztof Gogolewski2022-11-121-9/+1
* Weaken wrinkle 1 of Note [Scrutinee Constant Folding]Matthew Craven2022-11-113-0/+83
* Fire RULES in the SpecialiserSimon Peyton Jones2022-11-105-2/+150
* Use TcRnDiagnostic in GHC.Tc.TyCl.Instance (#20117)Giles Anderson2022-11-091-1/+1
* Add two tests for #17366Simon Peyton Jones2022-11-017-0/+116
* Shrink test case for #22357Simon Peyton Jones2022-11-011-678/+12
* Add missing dict binds to specialiserSimon Peyton Jones2022-10-272-0/+728
* Testsuite: more precise test optionsSylvain Henry2022-10-261-3/+3
* Make the specialiser handle polymorphic specialisationSimon Peyton Jones2022-10-252-0/+147
* Fix binder-swap bugSimon Peyton Jones2022-10-251-1/+0
* Don't keep exit join points so muchSimon Peyton Jones2022-10-113-0/+139
* 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
View Lorry Controller Status