Fix #16411 by making dataConCannotMatch aware of (~~)
[ghc.git] / compiler / basicTypes / DataCon.hs
2019-03-13  Ryan ScottFix #16411 by making dataConCannotMatch aware of (~~)
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-01-31  Sylvain HenryUse ByteString to represent Cmm string literals (#16198)
2019-01-17  Simon Peyton JonesComments about data constructor wrappers
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-09-15  ningningCoercion Quantification
2018-08-01  Richard EisenbergRemove the type-checking knot.
2018-07-15  Richard EisenbergMove check for dcUserTyVarBinders invariant
2018-06-18  Simon Peyton JonesTwo small refactorings
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-01-10  Bartosz NitkaLift constructor tag allocation out of a loop
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-07  Ryan ScottIncorporate changes from #11721 into Template Haskell
2017-10-03  Ryan ScottTrack the order of user-written tyvars in DataCon
2017-09-29  Richard EisenbergFix #13391 by checking for kind-GADTs
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-08-01  Gabor GreifTypofixes [ci skip]
2017-07-31  Gabor GreifA bunch of typofixes
2017-06-29  Ryan ScottTypos in comments
2017-06-28  Gabor GreifTypos in comments and manual [ci skip]
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-12  Gabor GreifTypos [ci skip]
2017-04-28  Simon Peyton JonesMove dataConTagZ to DataCon
2017-03-10  Simon Peyton JonesDo not generate a data-con wrapper for !Int#
2017-03-01  David FeuerUpgrade UniqSet to a newtype
2017-02-14  Adam GundryImplement HasField constraint solving and modify Overlo...
2017-01-31  alexbiehlFix binary instance for SrcStrictness
2017-01-26  Ryan ScottNix typo and redundant where-clauses
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-10-21  Simon Peyton JonesRefactor occurrence-check logic
2016-08-05  Ben GamariExpanded abbreviations in Haddock documentation
2016-07-21  Simon Peyton JonesComments + tiny refactor of isNullarySrcDataCon
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-06-30  Edward Z. YangAxe RecFlag on TyCons.
2016-06-30  Bartosz NitkaDelete Ord Unique
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
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-05-24  Ryan ScottRemove 'deriving Typeable' statements
2016-05-24  Bartosz NitkaDocument some benign nondeterminism
2016-03-31  Simon Peyton JonesComments only
2016-03-25  Simon Peyton JonesA raft of comments about TyBinders
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-17  Richard EisenbergComments only (#11513)
2016-02-17  Richard EisenbergExistentials should be specified.
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2015-12-24  Richard EisenbergVisible type application
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-09  Gabor GreifMore typos in comments/docs
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-16  Adam GundryImplement DuplicateRecordFields
2015-10-15  Edward Z. YangRename package key to unit ID, and installed package...
2015-08-10  Adam Sandberg ErikssonReplace HsBang type with HsSrcBang and HsImplBang
2015-07-27  Adam Sandberg ErikssonImplementation of StrictData language extension
2015-07-23  Simon Peyton JonesFix Trac #10670
2015-07-08  Thomas MiedemaDelete duplicate "Note [Unpack equality predicates]"
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-04-21  Simon Peyton JonesSupport unboxing for GADT product types
2015-04-10  Gabor GreifTypos in error messages and in comments
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2015-01-19  Alan ZimmermanAPI Annotations documentation update, parsing issue...
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-14  Simon Peyton JonesCorrect typos in comments to mkDataCon
2015-01-11  Simon Peyton JonesMore comments on HsBang
2015-01-09  Simon Peyton JonesReturn a [HsImplBang] from dataConImplBangs even with...
2015-01-08  Simon Peyton JonesImprove HsBang
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-03  Austin Seippcompiler: de-lhs basicTypes/