summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Instance/Class.hs
Commit message (Expand)AuthorAgeFilesLines
* Consider the stage of typeable evidence when checking stage restrictionMatthew Pickering2022-05-221-10/+23
* compiler: Introduce and use RoughMap for instance environmentsBen Gamari2022-02-041-2/+2
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-5/+4
* Canonicalize bignum literalsSylvain Henry2021-09-111-2/+2
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-291-2/+2
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Make sure HasField use counts for -Wunused-top-bindsAdam Gundry2021-02-161-2/+18
* The Char kind (#11342)Daniel Rogozin2021-02-061-1/+14
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-2/+2
* Split GHC.Driver.TypesSylvain Henry2020-10-291-8/+12
* Remove Proxy# argument in Data.Typeable.InternalKrzysztof Gogolewski2020-10-151-1/+1
* Unification of Nat and NaturalsHaskellMouse2020-10-131-1/+1
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-1/+1
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-151-4/+3
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Don't mark closed type family equations as occurrencesRyan Scott2020-07-301-2/+2
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-181-0/+1
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-1/+1
* Update compilerSylvain Henry2020-06-171-3/+1
* Various performance improvementsKrzysztof Gogolewski2020-06-171-4/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-6/+7
* User's Guide: KnownNat evidence is NaturalVladislav Zavialov2020-06-151-4/+4
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-3/+3
* Modules (#13009)Sylvain Henry2020-04-181-5/+5
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+714
View Lorry Controller Status