summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/Rule.hs
Commit message (Expand)AuthorAgeFilesLines
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-3/+2
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Expunge GhcTcIdSimon Peyton Jones2020-06-251-3/+3
* Various performance improvementsKrzysztof Gogolewski2020-06-171-1/+0
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-2/+3
* Simplify bindLHsTyVarBndrs and bindHsQTyVarswip/simply-bind-tyvarsRyan Scott2020-06-051-2/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-1/+1
* Explicit SpecificityGert-Jan Bottu2020-05-211-4/+5
* Factor out HsPatSigType for pat sigs/RULE term sigs (#16762)Ryan Scott2020-05-131-1/+1
* Refactor hole constraints.Richard Eisenberg2020-05-061-4/+2
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-4/+4
* Do eager instantation in termsSimon Peyton Jones2020-04-221-1/+1
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-3/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+498