Make a smart mkAppTyM
[ghc.git] / compiler / typecheck / TcValidity.hs
2019-02-06  Ryan ScottFix #16287 by checking for more unsaturated synonym...
2019-02-02  Ryan ScottReject oversaturated VKAs in type family equations
2019-01-17  Simon Peyton JonesRemove export of checkValidFamPats, never used
2019-01-15  Ryan Scott@simonpj's suggested refactor
2019-01-15  Ryan ScottControl validity-checking of type synonym applications...
2019-01-08  Ryan ScottBe pickier about unsaturated synonyms in :kind
2018-12-19  chessaidon't suggest Rank2Types in error messages (Fixed ...
2018-12-07  Simon Peyton JonesWibble to Taming the Kind Inference Monster
2018-12-03  Simon Peyton JonesIntroduce tcTypeKind, and use it
2018-12-03  Ryan ScottFix #15954 by rejigging check_type's order
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-22  Ryan ScottOverhaul -fprint-explicit-kinds to use VKA
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-26  Simon Peyton JonesFix generalisation for type constructors
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-11  Piyush P KururSupport builtin classes like KnownNat in backpack
2018-10-01  Ryan ScottFix #15637 by using VTA more in GND
2018-09-15  ningningCoercion Quantification
2018-09-13  Krzysztof GogolewskiFix build
2018-09-13  Simon Peyton JonesRemove dead variable binding
2018-09-13  Simon Peyton JonesAllow (~) in the head of a quantified constraints
2018-09-02  Ryan ScottReject class instances with type families in kinds
2018-08-23  Simon Peyton JonesFix a typo in TcValidity.checkFamInstRhs
2018-08-21  klebinger.andreas... Replace most occurences of foldl with foldl'.
2018-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
2018-07-27  Simon Peyton JonesRefactor (~) to reduce the suerpclass stack
2018-07-25  Simon Peyton JonesTreat isConstraintKind more consistently
2018-07-10  Simon Peyton JonesMore refactoring in TcValidity
2018-07-10  ningningRefactor coercion rule
2018-07-05  Ryan ScottComment out a pprTrace
2018-07-05  Simon Peyton JonesRefactor validity checking for constraints
2018-06-18  Simon Peyton JonesFix typechecking of kind signatures
2018-06-15  Kirill ZaborskyFix #13833: accept type literals with no FlexibleInstances
2018-06-15  HE, TaoAdd "quantified constraint" context in error message...
2018-06-11  Simon Peyton JonesRemove a tc-trace
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-05-24  Ryan ScottCheck for mismatched class methods during typechecking
2018-05-21  Simon Peyton JonesCheck for type families in an instance context
2018-05-16  Ryan ScottFix #15073 by suggesting UnboxedTuples in an error...
2018-04-20  Tobias DammersCaching coercion roles in NthCo and coercionKindsRole...
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-25  Ryan ScottFix #14916 with an additional validity check in deriveT...
2018-02-07  Simon Peyton JonesComments only
2017-12-21  Simon Peyton JonesRefactor coercion holes
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-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-03  Simon Peyton JonesFix bug in the short-cut solver
2017-09-26  Gabor GreifA bunch of typofixes
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-14  Simon Peyton JonesTidying could cause ill-kinded types
2017-09-14  Simon Peyton JonesNo need to check ambiguity for visible type args
2017-08-17  Ryan ScottFix #13972 by producing tidier errors
2017-08-15  Ryan ScottFix #14060 by more conservatively annotating TH-reified...
2017-08-12  Ryan ScottUse NonEmpty lists to represent lists of duplicate...
2017-07-31  Gabor GreifA bunch of typofixes
2017-07-29  Richard EisenbergFix #14045 by omitting an unnecessary check
2017-07-27  Richard EisenbergFix #12369 by being more flexible with data insts
2017-07-19  Ryan ScottFix #13983 by creating a TyConFlavour type, and using it
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-04-11  Gabor GreifTypos in comments [ci skip]
2017-04-06  Simon Peyton JonesBe less aggressive about fragile-context warrnings
2017-03-31  Ben GamariClean up coreView/tcView.
2017-03-14  Ryan ScottAllow associated types to pattern-match in non-class...
2017-03-14  Gabor GreifTypos in manual and comments
2017-03-06  Gabor GreifTypos in comments and manual
2017-03-02  Edward Z. YangTypofix.
2017-03-01  David FeuerUpgrade UniqSet to a newtype
2017-02-21  Simon Peyton JonesDisallow class instances for synonyms
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-02-14  Adam GundryImplement HasField constraint solving and modify Overlo...
2016-12-17  Richard EisenbergReshuffle levity polymorphism checks.
2016-11-13  Ben GamariKill Type pretty-printer
2016-10-28  Simon Peyton JonesClarify comments on kinds (Trac #12536)
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-07-18  Ryan ScottFix misspellings of the word "instance" in comments
2016-06-23  Simon Peyton JonesNarrow the warning for simplifiable constraints
2016-06-22  Simon Peyton JonesComments only
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-14  Bartosz NitkaRename cmpType to nonDetCmpType
2016-06-13  Simon Peyton JonesMove the constraint-kind validity check
2016-06-07  Bartosz NitkaKill varSetElems in checkValidInferredKinds
2016-05-18  Bartosz NitkaKill varSetElems in tidyFreeTyCoVars
2016-05-02  RyanGlScottMake validDerivPred ignore non-visible arguments to...
2016-04-29  Richard EisenbergRemove the incredibly hairy splitTelescopeTvs.
2016-04-22  Simon Peyton JonesWarn about simplifiable class constraints
2016-04-19  Simon Peyton JonesTighten checking for associated type instances
2016-04-15  Bartosz NitkaKill some unnecessary varSetElems
2016-03-31  Simon Peyton JonesRefactor error generation for pattern synonyms
2016-03-24  Rik SteenkampAdd `PatSynSigSkol` and modify `PatSynCtxt`
2016-03-21  Richard EisenbergFix #11723 and #11724.
2016-03-15  Richard EisenbergFix #11648.
2016-03-01  Simon Peyton JonesDo not check synonym RHS for ambiguity
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-08  Simon Peyton JonesAllow foralls in instance decls
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
next