summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils/TcMType.hs
Commit message (Expand)AuthorAgeFilesLines
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-121-40/+62
* Handle ConcreteTvs in inferResultToTypewip/T23153sheaf2023-04-151-17/+39
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-141-4/+27
* Add structured error messages for GHC.Tc.TyClTorsten Schmits2023-04-011-2/+2
* Add structured error messages for GHC.Tc.Utils.TcMTypeTorsten Schmits2023-03-221-29/+5
* Refactor the constraint solver pipelinewip/T23070Simon Peyton Jones2023-03-221-1/+1
* Be more careful about quantificationSimon Peyton Jones2023-03-221-75/+86
* Minor refactorKrzysztof Gogolewski2023-02-041-4/+2
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-2/+2
* Store RdrName rather than OccName in HolesMatthew Pickering2022-12-241-1/+2
* Refactor TyCon to have a top-level productSimon Peyton Jones2022-12-021-2/+2
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-26/+24
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* Add accurate skolem info when quantifyingSimon Peyton Jones2022-11-011-11/+11
* Fix typosEric Lindblad2022-09-141-2/+2
* Add diagnostic codessheaf2022-09-131-3/+3
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-9/+8
* Generalize breakTyVarCycle to work with TyFamLHSRichard Eisenberg2022-05-261-1/+1
* Check for uninferrable variables in tcInferPatSynDeclSimon Peyton Jones2022-05-101-15/+16
* Fix several note references, part 2Krzysztof Gogolewski2022-05-051-1/+1
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-132/+115
* Introduce ConcreteTv metavariablessheaf2022-03-021-15/+16
* Suggestions due to hlintMatthew Pickering2022-02-241-1/+0
* Kill derived constraintsRichard Eisenberg2022-02-231-43/+129
* Fix some notesMatthew Pickering2022-02-081-1/+1
* Fix a few Note inconsistenciesBen Gamari2022-02-011-1/+1
* Consistently upper-case "Note ["Ben Gamari2022-02-011-1/+1
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-95/+95
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-111-1/+1
* TcPlugins: `newWanted` uses the provided `CtLoc`sheaf2022-01-111-7/+16
* Ensure new Ct/evidence invariantChristiaan Baaij2021-11-251-13/+4
* Increase type sharingBen Gamari2021-11-171-4/+4
* Use local instances with least superclass depthRichard Eisenberg2021-11-121-1/+4
* Improve redundant-constraints warningRichard Eisenberg2021-11-121-0/+1
* Default kind vars in tyfams with -XNoPolyKindssheaf2021-11-081-31/+51
* Don't default type variables in type familiessheaf2021-10-261-16/+28
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-39/+34
* Use eqType, not tcEqType, in metavar kind checkRichard Eisenberg2021-10-021-4/+4
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-13/+17
* Put tracing functions into their own moduleSylvain Henry2021-06-221-19/+21
* Reword: representation instead of levitysheaf2021-06-101-4/+4
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-051-4/+4
* Port HsToCore messages to new infrastructureAlfredo Di Napoli2021-06-031-20/+13
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-10/+8
* Fully remove HsVersions.hSylvain Henry2021-05-121-3/+1
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-18/+18
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-041-1/+1
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-261-0/+1
* The result kind of a signature can't mention quantified varsSimon Peyton Jones2021-03-311-0/+7
* Implement the UnliftedDatatypes extensionSebastian Graf2021-03-141-0/+7
View Lorry Controller Status