Treat isConstraintKind more consistently
[ghc.git] / compiler / typecheck / TcErrors.hs
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
2016-05-12  Bartosz NitkaRefactor some ppr functions to use pprUFM
2016-05-10  Bartosz NitkaKill unnecessary cmpType in lhs_cmp_type
2016-04-28  Bartosz NitkaAdd uniqSetAny and uniqSetAll and use them
2016-04-28  Simon Peyton JonesMinor improvement to error message
2016-04-26  Bartosz NitkaKill varSetElems in TcErrors
2016-04-19  Simon Peyton JonesDefine TyCoRep.ppSuggestExplicitKinds, and use it
2016-04-15  Bartosz NitkaKill some unnecessary varSetElems
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-03-31  Simon Peyton JonesRefactor error generation for pattern synonyms
2016-03-24  Rik SteenkampAdd `PatSynSigSkol` and modify `PatSynCtxt`
2016-03-16  Richard EisenbergClean up some pretty-printing in errors.
2016-03-15  Richard EisenbergFix #11407.
2016-02-27  Herbert Valerio... Annotate `[-Wdeferred-type-errors]` in warnings (re...
2016-02-27  Herbert Valerio... Annotate `[-Wredundant-constraints]` in warnings (re...
2016-02-26  Simon Peyton JonesComments and white space only
2016-02-26  Simon Peyton JonesExclude TyVars from the constraint solver
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-25  Rik SteenkampImprove pattern synonym error messages (add `PatSynOrigin`)
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-17  Simon Peyton JonesSmall refactor and comments
next