summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Rules.hs
Commit message (Expand)AuthorAgeFilesLines
* Split DynFlags structure into own moduleOleg Grenrus2023-05-151-1/+1
* Account for local rules in specImportsSimon Peyton Jones2023-02-281-1/+9
* Refactor the simplifier a bit to fix #22761Simon Peyton Jones2023-02-101-7/+13
* compiler: Implement higher order patterns in the rule matcherJaro Reinders2023-02-021-8/+176
* Take account of loop breakers in specLookupRuleSimon Peyton Jones2023-01-301-6/+7
* Fire RULES in the SpecialiserSimon Peyton Jones2022-11-101-32/+123
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* whitespaceEric Lindblad2022-09-071-1/+1
* typosEric Lindblad2022-09-071-3/+3
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-4/+4
* Teach SpecConstr about typeDeterminesValueSimon Peyton Jones2022-07-251-53/+93
* Rule matching: Don't compute the FVs if we don't look at them.Andreas Klebinger2022-07-181-2/+4
* Fix a scoping bug in the SpecialiserSimon Peyton Jones2022-07-091-1/+1
* Purge `DynFlags` and `HscEnv` from some `GHC.Core` modules where it's not too...wip/dflags-core-opt-easierJohn Ericson2022-05-311-17/+1
* Specialising through specialised method calls (#19644)Sebastian Graf2022-04-121-3/+6
* Improve efficiency of extending a RuleEnv with a new RuleBaseMatthew Pickering2022-02-261-7/+4
* Use a more up-to-date snapshot of the current rules in the simplifierMatthew Pickering2022-02-261-5/+12
* simplCore: Correctly extend in-scope set in rule matchingBen Gamari2022-02-251-25/+47
* Fix comment reference to T4818Ben Gamari2022-02-251-1/+2
* Tag inference work.Andreas Klebinger2022-02-121-2/+4
* Fix some notesMatthew Pickering2022-02-081-2/+2
* Consistently upper-case "Note ["Ben Gamari2022-02-011-1/+1
* Make RULE matching insensitive to eta-expansionSimon Peyton Jones2022-01-261-138/+412
* Compare types of recursive let-bindings in alpha-equivalenceChristiaan Baaij2021-11-251-2/+3
* Get the in-scope set right during RULE matchingSimon Peyton Jones2021-08-191-19/+18
* Use the right InScopeSet for findBestSimon Peyton Jones2021-08-151-22/+21
* Fix lookupIdSubst call during RULE matchingKrzysztof Gogolewski2021-08-151-8/+17
* Put tracing functions into their own moduleSylvain Henry2021-06-221-10/+17
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-6/+4
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-0/+1
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-201-0/+1
* Don't pass homeUnitId at ExternalPackageState creation time (#10827)Sylvain Henry2021-02-221-3/+7
* Add explicit import lists to Data.List importsOleg Grenrus2021-01-291-1/+1
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-2/+2
* Export singleton function from Data.ListWander Hillen2020-09-191-2/+2
* Remove "Ord FastString" instanceSylvain Henry2020-09-011-2/+2
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+2
* DynFlags: avoid the use of sdocWithDynFlags in GHC.Core.Rules (#17957)Sylvain Henry2020-07-031-20/+28
* Improve debug tracing for substitutionSimon Peyton Jones2020-07-011-2/+2
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-1/+1
* Simplify bindLHsTyVarBndrs and bindHsQTyVarswip/simply-bind-tyvarsRyan Scott2020-06-051-1/+1
* Make WorkWrap.Lib.isWorkerSmallEnough aware of the old aritySebastian Graf2020-05-261-1/+1
* simplCore: Ignore ticks in rule templatesBen Gamari2020-05-231-2/+11
* Refactor PprDebug handlingSylvain Henry2020-05-011-3/+3
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+2
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-6/+6
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* GHC.Core.Opt renamingSylvain Henry2020-04-181-5/+5
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-10/+10
View Lorry Controller Status