Fail fast in solveLocalEqualities
[ghc.git] / compiler / typecheck / TcSimplify.hs
2019-06-19  Simon Peyton JonesFail fast in solveLocalEqualities
2019-01-03  mynguyenVisible kind application
2018-12-03  Simon Peyton JonesIntroduce tcTypeKind, and use it
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-24  Simon Peyton JonesRemove unnecessary free-var-set deletion
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-04  Simon Peyton JonesFail fast on pattern synonyms
2018-09-28  Ryan ScottNormalise EmptyCase types using the constraint solver
2018-08-24  Ben GamariTcSimplify: Condense MASSERT2() usage onto a single...
2018-08-17  Joachim BreitnerRename SigTv to TyVarTv (#15480)
2018-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
2018-07-25  Simon Peyton JonesComments only
2018-07-25  Simon Peyton Jonestc-tracing only
2018-07-24  Ryan ScottSuppress -Winaccessible-code in derived code
2018-07-15  Richard EisenbergRemove ASSERTion about increasing TcLevels
2018-07-13  Simon Peyton JonesRefactor floatEqualities slightly
2018-07-05  Simon Peyton JonesRefactor validity checking for constraints
2018-06-26  Simon Peyton JonesFix TcLevel manipulation in TcDerivInfer.simplifyDeriv
2018-06-25  Simon Peyton JonesComents and debug tracing only
2018-06-22  Simon Peyton JonesMove a Note to the module that refers to it
2018-06-22  Simon Peyton JonesInstances in no-evidence implications
2018-06-18  Gabor GreifTypofixes in docs and comments [ci skip]
2018-06-11  Simon Peyton JonesSmall refactor, adding checkBadTelescope
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-05-30  Matthías Páll Giss... Improved Valid Hole Fits
2018-05-18  Simon Peyton JonesDebug tracing only
2018-05-18  Simon Peyton JonesOrient TyVar/TyVar equalities with deepest on the left
2018-04-02  Richard EisenbergFix #14991.
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-02-07  Simon Peyton JonesFix solveOneFromTheOther for RecursiveSuperclasses
2018-01-31  Simon Peyton JonesMove zonkWC to the right place in simplfyInfer
2018-01-26  Matthías Páll Giss... Sort valid substitutions for typed holes by "relevance"
2018-01-25  Simon Peyton JonesComments about CoercionHoles
2018-01-22  Simon Peyton JonesImprove comments about TcLevel invariants
2018-01-18  Matthías Páll Giss... Inform hole substitutions of typeclass constraints...
2018-01-17  Gabor GreifTypos in comments
2018-01-10  Simon Peyton JonesFix previous patch
2018-01-09  Simon Peyton JonesFix two more bugs in partial signatures
2018-01-04  Simon Peyton JonesDrop dead Given bindings in setImplicationStatus
2018-01-03  Simon Peyton JonesComments only
2017-12-21  Richard EisenbergComments only [skip ci]
2017-12-21  Gabor GreifTypos in comments
2017-12-21  Simon Peyton JonesFix floating of equalities
2017-12-21  Simon Peyton JonesCheck for bogus quantified tyvars in partial type sigs
2017-12-11  Simon Peyton JonesFix SigTvs at the kind level
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-09  Ben GamariMerge initial Hadrian snapshot
2017-11-08  Simon Peyton JonesMinimise provided dictionaries in pattern synonyms
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-11  Simon Peyton JonesRemove wc_insol from WantedConstraints
2017-09-25  Simon Peyton JonesFix solving of implicit parameter constraints
2017-09-21  Matthías Páll Giss... Also show types that subsume a hole as valid substituti...
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-19  Simon Peyton JonesFix unused-given-constraint bug
2017-08-12  Ryan ScottUse NonEmpty lists to represent lists of duplicate...
2017-07-28  Simon Peyton JonesDo not discard insolubles in implications
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-06-05  Simon Peyton JonesMake the MR warning more accurage
2017-05-26  Gabor GreifTypos in comments [ci skip]
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-05-19  Simon Peyton JonesEnsure that insolubles are fully rewritten
2017-04-18  Bartosz NitkaUse intersect and minus instead of filter
2017-04-13  Simon Peyton JonesRemove dead quantifyTyVars
2017-04-13  Simon Peyton JonesYet more work on TcSimplify.simplifyInfer
2017-04-11  Gabor GreifTypos in comments [ci skip]
2017-04-06  Simon Peyton JonesYet another attempt at inferring the right quantification
2017-03-17  Richard EisenbergRemove solveSomeEqualities
2017-03-14  Richard EisenbergFix #13337.
2017-03-10  Simon Peyton JonesDefine TcSimplify.simplifyTopImplic and use it
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2017-03-10  Simon Peyton JonesFix TcSimplify.decideQuantification for kind variables
2017-03-01  David FeuerUpgrade UniqSet to a newtype
2017-02-15  Gabor GreifTypos [ci skip]
2017-02-14  vivid-synthAllow type defaulting for multi-param type classes...
2017-02-10  Ryan ScottRefactor DeriveAnyClass's instance context inference
2017-02-09  Gabor GreifTweaks and typos in manual, note refs, comments
2017-02-08  Simon Peyton JonesBack-pedal the fix for Trac #8155
2017-01-23  Gabor GreifTypos and grammar in manual/comments
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-18  Gabor GreifSpelling fixes in comments [ci skip]
2017-01-12  Simon Peyton JonesFix top-level constraint handling (Trac #12921)
2016-12-12  Simon Peyton JonesRefactor pruning of implication constraints
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-15  Gabor GreifTypos in comments, notes and manual
2016-11-11  Simon Peyton JonesRevert "Refactor CallStack defaulting slightly"
2016-11-10  Simon Peyton JonesRefactor CallStack defaulting slightly
2016-11-02  Simon Peyton JonesFix Trac #12797: approximateWC
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-17  Simon Peyton JonesComments about -Wredundant-constraints
2016-09-23  Richard EisenbergFix #12442.
2016-09-12  Simon Peyton JonesBe less picky about reporing inaccessible code
2016-08-17  Simon Peyton JonesKeep the bindings local during defaultCallStacks
2016-06-27  Ömer Sinan AğacanTypos in user manual and code: recurisve -> recursive
2016-06-23  Richard EisenbergFix #10963 and #11975 by adding new cmds to GHCi.
2016-06-23  Richard EisenbergFix #11974 by adding a more smarts to TcDefaults.
2016-06-22  Simon Peyton JonesExpand given superclasses more eagerly
next