summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Instance
Commit message (Expand)AuthorAgeFilesLines
* Cleanup of dynflags override in export renamingBartłomiej Cieślar2023-05-121-2/+2
* Add the Unsatisfiable classsheaf2023-04-292-11/+22
* Handle records in the renamersheaf2023-03-291-2/+2
* Add structured error messages for GHC.Tc.Utils.EnvTorsten Schmits2023-03-211-35/+3
* Don't specialise incoherent instance applicationsGergő Érdi2023-02-271-63/+68
* Report family instance orphans correctlySimon Peyton Jones2023-01-271-41/+0
* Do newtype unwrapping in the canonicaliser and rewriterRichard Eisenberg2023-01-261-4/+4
* Typeable: Fix module locations of some definitions in GHC.TypesMatthew Pickering2022-12-081-4/+17
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-113-71/+105
* Fix TypeData issues (fixes #22315 and #22332)Ross Paterson2022-11-081-1/+1
* Minor refactor around FastStringsKrzysztof Gogolewski2022-11-051-1/+1
* Export symbolSing, SSymbol, and friends (CLC#85)wip/clc-85Ryan Scott2022-10-061-4/+4
* Clean up some. In particular:M Farkas-Dyck2022-09-171-4/+2
* Fix typosEric Lindblad2022-09-143-3/+3
* EPA: DotFieldOcc does not have exact print annotationsAlan Zimmerman2022-08-111-1/+4
* 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
* Make withDict opaque to the specialisersheaf2022-07-211-34/+60
* Remove many GHC dependencies from L.H.Sromes2022-07-061-1/+1
* Prune L.H.S modules of GHC dependenciesromes2022-07-061-1/+1
* Use a class to check validity of withDictwip/withdictKrzysztof Gogolewski2022-05-271-1/+179
* Consider the stage of typeable evidence when checking stage restrictionMatthew Pickering2022-05-221-10/+23
* 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-043-16/+16
* Fix a few Note inconsistenciesBen Gamari2022-02-011-1/+1
* Multiple Home UnitsMatthew Pickering2021-12-281-4/+6
* Make Word64 use Word64# on every architectureSylvain Henry2021-11-061-12/+3
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-5/+4
* Make GHC.Utils.Error.Validity type polymorphicAlfredo Di Napoli2021-10-051-1/+1
* Canonicalize bignum literalsSylvain Henry2021-09-111-2/+2
* 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
* Use GHC's State monad consistentlyBen Gamari2021-05-291-1/+1
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-291-2/+2
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-124-4/+4
* Fully remove HsVersions.hSylvain Henry2021-05-124-8/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-122-5/+6
* Avoid fundep-caused loop in the typecheckerSimon Peyton Jones2021-03-311-8/+8
* Add compiler linting to CIHécate2021-03-251-2/+1
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-8/+20
* Make sure HasField use counts for -Wunused-top-bindsAdam Gundry2021-02-161-2/+18
* Fix a serious bug in roughMatchTcsSimon Peyton Jones2021-02-131-3/+3
* The Char kind (#11342)Daniel Rogozin2021-02-062-1/+21
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-3/+1
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-19/+8
* Implement BoxedRep proposalAndrew Martin2020-12-141-8/+19
* Remove flattening variablesRichard Eisenberg2020-12-011-1/+1
* Move core flattening algorithm to Core.UnifyRichard Eisenberg2020-12-011-1/+1
View Lorry Controller Status