Track specified/invisible more carefully.
[ghc.git] / compiler / typecheck / TcInstDcls.hs
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
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-15  Gabor GreifDemonstrate that inferring Typeable for type literals...
2015-06-02  Gabor GreifTypofixes
2015-06-01  Simon Peyton JonesRe-do superclass solving (again); fixes #10423
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-05-12  David TereiNew handling of overlapping inst in Safe Haskell
2015-04-22  Simon Peyton JonesFix superclass generation in an instance
2015-04-16  Iavor S. DiatchkiAdd exception for `KnownNat` and `KnownSymbol` in super...
2015-04-09  Simon Peyton JonesMake the evidence in a CtGiven into an EvId
2015-03-24  Simon Peyton JonesImprove environment handling in TcBinds
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.
2015-03-02  Gabor GreifTypos in non-code
2015-02-19  Thomas WinantFix #10045
2015-02-18  Gabor GreifTypo in function name
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-14  Simon Peyton JonesRefactor handling of SPECIALISE pragmas (Trac #5821)
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-30  Simon Peyton JonesComments only, mainly on superclasses
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-03  Austin Seippcompiler: de-lhs typecheck/