summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver
Commit message (Expand)AuthorAgeFilesLines
* Constraint simplification loop now depends on `ExpansionFuel`Apoorv Ingle2023-03-062-72/+113
* Don't specialise incoherent instance applicationsGergő Érdi2023-02-273-37/+40
* Narrow the dont-decompose-newtype testSimon Peyton Jones2023-02-163-165/+152
* Introduce warning for loopy superclass solvesheaf2023-02-143-53/+93
* Do newtype unwrapping in the canonicaliser and rewriterRichard Eisenberg2023-01-263-74/+187
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-114-84/+136
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-241-2/+2
* Fix an assertion check in addToEqualCtListSimon Peyton Jones2022-12-211-9/+17
* Be more careful in GHC.Tc.Solver.Interact.solveOneFromTheOtherSimon Peyton Jones2022-11-303-45/+52
* Killing cc_fundeps, streamlining kind equality orientation, and type equality...Apoorv Ingle2022-11-292-89/+245
* Fix decomposition of TyConAppswip/T22331Simon Peyton Jones2022-11-253-219/+320
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-234-6/+1
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-115-189/+179
* Define `Infinite` list and use where appropriate.M Farkas-Dyck2022-11-082-11/+13
* TyEq:N assertion: only for saturated applicationssheaf2022-10-191-5/+15
* matchLocalInst: do domination analysissheaf2022-09-283-84/+213
* Fix typosKrzysztof Gogolewski2022-09-141-1/+1
* Fix typosEric Lindblad2022-09-144-15/+15
* Add diagnostic codessheaf2022-09-131-1/+1
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-043-14/+12
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-252-15/+26
* Generalize breakTyVarCycle to work with TyFamLHSRichard Eisenberg2022-05-263-68/+99
* Consider the stage of typeable evidence when checking stage restrictionMatthew Pickering2022-05-222-11/+77
* TcPlugin: access to irreducible givens + fix passed ev_binds_varPavol Vargovcik2022-05-162-6/+13
* Fix several note referencesKrzysztof Gogolewski2022-05-021-1/+1
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-284-70/+9
* Add Red Herring to Note [What might equal later?]Richard Eisenberg2022-03-283-87/+130
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-0/+2
* Make inert_cycle_breakers into a stack.Richard Eisenberg2022-03-022-18/+75
* Introduce ConcreteTv metavariablessheaf2022-03-023-230/+77
* Kill derived constraintsRichard Eisenberg2022-02-236-1453/+968
* Fix some notesMatthew Pickering2022-02-082-3/+3
* Relax TyEq:N: allow out-of-scope newtype DataConsheaf2022-02-081-8/+20
* Fix a few Note inconsistenciesBen Gamari2022-02-011-3/+3
* Make typechecker trace less strictSimon Peyton Jones2022-01-311-2/+4
* Rework the handling of SkolemInfoMatthew Pickering2022-01-292-15/+18
* Set the TcLclEnv when solving a ForAll constraintSimon Peyton Jones2022-01-272-1/+11
* Fix getHasGivenEqsSimon Peyton Jones2022-01-271-4/+7
* Skip computing superclass origins for equalitiesRichard Eisenberg2021-12-281-4/+13
* Ensure new Ct/evidence invariantChristiaan Baaij2021-11-251-5/+5
* Use local instances with least superclass depthRichard Eisenberg2021-11-123-50/+114
* Improve redundant-constraints warningRichard Eisenberg2021-11-123-59/+65
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-175-33/+198
* Speed up valid hole-fits by adding early abort and checks.Matthías Páll Gissurarson2021-10-051-25/+43
* Use eqType, not tcEqType, in metavar kind checkRichard Eisenberg2021-10-021-1/+1
* Compare FunTys as if they were TyConApps.Richard Eisenberg2021-09-292-15/+42
* Add and use new constructors to TcRnMessageAlfredo Di Napoli2021-09-071-8/+1
* TcPlugins: solve and report contras simultaneouslysheaf2021-08-231-8/+11
* Detect TypeError when checking for insolubilitysheaf2021-08-151-3/+9
* Add rewriting to typechecking pluginssheaf2021-08-133-54/+116
View Lorry Controller Status