Major patch to introduce TyConBinder
[ghc.git] / compiler / basicTypes / MkId.hs
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/