summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/TyCl/Class.hs
Commit message (Expand)AuthorAgeFilesLines
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-18/+27
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-1/+2
* Bring tcTyConScopedTyVars into scope in tcClassDecl2Ryan Scott2021-04-301-9/+27
* Replace (ptext .. sLit) with `text`Sylvain Henry2021-04-291-2/+1
* More accurate SrcSpan when reporting redundant constraintsSimon Peyton Jones2021-04-121-2/+2
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-9/+9
* GHC Exactprint main commitAlan Zimmerman2021-03-201-14/+19
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-6/+4
* Split GHC.Driver.TypesSylvain Henry2020-10-291-1/+1
* Skip type family defaults with hs-boot and hsig filesJohn Ericson2020-10-171-2/+4
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-181-1/+2
* Expunge GhcTcIdSimon Peyton Jones2020-06-251-2/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-1/+2
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-7/+7
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+554