summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver/Canonical.hs
Commit message (Expand)AuthorAgeFilesLines
* Use setSrcSpan rather than setLclEnv in solveForAllMatthew Pickering2023-05-171-2/+3
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-121-47/+40
* Refactor the constraint solver pipelinewip/T23070Simon Peyton Jones2023-03-221-2425/+20
* Constraint simplification loop now depends on `ExpansionFuel`Apoorv Ingle2023-03-061-58/+92
* Don't specialise incoherent instance applicationsGergő Érdi2023-02-271-8/+8
* Narrow the dont-decompose-newtype testSimon Peyton Jones2023-02-161-104/+122
* Do newtype unwrapping in the canonicaliser and rewriterRichard Eisenberg2023-01-261-54/+97
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-39/+75
* Be more careful in GHC.Tc.Solver.Interact.solveOneFromTheOtherSimon Peyton Jones2022-11-301-2/+2
* Killing cc_fundeps, streamlining kind equality orientation, and type equality...Apoorv Ingle2022-11-291-34/+117
* Fix decomposition of TyConAppswip/T22331Simon Peyton Jones2022-11-251-197/+303
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-131/+112
* Define `Infinite` list and use where appropriate.M Farkas-Dyck2022-11-081-2/+2
* TyEq:N assertion: only for saturated applicationssheaf2022-10-191-5/+15
* Fix typosKrzysztof Gogolewski2022-09-141-1/+1
* Fix typosEric Lindblad2022-09-141-5/+5
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-4/+4
* Generalize breakTyVarCycle to work with TyFamLHSRichard Eisenberg2022-05-261-47/+75
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-48/+0
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-0/+2
* Introduce ConcreteTv metavariablessheaf2022-03-021-216/+39
* Kill derived constraintsRichard Eisenberg2022-02-231-369/+340
* Fix some notesMatthew Pickering2022-02-081-2/+2
* Relax TyEq:N: allow out-of-scope newtype DataConsheaf2022-02-081-8/+20
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-11/+11
* Set the TcLclEnv when solving a ForAll constraintSimon Peyton Jones2022-01-271-0/+4
* 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-121-12/+12
* Improve redundant-constraints warningRichard Eisenberg2021-11-121-5/+12
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-2/+143
* Compare FunTys as if they were TyConApps.Richard Eisenberg2021-09-291-3/+2
* Use Reductions to keep track of rewritingssheaf2021-08-041-75/+70
* Make CallStacks work better with RebindableSyntaxSimon Peyton Jones2021-07-271-2/+4
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-051-304/+278
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-291-2/+3
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-8/+9
* Avoid fundep-caused loop in the typecheckerSimon Peyton Jones2021-03-311-8/+15
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-021-2/+3
* Refactor renamer datastructuresAdam Gundry2020-12-241-1/+1
* Fix another haddock parse errorMatthew Pickering2020-12-221-1/+1
* Kill floatEqualities completelySimon Peyton Jones2020-12-201-23/+98
* Optimise nullary type constructor usagewip/tyconapp-optsBen Gamari2020-12-141-0/+5
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-141-5/+0
* Optimise nullary type constructor usageBen Gamari2020-12-141-0/+5
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-081-1/+1
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-011-95/+97
* Remove flattening variablesRichard Eisenberg2020-12-011-327/+836
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-151-3/+3
View Lorry Controller Status