summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/TyCl/PatSyn.hs
Commit message (Expand)AuthorAgeFilesLines
* Never Anyify during kind inferencewip/T17567Richard Eisenberg2021-01-051-4/+5
* Implement type applications in patternsCale Gibbard2020-12-141-8/+9
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-23/+81
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-1/+0
* Fix error message location in tcCheckPatSynDeclSimon Peyton Jones2020-10-231-5/+13
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-7/+6
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-16/+6
* Use LIdP rather than (XRec p (IdP p))Simon Peyton Jones2020-08-251-1/+1
* Define type Void# = (# #) (#18441)Krzysztof Gogolewski2020-07-221-3/+3
* Expunge GhcTcIdSimon Peyton Jones2020-06-251-5/+4
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-14/+15
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-3/+3
* Explicit SpecificityGert-Jan Bottu2020-05-211-19/+19
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-7/+7
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-231-5/+4
* Do eager instantation in termsSimon Peyton Jones2020-04-221-5/+4
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-7/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+1154
View Lorry Controller Status