base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead
[ghc.git] / compiler / prelude / PrelNames.hs
2019-04-05  Herbert Valerio... base: Remove `Monad(fail)` method and reexport `MonadFa...
2019-03-21  Vladislav Zavialov'forall' always a keyword, plus the dot type operator
2018-11-17  Abhiroop SarkarIntroduce Int16# and Word16#
2018-11-02  Michal TerepetaAdd Int8# and Word8#
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-03  Joachim BreitnerMake GHC (the library) flexible in the choice of intege...
2018-09-19  Chaitanya KoparkarUse predefined known-key names when possible
2018-07-27  Simon Peyton JonesRefactor (~) to reduce the suerpclass stack
2018-06-15  Sylvain HenryBuilt-in Natural literals in Core
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-05-10  Ömer Sinan AğacanFix #15038
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-23  Ryan ScottSpecial-case record fields ending with hash when derivi...
2018-01-15  David FeuerKill off irrefutable pattern errors
2017-12-19  Simon Peyton JonesStop runRW# being magic
2017-12-13  Simon Peyton JonesTidy up of wired-in names
2017-12-01  David FeuerCache TypeRep kinds aggressively
2017-12-01  David FeuerAdd trace injection
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-25  Tobias DammersFactor out readField (#14364)
2017-10-16  Peter TrommlerFix typo
2017-10-03  Iavor DiatchkiImplement Div, Mod, and Log for type-level nats.
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-07  Herbert Valerio... Make Semigroup a superclass of Monoid (re #14191)
2017-04-02  David FeuerDerive the definition of null
2017-04-01  David FeuerDon't derive showList
2017-03-03  Ben GamariProduce KindReps for common kinds in GHC.Types
2017-03-03  Ben GamariShow: Add ShowS for ", "
2017-02-18  Ben GamariType-indexed Typeable
2017-02-14  Adam GundryImplement HasField constraint solving and modify Overlo...
2017-02-07  David FeuerDerive <$
2017-02-06  David FeuerAdd liftA2 to Applicative class
2017-02-02  Oleg GrenrusIntroduce GHC.TypeNats module, change KnownNat evidence...
2017-01-20  Oleg GrenrusAdd 'type family (m :: Symbol) <> (n :: Symbol)'
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-13  Facundo DomínguezDesugar static forms to makeStatic calls.
2017-01-06  Facundo DomínguezRevert "Have addModFinalizer expose the local type...
2017-01-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2016-10-14  Ben GamariClean up handling of known-key Names in interface files
2016-09-05  Takano AkioTurn divInt# and modInt# into bitwise operations when...
2016-08-21  Edward Z. YangSupport for noinline magic function.
2016-08-10  Ömer Sinan AğacanRemove StgRubbishArg and CmmArg
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-07-20  Ben GamariRevert "Clean up interaction between name cache and...
2016-07-20  Giovanni CampagnaCompact Regions
2016-07-20  Ben GamariClean up interaction between name cache and built-in...
2016-06-23  Richard EisenbergFix #11974 by adding a more smarts to TcDefaults.
2016-03-30  Ben GamariKill the magic of Any
2016-02-25  Facundo DomínguezOverload the static form to reduce verbosity.
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Ben GamariUnwire Typeable representation types
2016-01-20  Ben GamariRework derivation of type representations for wired...
2016-01-18  Eric Seidelun-wire-in error, undefined, CallStack, and IP
2016-01-13  Ben GamariAdd missing type representations
2015-12-23  Eric SeidelAllow CallStacks to be frozen
2015-12-21  RyanGlScottEncode strictness in GHC generics metadata
2015-12-16  Richard EisenbergNote [The equality types story] in TysPrim
2015-12-12  Edward Z. YangFrontend plugins.
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-07  RyanGlScottUse TypeLits in the meta-data encoding of GHC.Generics
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-29  David LuposchainskyImplement warnings for Semigroups as parent of Monoid
2015-11-24  Herbert Valerio... Add `PrelNames.thenAName` for `Applicative(*>)`
2015-11-17  David LuposchainskyMonadFail proposal, phase 1
2015-11-17  Adam GundryImplement OverloadedLabels
2015-11-16  Iavor S. DiatchkiImplement support for user-defined type errors.
2015-11-12  Ben GamariNew magic function for applying realWorld#
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-27  Ben GamariPrelNames: Fix duplicate unique
2015-10-15  Edward Z. YangRename package key to unit ID, and installed package...
2015-10-03  RyanGlScottMake GHC generics capable of handling unboxed types
2015-10-02  Ben GamariMove CallStack back to base
2015-09-23  Ben GamariAdd constant-folding rule for Data.Bits.bit
2015-09-22  RyanGlScottDeriveLift extension (#1830)
2015-09-03  Jan StolarekInjective type families
2015-09-02  Eric SeidelUse IP based CallStack in error and undefined
2015-08-26  Ben GamariPrelNames: introduce dcQual in place of conName
2015-08-26  Ben GamariPrelNames: Clean up list a bit
2015-07-27  Reid BartonRemove runSTRep from PrelNames
2015-07-16  RyanGlScottHandle Char#, Addr# in TH quasiquoter (fixes #10620)
2015-07-07  David KraeutmannDeferred type errors now throw TypeError (#10284)
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-21  Iavor S. DiatchkiChange `Typeable` instance for type-lis to use the...
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-12  Simon MarlowAdd parseExpr and compileParsedExpr and use them in...
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-01  Simon Peyton JonesMove IP, Symbol, Nat to ghc-prim
2015-03-31  Herbert Valerio... Drop old integer-gmp-0.5 from GHC source tree
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.