Fix and document cloneWC
[ghc.git] / compiler / typecheck / TcTyClsDecls.hs
2018-07-25  Simon Peyton JonesTreat isConstraintKind more consistently
2018-07-15  Richard EisenbergMove check for dcUserTyVarBinders invariant
2018-07-10  Richard EisenbergKind-check CUSK associated types separately
2018-07-10  Simon Peyton JonesMore tc-tracing
2018-07-10  Simon Peyton JonesMore refactoring in TcValidity
2018-06-25  Simon Peyton JonesRefactor the kind-checking of tyvar binders
2018-06-18  Gabor GreifTypofixes in docs and comments [ci skip]
2018-06-18  Simon Peyton JonesTwo small refactorings
2018-06-15  Simon Peyton JonesMake better "fake tycons" in error recovery
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-05-08  Simon Peyton JonesSimplify the kind checking for type/class decls
2018-04-27  Alan ZimmermanTTG : complete for balance of hsSyn AST
2018-04-13  Alan ZimmermanTTG for HsBinds and Data instances Plan B
2018-04-09  Alan ZimmermanRestore Trees That Grow reverted commits
2018-04-02  Richard EisenbergFix #14991.
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-19  Ryan ScottDon't permit data types with return kind Constraint
2018-01-26  Ryan ScottFix #14719 by using the setting the right SrcSpan
2018-01-10  Bartosz NitkaLift constructor tag allocation out of a loop
2017-12-28  Gabor GreifTypos in comments [ci skip]
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-08  Simon Peyton JonesRefactor kcHsTyVarBndrs
2017-12-07  Simon Peyton JonesRefactor ConDecl: Trac #14529
2017-12-01  Edward Z. YangMake use of boot TyThings during typechecking.
2017-11-27  Edward Z. YangDon't complain about UNPACK in -fno-code.
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-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-30  Gabor GreifCatch a few more typos in comments
2017-10-25  Daishi NakajimaImplement `-Wpartial-fields` warning (#7169)
2017-10-25  Ben Gamaritypecheck: Clarify errors mentioned in #14385
2017-10-16  Edward Z. YangLevity polymorphic Backpack.
2017-10-03  Ryan ScottTrack the order of user-written tyvars in DataCon
2017-10-03  Simon Peyton JonesComments only
2017-09-29  Richard EisenbergFix #13391 by checking for kind-GADTs
2017-09-26  Gabor GreifA bunch of typofixes
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-14  Simon Peyton JonesRefactor to eliminate FamTyConShape
2017-09-14  Simon Peyton JonesFix subtle bug in TcTyClsDecls.mkGADTVars
2017-09-05  Ryan ScottImplicitly bind kind variables in type family instance...
2017-08-31  Simon Peyton JonesSmall changes to ddump-tc tracing
2017-08-31  Simon Peyton JonesAdd debugPprType
2017-08-29  Ryan ScottRefactor type family instance abstract syntax declarations
2017-08-29  Simon Peyton JonesA bit more -ddump-tc tracing
2017-08-17  Ryan ScottSuggest how to fix illegally nested foralls in GADT...
2017-08-12  Ryan ScottExpand type synonyms during role inference
2017-08-12  Ryan ScottUse NonEmpty lists to represent lists of duplicate...
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-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-26  Gabor GreifFix note references and some typos
2017-07-26  Simon Peyton JonesFix binder visiblity for default methods
2017-07-19  Ryan ScottFix #13983 by creating a TyConFlavour type, and using it
2017-07-11  Ryan ScottRemove unnecessarily returned res_ty from rejigConRes
2017-07-03  Ryan ScottFix #13311 by using tcSplitNestedSigmaTys in the right...
2017-06-28  Simon Peyton JonesDo zonking in tcLHsKindSig
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-26  Simon Peyton JonesA bit more tc-tracing
2017-05-19  Simon Peyton JonesFix scoping of data cons during kind checking
2017-04-13  Simon Peyton JonesRemove dead quantifyTyVars
2017-04-12  Matthew PickeringSplit up RnEnv into 4 modules, RnUnbound, RnUtils and...
2017-03-14  Richard EisenbergFix #13337.
2017-03-02  Edward Z. YangProperly represent abstract classes in Class and IfaceDecl
2017-02-27  Edward Z. YangSubtyping for roles in signatures.
2017-02-27  Edward Z. YangTreat all TyCon with hole names as skolem abstract.
2017-02-21  Simon Peyton JonesA bit more tc-tracing in TcTyClsDecls
2017-02-21  Simon Peyton JonesRemove panics for TcTyCon
2017-02-20  Gabor GreifTypos in manual, tests and comments
2017-01-30  Ryan ScottCheck that a default type signature aligns with the...
2017-01-26  Ryan ScottNix typo and redundant where-clauses
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-12-18  Edward Z. YangCheck family instance consistency of hs-boot families...
2016-12-17  Richard EisenbergReshuffle levity polymorphism checks.
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-25  Simon Peyton JonesUse TyVars in PatSyns
2016-11-17  Edward Z. YangTest for type synonym loops on TyCon.
2016-11-13  Ben GamariKill Type pretty-printer
2016-11-02  Simon Peyton JonesSimplify the API for TcHsType.kcHsTyVarBndrs
2016-11-02  Simon Peyton JonesGet rid of TcTyVars more assiduously
2016-10-31  Gabor GreifTypos in comments
2016-10-27  Simon Peyton JonesSimple refactor to remove misleading comment
2016-10-21  Simon Peyton JonesRefactor occurrence-check logic
2016-10-20  Edward Z. YangNew story for abstract data types in hsig files.
2016-10-19  Simon Peyton JonesTest for newtype with unboxed argument
2016-10-10  Simon Peyton JonesMove zonking out of tcFamTyPats
2016-07-05  Simon Peyton JonesCheck generic-default method for ambiguity
2016-06-30  Edward Z. YangAxe RecFlag on TyCons.
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
next