summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver/Monad.hs
Commit message (Expand)AuthorAgeFilesLines
* matchLocalInst: do domination analysissheaf2022-09-281-13/+9
* Fix typosEric Lindblad2022-09-141-1/+1
* Add diagnostic codessheaf2022-09-131-1/+1
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-3/+3
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-251-9/+8
* Generalize breakTyVarCycle to work with TyFamLHSRichard Eisenberg2022-05-261-19/+22
* Consider the stage of typeable evidence when checking stage restrictionMatthew Pickering2022-05-221-10/+76
* TcPlugin: access to irreducible givens + fix passed ev_binds_varPavol Vargovcik2022-05-161-2/+8
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-8/+6
* Add Red Herring to Note [What might equal later?]Richard Eisenberg2022-03-281-86/+0
* Make inert_cycle_breakers into a stack.Richard Eisenberg2022-03-021-6/+8
* Introduce ConcreteTv metavariablessheaf2022-03-021-9/+30
* Kill derived constraintsRichard Eisenberg2022-02-231-533/+163
* Fix some notesMatthew Pickering2022-02-081-1/+1
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-4/+7
* Set the TcLclEnv when solving a ForAll constraintSimon Peyton Jones2022-01-271-1/+7
* Fix getHasGivenEqsSimon Peyton Jones2022-01-271-4/+7
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-17/+19
* Speed up valid hole-fits by adding early abort and checks.Matthías Páll Gissurarson2021-10-051-25/+43
* Detect TypeError when checking for insolubilitysheaf2021-08-151-3/+9
* Add rewriting to typechecking pluginssheaf2021-08-131-1/+1
* Use Reductions to keep track of rewritingssheaf2021-08-041-49/+39
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-4/+5
* Make Logger independent of DynFlagsSylvain Henry2021-06-071-3/+3
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-051-42/+201
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-291-1904/+41
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-3/+3
* Test #19665 as expect_broken, with commentaryRichard Eisenberg2021-04-101-8/+11
* Clarify commentary around the constraint solverRichard Eisenberg2021-04-101-32/+96
* Kick out fewer equalities by thinking harderRichard Eisenberg2021-04-101-26/+42
* Tweak kick-out condition K2b to deal with LHSsRichard Eisenberg2021-04-101-50/+123
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-1/+1
* Add compiler linting to CIHécate2021-03-251-2/+7
* TcS: oneShot-ifyBen Gamari2021-02-271-8/+16
* Refactor LoggerSylvain Henry2021-02-131-2/+2
* Fix a long standing bug in constraint solvingSimon Peyton Jones2021-02-091-8/+28
* Fix typosBrian Wignall2021-02-061-2/+2
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-62/+130
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-021-8/+21
* Kill floatEqualities completelySimon Peyton Jones2020-12-201-201/+360
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-011-13/+11
* Remove flattening variablesRichard Eisenberg2020-12-011-750/+715
* Move core flattening algorithm to Core.UnifyRichard Eisenberg2020-12-011-1/+3
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-2/+1
* Split GHC.Driver.TypesSylvain Henry2020-10-291-1/+2
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-1/+1
* Add TyCon Set/Env and use them in a few places.Andreas Klebinger2020-10-091-1/+2
* Omit redundant kind equality check in solverRichard Eisenberg2020-09-301-13/+21
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-151-2/+1
View Lorry Controller Status