summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Opt/Specialise.hs
Commit message (Expand)AuthorAgeFilesLines
* Take more care with unlifted bindings in the specialiserSimon Peyton Jones2023-02-281-2/+27
* Account for local rules in specImportsSimon Peyton Jones2023-02-281-29/+44
* Take account of loop breakers in specLookupRuleSimon Peyton Jones2023-01-301-12/+14
* Fix in-scope set in specImportsSimon Peyton Jones2023-01-251-35/+51
* Abstract over the right free varsSimon Peyton Jones2022-12-211-0/+33
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-13/+10
* Fire RULES in the SpecialiserSimon Peyton Jones2022-11-101-80/+151
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* Add missing dict binds to specialiserSimon Peyton Jones2022-10-271-8/+6
* Make the specialiser handle polymorphic specialisationSimon Peyton Jones2022-10-251-62/+256
* Avoid allocating intermediate lists for non recursive bindings.Andreas Klebinger2022-10-171-3/+5
* Scrub various partiality involving empty lists.M Farkas-Dyck2022-09-301-1/+3
* Improve aggressive specialisationSimon Peyton Jones2022-09-281-78/+59
* Fix typosKrzysztof Gogolewski2022-09-141-1/+1
* Add diagnostic codessheaf2022-09-131-1/+1
* typosEric Lindblad2022-09-071-2/+2
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-7/+5
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-251-1/+1
* Teach SpecConstr about typeDeterminesValueSimon Peyton Jones2022-07-251-53/+8
* Make the specialiser deal better with specialised methodsSimon Peyton Jones2022-07-221-186/+225
* Fix a scoping bug in the SpecialiserSimon Peyton Jones2022-07-091-16/+18
* When specialising, look through floatable ticks.Gergo ERDI2022-06-221-5/+22
* Ensure floated dictionaries are in scope (again)Simon Peyton Jones2022-06-061-2/+6
* Purge `DynFlags` and `HscEnv` from some `GHC.Core` modules where it's not too...wip/dflags-core-opt-easierJohn Ericson2022-05-311-5/+3
* Specialiser: saturate DFuns correctlySimon Peyton Jones2022-05-111-4/+7
* Change Specialise to use OrdList.Rob2022-05-081-23/+23
* Fix several note referencesKrzysztof Gogolewski2022-05-021-1/+1
* Revert "Make the specialiser handle polymorphic specialisation"Matthew Pickering2022-04-301-171/+40
* Improve floated dicts in SpecialiseSimon Peyton Jones2022-04-221-91/+112
* Fix substitution in bindAuxiliaryDictSimon Peyton Jones2022-04-201-16/+22
* Specialise: Check `typeDeterminesValue` before specialising on an interesting...wip/T19644Sebastian Graf2022-04-121-4/+10
* Specialising through specialised method calls (#19644)Sebastian Graf2022-04-121-63/+171
* Add the OPAQUE pragmaChristiaan Baaij2022-03-251-0/+5
* Worker/wrapper: Preserve float barriers (#21150)Sebastian Graf2022-03-131-1/+1
* Improve efficiency of extending a RuleEnv with a new RuleBaseMatthew Pickering2022-02-261-2/+1
* Fix a few Note inconsistenciesBen Gamari2022-02-011-2/+2
* Make RULE matching insensitive to eta-expansionSimon Peyton Jones2022-01-261-0/+2
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-111-1/+1
* Fix typosKrzysztof Gogolewski2021-12-251-1/+1
* Modify InlineSpec data constructor (helps fix #18138)Alina Banerjee2021-08-111-1/+1
* Dynflags: introduce DiagOptsSylvain Henry2021-07-011-1/+3
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-221-1/+1
* Put tracing functions into their own moduleSylvain Henry2021-06-221-0/+2
* Re-do rubbish literalsSimon Peyton Jones2021-06-051-4/+3
* Remove transitive information about modules and packages from interface filesMatthew Pickering2021-05-191-1/+1
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-4/+2
* Don't warn about ClassOp bindings not specialising.Andreas Klebinger2021-05-111-0/+34
* Improvements in SpecConstrwip/T19672Simon Peyton Jones2021-04-171-1/+1
* Make the specialiser handle polymorphic specialisationSimon Peyton Jones2021-04-131-50/+172
View Lorry Controller Status