summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/TyCl.hs
Commit message (Expand)AuthorAgeFilesLines
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-2/+2
* Implement -Wmissing-kind-signaturesOleg Grenrus2021-03-251-9/+16
* GHC Exactprint main commitAlan Zimmerman2021-03-201-28/+30
* Implement the UnliftedDatatypes extensionSebastian Graf2021-03-141-14/+75
* Wrap LHsContext in Maybe in the GHC ASTAlan Zimmerman2021-03-011-9/+10
* Fix two places where TcGblEnv was retainedMatthew Pickering2021-02-281-1/+3
* Fix typosBrian Wignall2021-02-061-1/+1
* Add explicit import lists to Data.List importsOleg Grenrus2021-01-291-1/+1
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-1/+1
* Never Anyify during kind inferenceRichard Eisenberg2021-01-091-16/+67
* Refactor renamer datastructuresAdam Gundry2020-12-241-3/+2
* Implement type applications in patternsCale Gibbard2020-12-141-2/+2
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-081-181/+288
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-81/+89
* Split HsConDecl{H98,GADT}DetailsRyan Scott2020-10-301-30/+60
* Remove unnecessary gender from comments/docsRichard Eisenberg2020-10-291-1/+1
* Check for large tuples more thoroughlywip/T18723Ryan Scott2020-10-291-1/+2
* Split GHC.Driver.TypesSylvain Henry2020-10-291-14/+24
* API Annotations: Keep track of unicode for linear arrow notationwip/az/unicode-hsscaledAlan Zimmerman2020-10-201-1/+1
* Cache HomeUnit in HscEnv (#17957)Sylvain Henry2020-10-091-31/+35
* Preserve as-parsed arrow type for HsUnrestrictedArrowAlan Zimmerman2020-10-071-2/+18
* Linear types: fix kind inference when checking dataconsKrzysztof Gogolewski2020-09-291-1/+3
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-99/+104
* Postpone associated tyfam default checks until after typecheckingRyan Scott2020-09-091-94/+85
* Remove "Ord FastString" instanceSylvain Henry2020-09-011-1/+2
* Add HomeUnit typeSylvain Henry2020-08-131-5/+4
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Fail eagerly on a lev-poly datacon argRichard Eisenberg2020-08-061-11/+24
* DynFlags: don't use sdocWithDynFlags in datacon pprSylvain Henry2020-07-301-5/+6
* Don't mark closed type family equations as occurrencesRyan Scott2020-07-301-6/+21
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-203/+303
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-3/+3
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-1/+1
* Various performance improvementsKrzysztof Gogolewski2020-06-171-3/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-30/+46
* Refactor homeUnitSylvain Henry2020-06-131-2/+3
* Make GADT constructors adhere to the forall-or-nothing rule properlyRyan Scott2020-06-091-39/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-53/+38
* Explicit SpecificityGert-Jan Bottu2020-05-211-63/+50
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Refactoring unit management codeSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-5/+5
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-231-5/+5
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-33/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+4913
View Lorry Controller Status