summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Validity.hs
Commit message (Expand)AuthorAgeFilesLines
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-5/+5
* Reject linearity in kinds in checkValidType (#18780)Krzysztof Gogolewski2020-10-021-7/+27
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-1/+1
* Disallow constraints in KindSigCtxtRyan Scott2020-09-211-40/+75
* Remove unused ThBrackCtxt and ResSigCtxtRyan Scott2020-09-211-6/+0
* Postpone associated tyfam default checks until after typecheckingRyan Scott2020-09-091-1/+64
* mkUnique refactoring (#18362)Aditya Gupta2020-08-221-1/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-8/+15
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+2
* Add `forAllOrNothing` function with noteJohn Ericson2020-05-081-1/+2
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-8/+8
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-231-8/+8
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+2907