summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Types.hs
Commit message (Expand)AuthorAgeFilesLines
* Split GHC.Driver.TypesSylvain Henry2020-10-291-22/+38
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-3/+5
* Extract definition of DsM into GHC.HsToCore.TypesSebastian Graf2020-09-121-59/+1
* PmCheck: Disattach COMPLETE pragma lookup from TyConsSebastian Graf2020-09-121-5/+4
* PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341Sebastian Graf2020-09-101-3/+3
* PmCheck: Big refactor using guard tree variants more closely following source...Sebastian Graf2020-09-101-1/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-141-1/+2
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-1/+18
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-15/+15
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-0/+4
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-2/+2
* Clean up boot vs non-boot disambiguating typesJohn Ericson2020-06-041-13/+14
* Explicit SpecificityGert-Jan Bottu2020-05-211-5/+5
* Unit: split and rename modulesSylvain Henry2020-04-301-2/+2
* Refactoring unit management codeSylvain Henry2020-04-301-3/+3
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-9/+9
* GHC.Runtime: avoid DynFlags (#17957)Sylvain Henry2020-04-211-0/+7
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+1728