Fix and document cloneWC
[ghc.git] / compiler / typecheck / TcHsType.hs
2018-07-25  Simon Peyton JonesTreat isConstraintKind more consistently
2018-07-17  Sasa BogicevicFix a typo in related trac ticket number
2018-07-15  Richard EisenbergDon't mkNakedCastTy on something unsaturated
2018-07-13  Simon Peyton JonesImprove comments about CUSKs
2018-07-11  Richard EisenbergRemove bad debugging output.
2018-07-10  Richard EisenbergNote [Ordering of implicit variables]
2018-07-10  Richard EisenbergExpand and implement Note [The tcType invariant]
2018-07-10  Richard EisenbergKind-check CUSK associated types separately
2018-07-10  Simon Peyton JonesAdd nakedSubstTy and use it in TcHsType.tcInferApps
2018-07-10  Simon Peyton JonesMore tc-tracing
2018-07-10  Simon Peyton JonesFix decompsePiCos and visible type application
2018-06-25  Simon Peyton JonesRefactor the kind-checking of tyvar binders
2018-06-21  Ryan ScottDrop redundant Note
2018-06-20  Ryan ScottRemove HsEqTy and XEqTy
2018-06-19  Richard EisenbergDocument and simplify tcInstTyBinders
2018-06-18  Richard EisenbergFix typo in comment only
2018-06-18  Gabor GreifTypofixes in docs and comments [ci skip]
2018-06-18  Simon Peyton JonesFix typechecking of kind signatures
2018-06-17  Ryan ScottProvide a better error message for unpromotable data...
2018-06-16  Richard EisenbergQuantify unfixed kind variables in CUSKs
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-05  Ryan ScottIntroduce DerivingVia
2018-06-03  Alanas PlascinskastcExtendTyVarEnv2 changed to tcExtendNameTyVarEnv
2018-06-03  Ryan ScottFix #13777 by improving the underdetermined CUSK error...
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-05-18  Simon Peyton JonesDebug tracing only
2018-05-18  Simon Peyton JonesOrient TyVar/TyVar equalities with deepest on the left
2018-04-27  Alan ZimmermanTTG : complete for balance of hsSyn AST
2018-04-09  Alan ZimmermanRestore Trees That Grow reverted commits
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-05  Simon Peyton JonesRespect Note [The tcType invariant]
2018-02-18  HE, TaoImprove error message for UNPACK/strictness annotations.
2018-01-09  Simon Peyton JonesFix two more bugs in partial signatures
2018-01-09  Simon Peyton JonesSmall local refactoring
2017-12-18  Simon Peyton JonesFix scoping of pattern-synonym existentials
2017-12-15  Simon Peyton JonesFix tcDataKindSig
2017-12-14  Simon Peyton JonesBetter tc-trace messages
2017-12-13  Simon Peyton JonesFurther improvements to well-kinded types
2017-12-11  Simon Peyton JonesFix SigTvs at the kind level
2017-12-11  Simon Peyton JonesBuild only well-kinded types in type checker
2017-12-08  Simon Peyton JonesRefactor kcHsTyVarBndrs
2017-12-07  Simon Peyton JonesRefactor ConDecl: Trac #14529
2017-11-27  Simon Peyton JonesCheck quantification for partial type signatues
2017-11-22  Ben GamariUpdate Hadrian
2017-11-21  Ben GamariRevert "trees that grow" work
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-14  Alan ZimmermanTTG3 Combined Step 1 and 3 for Trees That Grow
2017-11-14  Simon Peyton JonesA bit more tc-tracing
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-09  Ben GamariMerge initial Hadrian snapshot
2017-11-08  Alan ZimmermanWIP on Doing a combined Step 1 and 3 for Trees That...
2017-11-08  Ben GamariMerge remote-tracking branch 'github/pr/83'
2017-11-07  Ben GamariRevert "WIP on combining Step 1 and 3 of Trees That...
2017-11-07  Alan ZimmermanWIP on combining Step 1 and 3 of Trees That Grow
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-16  Edward Z. YangLevity polymorphic Backpack.
2017-09-27  Gabor GreifTypofixes
2017-09-25  Simon Peyton JonesDeal with large extra-contraints wildcards
2017-09-21  Ryan ScottTypofixes (visiblity -> visibility)
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-14  Richard EisenbergFix #13963.
2017-09-14  Simon Peyton JonesRefactor tcInferApps
2017-09-05  Ryan ScottImplicitly bind kind variables in type family instance...
2017-08-29  Simon Peyton JonesSmall refactor of getRuntimeRep
2017-08-29  Simon Peyton JonesA bit more -ddump-tc tracing
2017-08-29  Simon Peyton JonesComments only
2017-07-31  Gabor GreifA bunch of typofixes
2017-07-29  Richard EisenbergFix #14045 by omitting an unnecessary check
2017-07-27  Richard EisenbergRefactor tcInferApps.
2017-07-27  Richard EisenbergFix #12369 by being more flexible with data insts
2017-07-27  Richard EisenbergFix #12176 by being a bit more careful instantiating.
2017-07-27  Richard EisenbergTrack visibility in TypeEqOrigin
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-19  Ryan ScottFix #13983 by creating a TyConFlavour type, and using it
2017-07-06  Gabor GreifTypos in comments [ci skip]
2017-07-03  Gabor Greifrename tcInstBinder(s)X to tcInstBinder(s)
2017-06-29  Simon Peyton JonesFix lexically-scoped type variables
2017-06-28  Gabor GreifRemove unneeded import
2017-06-28  Gabor GreifMore typos in comments [ci skip]
2017-06-28  Simon Peyton JonesDo zonking in tcLHsKindSig
2017-06-28  Simon Peyton JonesFix the in-scope set in TcHsType.instantiateTyN
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-04-13  Simon Peyton JonesRemove dead quantifyTyVars
2017-03-31  Ben GamariClean up coreView/tcView.
2017-03-27  Simon Peyton JonesSimplify the logic for tc_hs_sig_type
2017-03-24  Gabor GreifTypos in comments (notes too) [ci skip]
2017-03-17  Richard EisenbergRemove solveSomeEqualities
2017-03-14  Richard EisenbergFix #13337.
2017-03-06  Gabor GreifTypos in comments and manual
2017-02-13  Gabor GreifTypos in notes and comments [ci skip]
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-18  Gabor GreifSpelling fixes in comments [ci skip]
2017-01-10  Alan ZimmermanMake HsIParamTy have a Located HsIPName
2017-01-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-29  Gabor GreifTypos in comments
2016-11-25  Simon Peyton JonesUse TyVars in PatSyns
2016-11-13  Ben GamariKill Type pretty-printer
2016-11-04  Simon Peyton JonesRemove a debug trace
2016-11-02  Simon Peyton JonesSimplify the API for TcHsType.kcHsTyVarBndrs
next