Major Overhaul of Pattern Match Checking (Fixes #595)
[ghc.git] / compiler / typecheck / TcTyClsDecls.hs
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)
2015-09-03  Jan StolarekInjective type families
2015-08-10  Adam Sandberg ErikssonReplace HsBang type with HsSrcBang and HsImplBang
2015-08-03  Thomas WinantSupport wild cards in data/type family instances
2015-07-31  Gabor GreifTypos in comments
2015-07-27  Adam Sandberg ErikssonImplementation of StrictData language extension
2015-07-21  Simon Peyton JonesRefactor self-boot info
2015-06-18  Simon Peyton JonesReport arity errors correctly despite kinds
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesAdd a case to checkValidTyCon
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-05-04  Adam GundryPermit empty closed type families
2015-04-09  Simon Peyton JonesComments in rejigConRes
2015-03-18  Gabor GreifTypos in comments
2015-03-04  Simon Peyton JonesA raft of small changes associated with -XConstrainedCl...
2015-03-02  Simon Peyton JonesComments only
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2015-02-06  Simon Peyton JonesFix the nullary-type-class case for associated types
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-08  Simon Peyton JonesImprove HsBang
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-18  Simon Peyton JonesFix wrong-kind-of-family error message (Trac #9896)
2014-12-17  Gabor GreifTypos in comments
2014-12-03  Austin Seippcompiler: de-lhs typecheck/