removing x87 register support from native code gen
[ghc.git] / compiler / types / TyCon.hs
2019-04-11  Carter Schonwaldremoving x87 register support from native code gen
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-03-05  Simon Peyton JonesBe more careful when naming TyCon binders
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-02-22  Simon Peyton JonesRemove tcTyConUserTyVars
2019-02-14  Simon Peyton JonesMake a smart mkAppTyM
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-22  David EichmannFix unused-import warnings
2018-11-17  Abhiroop SarkarIntroduce Int16# and Word16#
2018-11-08  Ryan ScottFix #15845 by defining etaExpandFamInstLHS and using it
2018-11-02  Michal TerepetaAdd Int8# and Word8#
2018-11-01  Richard EisenbergFix embarrassing, egregious bug in roles of (->)
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-09  Ben GamariRevert "Add Int8# and Word8#"
2018-10-07  Michal TerepetaAdd Int8# and Word8#
2018-10-04  Alec TheriaultImprove generated `GHC.Prim` docs
2018-09-23  Ryan ScottAdd a recursivity check in nonVoid
2018-09-15  ningningCoercion Quantification
2018-08-23  Simon Peyton JonesComments only
2018-08-01  Richard EisenbergRemove the type-checking knot.
2018-07-10  Richard EisenbergNote [Ordering of implicit variables]
2018-06-26  Gabor GreifTypofixes in comments and whitespace only [ci skip]
2018-06-18  Gabor GreifTypofixes in docs and comments [ci skip]
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-07  Matthew PickeringRename dataConRepNameUnique to dataConTyRepNameUnique
2018-05-13  Ben GamariTcInteract: Ensure that tycons have representations...
2018-04-07  Simon JakobiDocument SumTyCon
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-01-10  Bartosz NitkaLift constructor tag allocation out of a loop
2018-01-04  Bartosz NitkaCache the number of data cons in DataTyCon and SumTyCon
2017-12-11  Simon Peyton JonesFix SigTvs at the kind level
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-30  Michal TerepetaAllow packing constructor fields
2017-10-27  Bartosz NitkaMake tagForCon non-linear
2017-09-26  Gabor GreifA bunch of typofixes
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-14  Simon Peyton JonesRefactor to eliminate FamTyConShape
2017-08-29  Simon Peyton JonesBetter debug-printing for Outputable TyConBinder
2017-08-15  Ryan ScottFix #14060 by more conservatively annotating TH-reified...
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
next