Fix #13819 by refactoring TypeEqOrigin.uo_thing
[ghc.git] / compiler / typecheck / TcTyClsDecls.hs
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
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesMove the constraint-kind validity check
2016-05-19  Simon Peyton JonesComments only
2016-04-29  Richard EisenbergRemove the incredibly hairy splitTelescopeTvs.
2016-04-20  Simon Peyton JonesTighten up imports on TcTyClsDecls
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-15  Simon Peyton JonesAdjust error check for class method types
2016-04-11  Rik SteenkampFix a closed type family error message
2016-03-25  Simon Peyton JonesA raft of comments about TyBinders
2016-03-21  Richard EisenbergZonk before calling splitDepVarsOfType.
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-03-17  Richard EisenbergFix #11716.
2016-03-15  Richard EisenbergRemove redundant anonymiseTyBinders (#11648)
2016-03-15  Richard EisenbergFix #11648.
2016-02-26  Simon Peyton JonesExclude TyVars from the constraint solver
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 Jones(Another) minor refactoring of substitutions
2016-02-17  Richard EisenbergFix #11313.
2016-02-17  Richard EisenbergFix #11246.
2016-02-10  Simon Peyton JonesWrap solveEqualities in checkNoErrs
2016-01-25  Simon Peyton JonesRefactor validity checking for type/data instances
2016-01-21  Simon Peyton JonesRe-add missing kind generalisation
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-19  Gabor GreifTypos in comments
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesRefactoring on IdInfo and system derived names
2016-01-18  Simon Peyton JonesFix typecheck of default associated type decls
2016-01-18  Simon Peyton JonesSimplify API to tcMatchTys
2016-01-14  Ben GamariRename InjectiveTypeFamilies to TypeFamilyDependencies
2016-01-09  Jan StolarekAdd InjectiveTypeFamilies language extension
2016-01-07  Simon Peyton JonesTurn AThing into ATcTyCon, in TcTyThing
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-24  Simon Peyton JonesRefactoring only
2015-12-23  Simon Peyton JonesTidy up and comment wildcards in family instances
2015-12-21  Jan StolarekAdd proper GADTs support to Template Haskell
2015-12-21  Ömer Sinan AğacanTcTyClsDecls: Remove invalid comments about list monads
2015-12-21  Michał SośnickiWarn about unused type variables in type families
2015-12-21  Ömer Sinan AğacanTcTyClsDecls: Add a type annotation
2015-12-21  Ömer Sinan AğacanTcTyClsDecls: use zipWith3M_ instead of generating...
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-07  Alan ZimmermanRefactor ConDecl
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-27  Simon Peyton JonesCheck arity on default decl for assoc types
2015-11-25  Simon Peyton JonesRefactor default methods (Trac #11105)
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-11-09  Jan StolarekAbstract TFs can have injectivity information
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-29  Ben GamariMove mkDefaultMethodIds, mkRecSelBinds from TcTyClsDecl...
2015-10-29  Matthew PickeringRecord pattern synonyms
2015-10-16  Adam GundryImplement DuplicateRecordFields
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-11  Simon Peyton JonesImprove rejigConRes (again)
next