summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/TyCl/Class.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix type variable substitution in gen_Newtype_fam_instswip/backports-9.6Ryan Scott2023-05-171-7/+66
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-1/+1
* Fix typosEric Lindblad2022-09-141-1/+1
* Use TcRnDiagnostic in GHC.Tc.TyCl.Class (#20117)Giles Anderson2022-08-291-42/+13
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-1/+1
* Prune L.H.S modules of GHC dependenciesromes2022-07-061-1/+1
* TTG Pull AbsBinds and ABExport out of the main ASTromes2022-03-141-4/+3
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-25/+11
* 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
View Lorry Controller Status