Use transSuperClasses in TcErrors
[ghc.git] / compiler / typecheck / TcErrors.hs
2019-03-12  Simon Peyton JonesUse transSuperClasses in TcErrors
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-02-14  Simon Peyton JonesMake a smart mkAppTyM
2018-12-03  Simon Peyton JonesIntroduce tcTypeKind, and use it
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-24  Shayan-Najd[TTG: Handling Source Locations] Foundation and Pat
2018-11-22  David EichmannFix unused-import warnings
2018-11-22  Ryan ScottOverhaul -fprint-explicit-kinds to use VKA
2018-11-04  rolandFix for Trac #15611: Scope errors lie about what module...
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-24  Simon Peyton JonesReport a Wanted error even if there are Given ones
2018-10-24  Simon Peyton JonesRefactor the treatment of predicate types
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-09-15  ningningCoercion Quantification
2018-08-24  Simon Peyton JonesBetter error reporting for inaccessible code
2018-08-23  Simon Peyton JonesAccommodate API change in transSuperClasses
2018-08-20  Simon Peyton JonesInitialise cec_suppress properly
2018-08-17  Joachim BreitnerRename SigTv to TyVarTv (#15480)
2018-08-12  Ryan ScottSuppress redundant givens during error reporting
2018-07-25  Simon Peyton JonesFix and document cloneWC
2018-07-25  Simon Peyton JonesTreat isConstraintKind more consistently
2018-07-24  Ryan ScottSuppress -Winaccessible-code in derived code
2018-06-08  Ben Gamaritypecheck: Don't warn about "redundant" TypeError const...
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-06-03  Tobias DammersTurn "inaccessible code" error into a warning
2018-05-30  Matthías Páll Giss... Improved Valid Hole Fits
2018-05-18  Simon Peyton JonesOrient TyVar/TyVar equalities with deepest on the left
2018-05-16  Ryan ScottFix #15039 by pretty-printing equalities more systemati...
2018-05-15  Simon Peyton JonesTidy up error suppression
2018-04-27  Simon Peyton JonesMake out-of-scope errors more prominent
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-23  Ryan ScottAllow PartialTypeSignatures in standalone deriving...
2018-02-18  Matthías Páll Giss... Add valid refinement substitution suggestions for typed...
2018-02-08  Simon Peyton JonesFix isDroppableCt (Trac #14763)
2018-01-26  Matthías Páll Giss... Sort valid substitutions for typed holes by "relevance"
2018-01-26  Joachim BreitnerTurn EvTerm (almost) into CoreExpr (#14691)
2018-01-18  Matthías Páll Giss... Inform hole substitutions of typeclass constraints...
2018-01-03  Simon Peyton JonesNo deferred type errors under a forall
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
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-19  Ryan ScottFix #14369 by making injectivity warnings finer-grained
2017-10-11  Simon Peyton JonesRemove wc_insol from WantedConstraints
2017-10-11  Simon Peyton JonesTypos in comments only
2017-09-25  Simon Peyton JonesImprove type-error reporting
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-14  Richard EisenbergFix #13909 by tweaking an error message.
2017-09-14  Simon Peyton JonesTidying could cause ill-kinded types
2017-09-09  Herbert Valerio... Canonicalise Monoid instances in GHC
2017-08-12  Ryan ScottUse NonEmpty lists to represent lists of duplicate...
2017-08-01  Ryan ScottDrop GHC 7.10 compatibility
2017-07-27  Richard EisenbergTrack visibility in TypeEqOrigin
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-06-07  Simon Peyton JonesSpelling typos
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-26  Gabor GreifTypos in comments [ci skip]
2017-05-26  Simon Peyton JonesSome tidying up of type pretty-printing
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-04-13  Matthías Páll Giss... Fix typo in TcErrors.hs
2017-04-12  Matthew PickeringSplit up RnEnv into 4 modules, RnUnbound, RnUtils and...
2017-04-06  Simon Peyton JonesAdd a missing addDeferredBinding
2017-03-31  Ben GamariClean up coreView/tcView.
2017-03-30  Gabor GreifTypos in comments [ci skip]
2017-03-29  Matthías Páll Giss... Show valid substitutions for typed holes
2017-03-29  Simon Peyton JonesFix ASSERT failure in TcErrors
2017-03-27  Simon Peyton JonesFix error-message suppress on given equalities
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2017-02-26  Simon Peyton JonesChange -ddump-tc-trace output in TcErrors, slightly
2017-02-07  Gabor GreifTypos in comments [skip ci]
2017-02-03  Sylvain HenryDitch static flags
2017-01-25  Gabor GreifTypos in comments [ci skip]
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-12  Simon Peyton JonesSmall refactoring in TcErrors
2016-12-15  Maciej BieleckiShow constraints when reporting typed holes
2016-11-25  Simon Peyton JonesAllow TyVars in TcTypes
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-13  Ben GamariKill Type pretty-printer
2016-10-21  Simon Peyton JonesRefactor occurrence-check logic
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-21  Gabor GreifTypos in comments
2016-10-17  Simon Peyton JonesComments about -Wredundant-constraints
2016-09-30  Simon Peyton JonesAdd Outputable Report in TcErrors
2016-09-12  Simon Peyton JonesBe less picky about reporing inaccessible code
2016-08-31  Eugene AkentyevAdd -fdefer-out-of-scope-variables flag (#12170).
2016-08-17  Simon Peyton JonesNot-in-scope variables are always errors
2016-08-01  Annie CherkaevRelevant Bindings no longer reports shadowed bindings...
2016-06-28  Simon Peyton JonesDon't omit any evidence bindings
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-23  Simon Peyton JonesGive lookupGRE_Name a better API
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-05-18  Bartosz NitkaKill varSetElems in tidyFreeTyCoVars
2016-05-15  Ömer Sinan AğacanFix a performance issue with -fprint-expanded-synonyms
next