summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix bug in weak loop-breakers in OccurAnalSimon Peyton Jones2022-03-132-0/+34
* Use a more up-to-date snapshot of the current rules in the simplifierMatthew Pickering2022-02-261-1/+1
* Testsuite: remove arch conditional in T8832Sylvain Henry2022-02-255-25/+5
* Tag inference work.Andreas Klebinger2022-02-126-15/+34
* Fix some notesMatthew Pickering2022-02-081-1/+1
* Remove ghc_plugin_wayMatthew Pickering2022-02-031-1/+0
* Make RULE matching insensitive to eta-expansionSimon Peyton Jones2022-01-263-1/+27
* Add test for #20894sheaf2022-01-032-0/+25
* Use POSIX-compliant egrep expression to fix T8832 on OpenBSDGreg Steuck2021-12-261-1/+1
* testsuite: Remove reqlib modifierMatthew Pickering2021-12-222-60/+1
* Test case from #19313Joachim Breitner2021-12-143-1/+20
* Use HasCallStack and error in GHC.List and .NonEmptyOleg Grenrus2021-12-121-10/+66
* Revert "Data.List specialization to []"Matthew Pickering2021-12-031-1/+1
* Increase type sharingBen Gamari2021-11-171-2/+2
* Get the in-scope set right in simplArgSimon Peyton Jones2021-11-122-0/+28
* Make Word64 use Word64# on every architectureSylvain Henry2021-11-062-7/+24
* WorkWrap: Update Unfolding with WW'd body prior to `tryWW` (#20510)Sebastian Graf2021-10-291-3/+1
* undefined: Neater CallStack in error messageJoachim Breitner2021-10-243-5/+2
* DmdAnal: Implement Boxity Analysis (#19871)Sebastian Graf2021-10-249-12/+12
* testsuite: Make T12600 more robustBen Gamari2021-10-121-1/+1
* Ensure top-level binders in scope in SetLevelsSimon Peyton Jones2021-10-054-0/+29
View Lorry Controller Status