Get rid of some stuttering in comments and docs
[ghc.git] / compiler / typecheck / TcInstDcls.hs
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
2017-12-15  Simon Peyton JonesFix tcDataKindSig
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-11  Alan ZimmermanWIP on combined Step 1 and 3 for Trees That Grow, HsExpr
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-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-07  Gabor GreifFix typos in diagnostics, testsuite and comments
2017-08-29  Ryan ScottRefactor type family instance abstract syntax declarations
2017-08-29  Simon Peyton JonesSmall refactor of getRuntimeRep
2017-08-12  Ryan ScottDon't suppress unimplemented type family warnings with...
2017-08-02  Simon Peyton JonesGet the roles right for newtype instances
2017-07-31  Simon Peyton JonesImprove the desugaring of -XStrict
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-20  Gabor GreifSpelling fixes
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-05-28  Alan ZimmermanRemove HsContext from ppr_mono_ty, and remove ppParendH...
2017-05-09  Ben GamariTreat banged bindings as FunBinds
2017-03-02  Edward Z. YangPrevent users from defining instances for abstract...
2017-02-10  Gabor GreifSpelling in comments [ci skip]
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-17  David FeuerSplit mkInlineUnfolding into two functions
2017-01-02  sjorn3Disallow users to write instances of KnownNat and KnownSym
2016-12-21  Simon Peyton JonesFix 'SPECIALISE instance'
2016-12-12  Simon Peyton JonesRefactor pruning of implication constraints
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-25  Simon Peyton JonesUse TyVars in a DFunUnfolding
2016-11-15  Gabor GreifTypos in comments, notes and manual
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-21  Simon Peyton JonesComments and trivial refactoring
2016-10-19  Simon Peyton JonesTest for newtype with unboxed argument
2016-10-10  Simon Peyton JonesMove zonking out of tcFamTyPats
2016-10-01  Ryan ScottImplement deriving strategies
2016-08-26  Simon Peyton JonesFix scoping of type variables in instances
2016-07-18  Ryan ScottFix misspellings of the word "instance" in comments
2016-06-30  Edward Z. YangAxe RecFlag on TyCons.
2016-06-27  Ömer Sinan AğacanTypos in user manual and code: recurisve -> recursive
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-24  Simon Peyton JonesImprove typechecking of instance defaults
2016-06-22  Simon Peyton JonesRemove unused arg to tcSuperClasses
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-05-06  Simon Peyton JonesUse tcExtendGlobalValEnv for default methods
2016-04-29  Bartosz NitkaFix typo: Superclases -> Superclasses
2016-04-20  Simon Peyton JonesSCC analysis for instances as well as types/classes
2016-04-19  Simon Peyton JonesTighten checking for associated type instances
2016-04-07  Facundo DomínguezSet tct_closed to TopLevel for closed bindings.
2016-03-23  Simon Peyton JonesMove DFunUnfolding generation to TcInstDcls
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
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-18  Simon Peyton JonesImprove piResultTys and friends
2016-02-15  Simon Peyton JonesA tiny, outright bug in tcDataFamInstDecl
2016-02-12  Simon Peyton JonesSimplify AbsBinds wrapping
2016-02-08  Simon Peyton JonesDefine mkTvSubst, and use it
2016-02-08  Simon Peyton JonesAllow foralls in instance decls
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-25  Simon Peyton JonesRefactor validity checking for type/data instances
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesAdd Trac #11427 to Note [Recursive superclasses]
2016-01-18  Simon Peyton JonesRefactoring on IdInfo and system derived names
2016-01-15  Richard EisenbergFix #11254.
2016-01-07  Simon Peyton JonesUse an Implication in 'deriving' error
2015-12-24  Richard EisenbergVisible type application
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-04  Simon Peyton JonesFix egregious error in eta-reduction of data families
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-25  Simon Peyton JonesRefactor default methods (Trac #11105)
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-11-18  Michał SośnickiFix inconsistent pretty-printing of type families
2015-11-16  Edward Z. YangRevert "Unify hsig and hs-boot; add preliminary "hs...
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
2015-10-03  RyanGlScottFill in associated type defaults with DeriveAnyClass
2015-09-21  Edward Z. YangUnify hsig and hs-boot; add preliminary "hs-boot" merging.
2015-09-21  Richard EisenbergPerform a validity check on assoc type defaults.
2015-09-19  Richard EisenbergFix #10815 by kind-checking type patterns against known...
2015-09-03  Jan StolarekInjective type families
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-07-21  Simon Peyton JonesAdd NOINLINE for hs-boot functions
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesKill off sizePred
2015-06-26  Simon Peyton JonesUse a Representaional coercion for data families
2015-06-16  Ben GamariEncode alignment in MO_Memcpy and friends
next