Coercion Quantification
[ghc.git] / compiler / basicTypes / MkId.hs
2018-09-15  ningningCoercion Quantification
2018-09-05  Simon Peyton JonesDefine activeAfterInitial, activeDuringFinal
2018-08-01  Ben GamariRevert "Don't inline functions with RULES too early"
2018-07-31  Simon Peyton JonesDon't inline functions with RULES too early
2018-07-05  Ryan ScottFix newtype instance GADTs
2018-06-25  Simon Peyton JonesMore misc comments
2018-06-20  Gabor GreifA few more typofixes in docs/comments [ci skip]
2018-06-18  Gabor GreifTypofixes in docs and comments [ci skip]
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-04-03  Simon Peyton JonesFix accidental breakage in T7050
2018-04-02  Simon Peyton JonesAllow unpacking of single-data-con GADTs
2017-12-19  Simon Peyton JonesStop runRW# being magic
2017-12-18  Gabor GreifTypos in comments
2017-12-13  Simon Peyton JonesTidy up of wired-in names
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-03  Ryan ScottTrack the order of user-written tyvars in DataCon
2017-10-03  Simon Peyton JonesFix nasty bug in w/w for absence analysis
2017-09-28  Simon MarlowmkDataConRep: fix bug in strictness signature (#14290)
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-10  Gabor GreifTypos [ci skip]
2017-04-07  Simon Peyton JonesDo Note [Improving seq] always
2017-03-10  Simon Peyton JonesDo not generate a data-con wrapper for !Int#
2017-02-28  Simon Peyton JonesInline data constructor wrappers in phase 2 only
2017-02-23  Gabor GreifSpelling only [ci skip]
2017-02-18  Ben GamariType-indexed Typeable
2017-01-26  David FeuerGeneralize the type of runRW#
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-17  David FeuerSplit mkInlineUnfolding into two functions
2017-01-10  David FeuerInline partially-applied wrappers
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-08-21  Edward Z. YangSupport for noinline magic function.
2016-08-05  Ben GamariExpanded abbreviations in Haddock documentation
2016-06-22  Gabor GreifMore typos in comments [skip ci]
2016-06-22  Gabor GreifTypos 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-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-03-17  Richard EisenbergFix #11512 by getting visibility right for methods
2016-03-09  Simon Peyton JonesFix the implementation of lazyId
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-10  Bartosz NitkaReplace mkTvSubstPrs (a `zip` b) with zipTvSubst a b
2016-02-01  Bartosz NitkaSuppress substitution assertions to fix tests
2016-01-30  Bartosz NitkaAdd asserts to other substitution functions
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-21  Ben GamariMkId: Update OpenKind reference
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-16  Alan ZimmermanWork SourceText in for all integer literals
2016-01-01  Simon Peyton JonesAdd strictness for runRW#
2015-12-24  Richard EisenbergVisible type application
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-01  Ömer Sinan AğacanMkId: Typos in comments
2015-11-12  Ben GamariNew magic function for applying realWorld#
2015-11-12  Luite StegemanChange demand information for foreign calls
2015-10-10  Edward Z. YangRename SpecInfo to RuleInfo (upon SPJ's advice).
2015-09-11  Jan StolarekRemove redundant language extensions
2015-09-11  Simon Peyton JonesComments on oneShot
2015-09-03  Jan StolarekInjective type families
2015-09-02  Eric SeidelUse IP based CallStack in error and undefined
2015-08-10  Adam Sandberg ErikssonReplace HsBang type with HsSrcBang and HsImplBang
2015-08-08  Joachim BreitnerMake oneShot open-kinded
2015-08-01  Gabor GreifTypos in comments
2015-07-27  Adam Sandberg ErikssonImplementation of StrictData language extension
2015-07-24  Simon Peyton JonesComments only
2015-07-21  Simon Peyton JonesMake seq-of-cast rule generate a case
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesWhite space only
2015-05-22  Simon Peyton JonesReduce magic for seqId
2015-04-21  Simon Peyton JonesSupport unboxing for GADT product types
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.
2015-03-04  Simon Peyton JonesTidy up and improve comments about one-shot info
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-11  Simon Peyton JonesMore comments on HsBang
2015-01-08  Simon Peyton JonesImprove HsBang
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-03  Austin Seippcompiler: de-lhs basicTypes/