summaryrefslogtreecommitdiff
path: root/compiler/GHC/Types/Var
Commit message (Expand)AuthorAgeFilesLines
* compiler: Implement higher order patterns in the rule matcherJaro Reinders2023-02-021-8/+16
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-2/+6
* Avoid allocating intermediate lists for non recursive bindings.Andreas Klebinger2022-10-171-1/+1
* Fix a bug in anyInRnEnvRSimon Peyton Jones2022-08-291-4/+5
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-251-1/+4
* Rule matching: Don't compute the FVs if we don't look at them.Andreas Klebinger2022-07-181-1/+13
* Improve seq[D]VarSetSimon Jakobi2022-04-081-2/+2
* Add an inline pragma to lookupVarEnvMatthew Pickering2022-03-101-0/+5
* Ticky profiling improvements.Matthew Pickering2022-03-021-0/+3
* Kill derived constraintsRichard Eisenberg2022-02-231-2/+8
* Fix a few Note inconsistenciesBen Gamari2022-02-011-0/+1
* Document that `InScopeSet` is a superset of currently in-scope variablesZiyang Liu2021-10-221-2/+22
* Get the in-scope set right during RULE matchingSimon Peyton Jones2021-08-191-5/+5
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Give Uniq[D]FM a phantom type for its key.Andreas Klebinger2020-07-122-10/+15
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-1/+1
* Use Data.IntMap.disjointSimon Jakobi2020-05-141-3/+1
* Improve some folds over Uniq[D]FMSimon Jakobi2020-05-142-7/+21
* Remove further dead code found by a simple Python script.Brian Foley2020-05-081-13/+5
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-262-6/+6
* Modules: Types (#13009)Sylvain Henry2020-03-292-0/+986
View Lorry Controller Status