summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Type.hs
Commit message (Expand)AuthorAgeFilesLines
* Care with occCheckExpand in kind of occurrencesSimon Peyton Jones2020-07-241-16/+77
* Refactor the simplification of join bindersSimon Peyton Jones2020-07-181-25/+0
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-181-27/+15
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-15/+0
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Use NHsCoreTy to embed types into GND-generated codeRyan Scott2020-06-281-4/+4
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-8/+8
* Various performance improvementsKrzysztof Gogolewski2020-06-171-238/+235
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-77/+116
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-131-12/+41
* Implement cast worker/wrapper properlySimon Peyton Jones2020-06-101-35/+13
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-2/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+16
* Explicit SpecificityGert-Jan Bottu2020-05-211-11/+26
* Use Data.IntMap.disjointSimon Jakobi2020-05-141-1/+1
* Document (->) using inferred quantification for its runtime representations.Baldur Blöndal2020-05-131-2/+3
* Make isTauTy detect higher-rank contextsRyan Scott2020-05-061-9/+11
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-8/+8
* Modules (#13009)Sylvain Henry2020-04-181-3/+4
* Significant refactor of LintSimon Peyton Jones2020-04-121-3/+8
* Special case `isConstraintKindCon` on `AlgTyCon`Sebastian Graf2020-04-091-3/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-7/+7
* Modules: Types (#13009)Sylvain Henry2020-03-291-7/+7
* Update core spec to reflect changes to Core.Richard Eisenberg2020-03-201-0/+1
* Implement mapTyCo like foldTyCoSimon Peyton Jones2020-03-171-71/+90
* Modules: Core (#13009)Sylvain Henry2020-03-161-0/+3221
View Lorry Controller Status