Embrace -XTypeInType, add -XStarIsType
[ghc.git] / libraries / base / Data / Type / Equality.hs
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-03-02  Chaitanya KoparkarAdd @since annotations for derived instances in base
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-09-29  Richard EisenbergFix #13391 by checking for kind-GADTs
2017-09-21  Ben GamariTypeable: Allow App to match arrow types
2017-09-16  Ben Gamaribase: Enable TypeInType in Data.Type.Equality
2017-09-13  David FeuerSimplify Data.Type.Equality.==
2017-08-22  Ryan ScottMake the Read instance for Proxy (and friends) ignore...
2017-06-19  Ryan ScottAdd fixity declaration for :~~:
2017-06-18  Ryan ScottTypofix in Data.Type.Equality comments
2017-02-23  Ryan ScottAdd instances for (:~~:) mirroring those for (:~:)
2017-02-18  Ben GamariType-indexed Typeable
2016-06-06  Seraphime KirkovskiAdd @since annotations to base instances
2016-06-04  Ryan ScottReplace hand-written Bounded instances with derived...
2016-02-29  Ben Gamaribase: Mark Data.Type.Equality as Trustworthy
2016-02-26  Gabor GreifTypos in comments, etc.
2016-02-17  Richard EisenbergRemove extraneous fundeps on (~)
2016-01-26  RyanGlScottSplit off -Wunused-type-variables from -Wunused-matches
2015-12-23  Eric SeidelAllow CallStacks to be frozen
2015-12-21  Michał SośnickiWarn about unused type variables in type families
2015-12-16  Richard EisenbergNote [The equality types story] in TysPrim
2015-12-15  Simon Peyton JonesComments on equality types and classes
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2014-12-16  Herbert Valerio... Convert `/Since: .../` to new `@since ...` syntax
2014-12-06  Austin SeippAdd -fwarn-unticked-promoted-constructors to -Wall
2014-06-11  Richard EisenbergAdd comments about instances of type-level (==).
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2013-10-31  Richard EisenbergAdd new module Data.Type.Bool, defining &&, || and...
2013-10-28  Richard EisenbergApply Gabor Lehel's suggestions.
2013-10-28  Richard EisenbergName changes and addition of gcastWith and (==) to...
2013-10-09  Edward KmettRename (:=:) to (:~:) and add Data.Type.Coercion
2013-09-28  Herbert Valerio... Drop redundant `{-# LANGUAGE #-}` pragmas
2013-09-21  Herbert Valerio... Add Haddock `/Since: 4.7.0.0/` comments to new symbols
2013-07-25  Richard EisenbergEliminate Equality.hs-boot and Proxy.hs-boot by moving...
2013-07-24  Richard EisenbergImplement "TypeLevelReasoning" proposal at wiki:TypeLev...