Allow bundling pattern synonyms with exported data families
[ghc.git] / compiler / types / TyCon.hs
2017-08-01  Ryan ScottAllow bundling pattern synonyms with exported data...
2017-07-31  Gabor GreifA bunch of typofixes
2017-07-27  Richard EisenbergFix #12369 by being more flexible with data insts
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-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-04  Simon Peyton JonesComments only, about Typeable/TypeRep/KindRep
2017-03-02  Edward Z. YangInjective type families imply nominal injectivity,...
2017-02-27  Edward Z. YangTreat all TyCon with hole names as skolem abstract.
2017-02-21  Simon Peyton JonesRemove panics for TcTyCon
2017-02-20  Gabor GreifTypos in manual, tests and comments
2017-02-18  Ben GamariDisable Typeable binding generation for unboxed sums
2017-02-18  Ben GamariType-indexed Typeable
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-02-14  Adam GundryImplement HasField constraint solving and modify Overlo...
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-18  Gabor GreifSpelling fixes in comments [ci skip]
2017-01-11  Edward Z. YangFix handling of closed type families in Backpack.
2016-12-05  Simon Peyton JonesUse isFamFreeTyCon now we have it
2016-11-24  Dominik BollmannMake quoting and reification return the same types
2016-11-13  Ben GamariKill Type pretty-printer
2016-10-21  Simon Peyton JonesRefactor occurrence-check logic
2016-10-20  Edward Z. YangNew story for abstract data types in hsig files.
2016-08-16  Edward Z. YangMinor typofix.
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-07-18  Ryan ScottFix misspellings of the word "instance" in comments
2016-06-30  Edward Z. YangAxe RecFlag on TyCons.
2016-06-28  Simon Peyton JonesDeal correctly with unused imports for 'coerce'
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-23  Bartosz NitkaRemove Ord TyCon
2016-06-22  Gabor GreifMore typos in comments [skip ci]
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-09  Bartosz NitkaImplement Eq TyCon directly
2016-06-03  Bartosz NitkaMake FieldLabelEnv a deterministic set
2016-05-24  Ryan ScottRemove 'deriving Typeable' statements
2016-05-19  Ben GamariGive lifted primitive types a representation
2016-04-30  RyanGlScottFix reference to Note in TcCanonical
2016-04-29  Richard EisenbergRemove the incredibly hairy splitTelescopeTvs.
2016-04-20  Simon Peyton JonesReduce use of instances in hs-boot files
2016-03-25  Simon Peyton JonesA raft of comments about TyBinders
2016-03-21  Bartosz NitkaDelete a misleading comment in TyCon
2016-03-02  Simon Peyton JonesUse tyConArity rather than (length tvs)
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-17  Richard EisenbergFix #11313.
2016-02-17  Richard EisenbergFix #11246.
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-20  Ben GamariRework derivation of type representations for wired...
2016-01-15  Richard EisenbergFix #11311
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-11-25  Simon Peyton JonesRefactor default methods (Trac #11105)
2015-11-11  Matthew PickeringAssociate pattern synonyms with types in module exports
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  Matthew PickeringRecord pattern synonyms
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-09-19  Richard EisenbergFix #10815 by kind-checking type patterns against known...
2015-09-03  Jan StolarekInjective type families
2015-07-30  Gabor GreifTypos in comments and strings
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesAllow recursive unwrapping of data families
2015-06-26  Simon Peyton JonesUse a Representaional coercion for data families
2015-06-18  Simon Peyton JonesReport arity errors correctly despite kinds
2015-06-16  Richard EisenbergClarify some comments around injectivity.
2015-06-16  Richard EisenbergRefactor handling of decomposition.
2015-06-16  Richard Eisenberg(mostly) Comments only
2015-06-16  Richard EisenbergFix #10493.
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-16  Richard EisenbergFix #10534
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-04  Adam GundryPermit empty closed type families
2015-05-01  Simon Peyton JonesRefactor TyCon to eliminate TupleTyCon
2015-04-21  Simon Peyton JonesSupport unboxing for GADT product types
2015-04-07  Thomas MiedemaTypechecker: refactoring only
2015-03-07  Alexander VershilovImprove core linter so it catches unsafeCoerce problems...
2015-03-02  Simon Peyton JonesImprove comments on coreView/tcView, and combine coreEx...
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2014-12-02  Jan StolarekRemove references to SynTyCon. Fixes #9812
2014-12-02  Jan StolarekComments and formatting in TyCon
2014-12-01  Herbert Valerio... unlit compiler/types/ modules