Disallow standalone deriving declarations involving unboxed tuples or sums
[ghc.git] / compiler / typecheck / TcDeriv.hs
2016-10-02  Ryan ScottDisallow standalone deriving declarations involving...
2016-10-01  Ryan ScottImplement deriving strategies
2016-09-30  Simon Peyton JonesFix impredicativity (again)
2016-09-15  Ben GamariUnify CallStack handling in ghc
2016-09-05  mniipLess scary arity mismatch error message when deriving
2016-08-29  Ryan ScottRemove unused DerivInst constructor for DerivStuff
2016-07-05  Simon Peyton JonesMake unique auxiliary function names in deriving
2016-06-23  Simon Peyton JonesGive lookupGRE_Name a better API
2016-06-22  Simon Peyton JonesImprove error message in deriving( Functor )
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-14  Bartosz NitkaRename cmpType to nonDetCmpType
2016-05-24  Ryan ScottRemove 'deriving Typeable' statements
2016-05-12  RyanGlScottMake Generic1 poly-kinded
2016-05-12  RyanGlScottFix deriveTyData's kind unification when two kind varia...
2016-05-10  Bartosz NitkaMake simplifyInstanceContexts deterministic
2016-05-10  Edward Z. YangDocumentation for simplifyDeriv.
2016-04-30  RyanGlScottComment typos: Mkae -> Make, Hsakell -> Haskell
2016-04-20  Bartosz NitkaRename FV related functions
2016-04-20  Bartosz NitkaKill unnecessary varSetElemsWellScoped in deriveTyData
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/