SCC analysis for instances as well as types/classes
[ghc.git] / compiler / typecheck / TcDeriv.hs
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  Bartosz NitkaRemove some gratitious varSetElemsWellScoped
2016-04-14  Bartosz NitkaFix typos: tyars -> tyvars
2016-04-11  RyanGlScottDeriving Functor-like classes should unify kind variables
2016-04-10  RyanGlScottRemove the instantiation check when deriving Generic(1)
2016-03-15  Richard EisenbergFix #11357.
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-17  Simon Peyton JonesComments only
2016-02-08  Simon Peyton JonesDefine mkTvSubst, and use it
2016-02-08  Simon Peyton JonesRemove unused export from TcUnify
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-26  Simon Peyton JonesKill off zipTopTCvSubst in favour of zipOpenTCvSubst
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesWhite space only
2016-01-15  RyanGlScottExpand type/kind synonyms in TyVars before deriving...
2016-01-15  RyanGlScottRefactor lookupFixityRn-related code following D1744
2016-01-07  Simon Peyton JonesUse an Implication in 'deriving' error
2015-12-16  David LuposchainskyAdd `-W(no-)xxx` aliases for `-f(no-)warn-xxx` flags
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-09  Gabor GreifMore typos in comments/docs
2015-12-09  Simon Peyton JonesFix DeriveAnyClass (Trac #9968)
2015-12-07  RyanGlScottUse TypeLits in the meta-data encoding of GHC.Generics
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-25  Simon Peyton JonesRefactor default methods (Trac #11105)
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-11-11  Matthew PickeringAssociate pattern synonyms with types in module exports
2015-10-30  Simon Peyton JonesRecord usage information using GlobalRdrElt
2015-10-03  RyanGlScottFill in associated type defaults with DeriveAnyClass
2015-09-24  Ömer Sinan AğacanFix DeriveGeneric for types with same OccName (#10487)
2015-09-22  RyanGlScottDeriveLift extension (#1830)
2015-09-21  Ben GamariTcDeriv: Use a NameEnv instead of association list
2015-09-19  Richard EisenbergFix #10815 by kind-checking type patterns against known...
2015-08-26  Ben GamariTcDeriv: Kill dead code
2015-07-30  John WiegleyImprove error message for newtypes and deriving clauses
2015-07-30  Simon Peyton JonesBetter treatment of signatures in cls/inst
2015-07-16  RyanGlScottDeriveFoldable for data types with existential constrai...
2015-07-07  Gabor GreifFix word repetitions in comments
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesTiny refactor plus comments
2015-06-25  Simon Peyton JonesImprove kind-checking for 'deriving' clauses
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-03  Simon Peyton JonesRefactor RdrName.Provenance, to fix #7672
2015-06-01  Simon Peyton JonesTreat pattern-synonym binders more consistently
2015-04-29  Simon Peyton JonesImprove improvement in the constraint solver
2015-04-10  Gabor GreifTypos in error messages and in comments
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.
2015-03-02  Simon Peyton JonesImprove comments on coreView/tcView, and combine coreEx...
2015-02-23  Thomas MiedemaShow '#' on unboxed literals
2015-02-11  Simon Peyton JonesnameIsLocalOrFrom should include interactive modules
2015-01-19  Simon Peyton JonesTidy up fix to Trac #9999
2015-01-19  Jose Pedro MagalhaesMake AutoDeriveTypeable work for associated datatypes...
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2015-01-06  Simon Peyton JonesPrint singleton consraints without parens
2014-12-12  Richard EisenbergFlat constraint --> Simple constraint
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-08  Gabor Greifcatch some recent typos
2014-12-03  Austin Seippcompiler: de-lhs typecheck/