summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore/should_compile/all.T
Commit message (Expand)AuthorAgeFilesLines
* Make GHC.Types.Id.Make.shouldUnpackTy a bit more cleverSimon Peyton Jones2023-05-131-0/+5
* Fix coercion optimisation for SelCo (#23362)Krzysztof Gogolewski2023-05-121-0/+1
* Allow Core optimizations when interpreting bytecodeKrzysztof Gogolewski2023-05-121-0/+1
* DmdAnal: Unleash demand signatures of free RULE and unfolding binders (#23208)Sebastian Graf2023-04-261-2/+2
* Compute LambdaFormInfo when using JavaScript backend.Luite Stegeman2023-03-211-1/+1
* Get the right in-scope set in etaBodyForJoinPointSimon Peyton Jones2023-03-021-0/+1
* Account for local rules in specImportsSimon Peyton Jones2023-02-281-0/+1
* Fix shadowing bug in prepareAltsSimon Peyton Jones2023-02-241-0/+1
* Refactor the simplifier a bit to fix #22761Simon Peyton Jones2023-02-101-0/+1
* JS generated refs: update testsuite conditionsJosh Meredith2023-02-091-1/+1
* Revert "Don't keep exit join points so much"Matthew Pickering2023-02-081-1/+0
* CI: JavaScript backend runs testsuitedoyougnu2023-02-021-1/+1
* compiler: Implement higher order patterns in the rule matcherJaro Reinders2023-02-021-0/+1
* Treat existentials correctly in dubiousDataConInstArgTysSimon Peyton Jones2023-02-011-1/+2
* Improve exprOkForSpeculation for classopsSimon Peyton Jones2023-01-311-0/+1
* Take account of loop breakers in specLookupRuleSimon Peyton Jones2023-01-301-0/+1
* Fix in-scope set in specImportsSimon Peyton Jones2023-01-251-1/+1
* Add regression test for #22611.Andreas Klebinger2023-01-161-0/+2
* Fix contification with stable unfoldings (#22428)Sebastian Graf2023-01-121-0/+4
* Fix finaliseArgBoxities for OPAQUE functionSimon Peyton Jones2023-01-111-0/+1
* Fix void-arg-adding mechanism for worker/wrapperSimon Peyton Jones2023-01-111-0/+1
* Make FloatIn robust to shadowingSimon Peyton Jones2023-01-071-0/+1
* Refactor mkRuntimeErrorSimon Peyton Jones2022-12-221-0/+1
* Fix shadowing lacuna in OccurAnalSimon Peyton Jones2022-12-211-0/+1
* Abstract over the right free varsSimon Peyton Jones2022-12-211-0/+1
* Fix loop in the interface representation of some `Unfolding` fieldsGergő Érdi2022-12-131-0/+1
* Add test for #21476Matthew Pickering2022-12-121-0/+1
* Add a missing varToCoreExpr in etaBodyForJoinPointSimon Peyton Jones2022-12-011-0/+1
* Add Javascript backendSylvain Henry2022-11-291-5/+6
* Be a bit more selective about floating bottoming expressionsSimon Peyton Jones2022-11-291-0/+2
* Be more careful when reporting unbound RULE bindersSimon Peyton Jones2022-11-191-0/+1
* Simplifier: Consider `seq` as a `BoringCtxt` (#22317)Sebastian Graf2022-11-191-0/+2
* Make OpaqueNo* tests less noisy to unrelated changesSebastian Graf2022-11-191-8/+8
* testsuite: Add tests for T22347Matthew Pickering2022-11-141-0/+2
* Weaken wrinkle 1 of Note [Scrutinee Constant Folding]Matthew Craven2022-11-111-0/+1
* Fire RULES in the SpecialiserSimon Peyton Jones2022-11-101-0/+4
* Add two tests for #17366Simon Peyton Jones2022-11-011-0/+4
* Add missing dict binds to specialiserSimon Peyton Jones2022-10-271-0/+1
* Testsuite: more precise test optionsSylvain Henry2022-10-261-3/+3
* Make the specialiser handle polymorphic specialisationSimon Peyton Jones2022-10-251-0/+3
* Fix binder-swap bugSimon Peyton Jones2022-10-251-1/+0
* Don't keep exit join points so muchSimon Peyton Jones2022-10-111-0/+1
* Make rewrite rules "win" over inliningwip/T21851-rule-winSimon Peyton Jones2022-10-101-0/+4
* Improve aggressive specialisationSimon Peyton Jones2022-09-281-0/+2
* Demand: Clear distinction between Call SubDmd and eval Dmd (#21717)wip/T21717Sebastian Graf2022-09-271-2/+1
* Add a missing trimArityTypeSimon Peyton Jones2022-08-311-0/+1
* Fix a bug in anyInRnEnvRSimon Peyton Jones2022-08-291-0/+1
* Fix a nasty loop in TidySimon Peyton Jones2022-08-271-0/+1
* Improve SpecConstr for evalsSimon Peyton Jones2022-08-271-0/+2
* Fix arityType: -fpedantic-bottoms, join points, etcwip/T21694aSimon Peyton Jones2022-08-251-0/+4
View Lorry Controller Status