summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver
Commit message (Expand)AuthorAgeFilesLines
* 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
* Use Reductions to keep track of rewritingssheaf2021-08-044-335/+307
* Make CallStacks work better with RebindableSyntaxSimon Peyton Jones2021-07-272-5/+9
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-282-5/+9
* Make Logger independent of DynFlagsSylvain Henry2021-06-071-3/+3
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-054-362/+514
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-296-1908/+2010
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-122-2/+2
* Fully remove HsVersions.hSylvain Henry2021-05-124-8/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-124-19/+22
* Test #19665 as expect_broken, with commentaryRichard Eisenberg2021-04-101-8/+11
* Clarify commentary around the constraint solverRichard Eisenberg2021-04-102-32/+99
* 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
* Avoid fundep-caused loop in the typecheckerSimon Peyton Jones2021-03-312-32/+116
* 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
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-011-22/+81
* Rewrite.split: Fix reboxingBen Gamari2021-02-271-2/+5
* GHC.Tc.Solver.Rewrite: oneShot-ifyBen Gamari2021-02-271-7/+14
* 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-092-19/+77
* Fix typosBrian Wignall2021-02-062-4/+4
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-232-71/+140
* Remove unused extension pragmas from the compiler code baseHécate2021-01-171-1/+1
* Never Anyify during kind inferenceRichard Eisenberg2021-01-091-1/+1
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-022-10/+24
* Refactor renamer datastructuresAdam Gundry2020-12-241-1/+1
* Fix another haddock parse errorMatthew Pickering2020-12-221-1/+1
* Kill floatEqualities completelySimon Peyton Jones2020-12-203-265/+545
* Quick Look: zonk result typeSimon Peyton Jones2020-12-191-0/+5
* 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-014-389/+382
* Remove flattening variablesRichard Eisenberg2020-12-014-2866/+1981
* Move core flattening algorithm to Core.UnifyRichard Eisenberg2020-12-011-1/+3
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-152-4/+4
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-1/+1
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-012-8/+5
* Make typechecker equality consider visibility in ForAllTysRyan Scott2020-10-311-1/+60
View Lorry Controller Status