Fix and document cloneWC
[ghc.git] / compiler / typecheck / TcType.hs
2018-07-25  Simon Peyton JonesTreat isConstraintKind more consistently
2018-07-17  Sasa BogicevicFix spelling errors
2018-07-17  Sasa BogicevicFix a typo
2018-07-11  Simon Peyton JonesBetter Note [The well-kinded type invariant]
2018-07-10  Simon Peyton JonesAdd nakedSubstTy and use it in TcHsType.tcInferApps
2018-07-10  Simon Peyton JonesMore refactoring in TcValidity
2018-07-10  ningningRefactor coercion rule
2018-06-22  Simon Peyton JonesMove a Note to the module that refers to it
2018-06-18  Simon Peyton JonesFix typechecking of kind signatures
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-05-21  Simon Peyton JonesRemove TcType.toTcType
2018-05-18  Simon Peyton JonesOrient TyVar/TyVar equalities with deepest on the left
2018-04-20  Tobias DammersCaching coercion roles in NthCo and coercionKindsRole...
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-26  Richard EisenbergFix #12919 by making the flattener homegeneous.
2018-03-25  Ryan ScottFix #14916 with an additional validity check in deriveT...
2018-01-22  Simon Peyton JonesImprove comments about TcLevel invariants
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-12-13  Simon Peyton JonesFurther improvements to well-kinded types
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-14  Simon Peyton JonesA bit more tc-tracing
2017-11-14  Simon Peyton JonesFix a TyVar bug in the flattener
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-30  Gabor GreifCatch a few more typos in comments
2017-10-30  Gabor GreifFix typo in accessor name
2017-10-23  Simon Peyton JonesComments only
2017-10-20  Simon Peyton JonesImprove kick-out in the constraint solver
2017-10-18  Simon Peyton JonesBetter solving for representational equalities
2017-10-11  Simon Peyton JonesRemove wc_insol from WantedConstraints
2017-10-03  Simon Peyton JonesFix bug in the short-cut solver
2017-09-25  Simon Peyton JonesFix solving of implicit parameter constraints
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-08-31  Herbert Valerio... Add missing Semigroup instances to compiler
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-07-26  Simon Peyton JonesComments and tc-tracing only
2017-07-26  Simon Peyton JonesFix binder visiblity for default methods
2017-05-26  Simon Peyton JonesSome tidying up of type pretty-printing
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-05-26  Simon Peyton JonesMake isInsolubleOccursCheck more aggressive
2017-04-18  Bartosz NitkaUse intersect and minus instead of filter
2017-04-06  Simon Peyton JonesComments and eta expand only
2017-03-31  Ben GamariClean up coreView/tcView.
2017-03-27  Simon Peyton JonesFix error-message suppress on given equalities
2017-03-27  Simon Peyton JonesTypechecker comments and debug tracing only
2017-03-10  Simon Peyton JonesFix TcSimplify.decideQuantification for kind variables
2017-03-01  Simon Peyton JonesAdd VarSet.anyDVarSet, allDVarSet
2017-02-20  Gabor GreifTypos in manual, tests and comments
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-02-10  Ryan ScottRefactor DeriveAnyClass's instance context inference
2017-02-10  Simon Peyton JonesChange rewritableTyVarsOfType to anyRewritableTyVar
2017-02-10  Gabor GreifSpelling in comments [ci skip]
2017-02-09  Simon Peyton JonesGuard rewritableTyVarsOfType
2017-01-30  Ryan ScottCheck that a default type signature aligns with the...
2017-01-22  Ryan ScottRevert "Remove unnecessary isTyVar tests in TcType"
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-12  Gabor GreifTypos in manual, comments and tests
2016-11-30  Simon Peyton JonesRename RuntimeRepPolymorphism to LevityPolymorphism
2016-11-25  Simon Peyton JonesUse TyVars in PatSyns
2016-11-25  Gabor GreifTypos in comments
2016-11-25  Simon Peyton JonesAllow TyVars in TcTypes
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-25  Simon Peyton JonesComments only in TcType
2016-10-31  Gabor GreifTypos in comments
2016-10-24  Simon Peyton JonesTake account of kinds in promoteTcType
2016-10-21  Simon Peyton JonesRefactor occurrence-check logic
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-21  Simon Peyton JonesMake TcLevel increase by 1 not 2
2016-10-17  Simon Peyton JonesTypo in comment
2016-10-15  Ryan ScottAdd a forward reference for a Note
2016-10-08  Matthew PickeringRework renaming of children in export lists.
2016-09-30  Simon Peyton JonesFix a bug in occurs checking
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
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 JonesFix the in-scope set for extendTvSubstWithClone
2016-06-13  Simon Peyton JonesBeef up mkNakedCastTy
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-13  Simon Peyton JonesKill off redundant SigTv check in occurCheckExpand
2016-05-25  Gabor GreifSpelling in comments
2016-05-24  Simon Peyton JonesDon't split the arg types in a PatSyn signature
2016-05-10  Simon Peyton JonesUse partial-sig constraints as givens
2016-05-10  Simon Peyton JonesRe-do the invariant for TcDepVars
2016-05-10  Simon Peyton JonesEmit wild-card constraints in the right place
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-04-22  Bartosz NitkaRemove unused tyCoVarsOfTelescope
2016-04-22  Bartosz NitkaTypo: veraibles -> variables
2016-04-22  Simon Peyton JonesWarn about simplifiable class constraints
2016-04-20  Bartosz NitkaRename FV related functions
2016-04-20  Simon Peyton JonesFix two buglets in 17eb241 noticed by Richard
2016-04-20  Simon Peyton JonesTighten up imports, white space
2016-04-19  Simon Peyton JonesKill dead TauTvFlavour, and move code around
next