summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Instance/Family.hs
Commit message (Expand)AuthorAgeFilesLines
* Report family instance orphans correctlySimon Peyton Jones2023-01-271-41/+0
* Do newtype unwrapping in the canonicaliser and rewriterRichard Eisenberg2023-01-261-4/+4
* Clean up some. In particular:M Farkas-Dyck2022-09-171-4/+2
* Fix typosEric Lindblad2022-09-141-1/+1
* compiler: Introduce and use RoughMap for instance environmentsBen Gamari2022-02-041-10/+8
* Multiple Home UnitsMatthew Pickering2021-12-281-4/+6
* Add and use new constructors to TcRnMessageAlfredo Di Napoli2021-09-071-65/+29
* Use Reductions to keep track of rewritingssheaf2021-08-041-1/+1
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-5/+11
* 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-2/+3
* Remove flattening variablesRichard Eisenberg2020-12-011-1/+1
* Split GHC.Driver.TypesSylvain Henry2020-10-291-15/+28
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-181-1/+1
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-30/+4
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-1/+1
* 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-7/+7
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+1056