summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Allow Core optimizations when interpreting bytecodeKrzysztof Gogolewski2023-05-123-0/+27
* DmdAnal: Unleash demand signatures of free RULE and unfolding binders (#23208)Sebastian Graf2023-04-263-131/+2
* Testsuite: don't use obsolescent egrep (#22351)Sylvain Henry2023-04-191-1/+1
* Fix testsBodigrim2023-03-306-0/+6
* Compute LambdaFormInfo when using JavaScript backend.Luite Stegeman2023-03-211-1/+1
* Get the right in-scope set in etaBodyForJoinPointSimon Peyton Jones2023-03-022-0/+29
* Account for local rules in specImportsSimon Peyton Jones2023-02-283-0/+91
* Fix shadowing bug in prepareAltsSimon Peyton Jones2023-02-242-0/+31
* Refactor the simplifier a bit to fix #22761Simon Peyton Jones2023-02-103-0/+45
* JS generated refs: update testsuite conditionsJosh Meredith2023-02-091-1/+1
* Revert "Don't keep exit join points so much"Matthew Pickering2023-02-083-139/+0
* CI: JavaScript backend runs testsuitedoyougnu2023-02-021-1/+1
* compiler: Implement higher order patterns in the rule matcherJaro Reinders2023-02-023-0/+77
* Treat existentials correctly in dubiousDataConInstArgTysSimon Peyton Jones2023-02-012-1/+16
* Improve exprOkForSpeculation for classopsSimon Peyton Jones2023-01-313-0/+52
* Take account of loop breakers in specLookupRuleSimon Peyton Jones2023-01-302-0/+21
* 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-2911-60/+61
* 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
View Lorry Controller Status