Remove the incredibly hairy splitTelescopeTvs.
[ghc.git] / compiler / types / TyCon.hs
2016-08-23  Richard EisenbergRemove the incredibly hairy splitTelescopeTvs.
2016-05-21  Ben GamariGive lifted primitive types a representation
2016-03-23  Bartosz NitkaDelete a misleading comment in TyCon
2016-03-13  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Richard EisenbergFix #11313.
2016-02-18  Richard EisenbergFix #11246.
2016-02-18  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-21  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