summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver/Interact.hs
Commit message (Expand)AuthorAgeFilesLines
* Refactor the constraint solver pipelinewip/T23070Simon Peyton Jones2023-03-221-1519/+13
* Add structured error messages for GHC.Tc.Utils.EnvTorsten Schmits2023-03-211-1/+1
* Don't specialise incoherent instance applicationsGergő Érdi2023-02-271-21/+24
* Introduce warning for loopy superclass solvesheaf2023-02-141-38/+65
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-36/+35
* Be more careful in GHC.Tc.Solver.Interact.solveOneFromTheOtherSimon Peyton Jones2022-11-301-41/+48
* Killing cc_fundeps, streamlining kind equality orientation, and type equality...Apoorv Ingle2022-11-291-55/+128
* Fix decomposition of TyConAppswip/T22331Simon Peyton Jones2022-11-251-5/+3
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-231-1/+0
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-26/+33
* matchLocalInst: do domination analysissheaf2022-09-281-65/+193
* Fix typosEric Lindblad2022-09-141-7/+7
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-7/+5
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-251-6/+18
* Consider the stage of typeable evidence when checking stage restrictionMatthew Pickering2022-05-221-1/+1
* TcPlugin: access to irreducible givens + fix passed ev_binds_varPavol Vargovcik2022-05-161-4/+5
* Fix several note referencesKrzysztof Gogolewski2022-05-021-1/+1
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-10/+2
* Add Red Herring to Note [What might equal later?]Richard Eisenberg2022-03-281-1/+1
* Introduce ConcreteTv metavariablessheaf2022-03-021-5/+8
* Kill derived constraintsRichard Eisenberg2022-02-231-260/+270
* Fix a few Note inconsistenciesBen Gamari2022-02-011-3/+3
* Use local instances with least superclass depthRichard Eisenberg2021-11-121-37/+101
* Improve redundant-constraints warningRichard Eisenberg2021-11-121-53/+52
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-10/+26
* Use eqType, not tcEqType, in metavar kind checkRichard Eisenberg2021-10-021-1/+1
* Add and use new constructors to TcRnMessageAlfredo Di Napoli2021-09-071-8/+1
* TcPlugins: solve and report contras simultaneouslysheaf2021-08-231-8/+11
* Add rewriting to typechecking pluginssheaf2021-08-131-13/+14
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-1/+4
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-051-11/+11
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-291-1/+3
* 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-4/+5
* Avoid fundep-caused loop in the typecheckerSimon Peyton Jones2021-03-311-24/+101
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-011-22/+81
* Fix a long standing bug in constraint solvingSimon Peyton Jones2021-02-091-11/+49
* Fix typosBrian Wignall2021-02-061-2/+2
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-9/+10
* Remove unused extension pragmas from the compiler code baseHécate2021-01-171-1/+1
* Kill floatEqualities completelySimon Peyton Jones2020-12-201-41/+87
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-011-2/+2
* Remove flattening variablesRichard Eisenberg2020-12-011-583/+140
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-6/+4
* Remove unnecessary gender from comments/docsRichard Eisenberg2020-10-291-2/+2
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-7/+10
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-1/+1
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-151-3/+6
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
View Lorry Controller Status