summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Instance/FunDeps.hs
Commit message (Expand)AuthorAgeFilesLines
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-7/+12
* Fix typosEric Lindblad2022-09-141-1/+1
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-2/+2
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-251-64/+76
* decideMonoTyVars: account for CoVars in candidatessheaf2022-04-221-2/+4
* Kill derived constraintsRichard Eisenberg2022-02-231-20/+27
* compiler: Introduce and use RoughMap for instance environmentsBen Gamari2022-02-041-4/+6
* Fix a few Note inconsistenciesBen Gamari2022-02-011-1/+1
* Make GHC.Utils.Error.Validity type polymorphicAlfredo Di Napoli2021-10-051-1/+1
* 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-3/+3
* Avoid fundep-caused loop in the typecheckerSimon Peyton Jones2021-03-311-8/+8
* Fix a serious bug in roughMatchTcsSimon Peyton Jones2021-02-131-3/+3
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-3/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-2/+4
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-6/+6
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+682