Update Trac ticket URLs to point to GitLab
[ghc.git] / libraries / base / Data / Typeable / Internal.hs
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
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-15  Ben GamariTypeable: Only render saturated tuple types with tuple...
2018-10-09  Ben GamariRevert "Add Int8# and Word8#"
2018-10-07  Michal TerepetaAdd Int8# and Word8#
2018-06-17  Vladislav ZavialovWarn about implicit kind variables with -Wcompat
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-07  Ryan ScottFix #15236 by removing parentheses from funTyConName
2018-02-15  David FeuerGet eqTypeRep to inline
2017-12-04  David FeuerMake the Con and Con' patterns produce evidence
2017-12-01  David FeuerCache TypeRep kinds aggressively
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-11-03  David FeuerName TypeRep constructor fields
2017-10-12  Simon Peyton JonesRe-apply "Typeable: Allow App to match arrow types"
2017-09-26  Ben GamariDocument Typeable's treatment of kind polymorphic tycons
2017-09-24  Herbert Valerio... Revert "Typeable: Allow App to match arrow types"
2017-09-21  Ben GamariTypeable: Generalize kind of represented type
2017-09-21  Ben GamariTypeable: Allow App to match arrow types
2017-09-13  Ben GamariBetter document TypeRep patterns
2017-07-18  Ben GamariTypeable: Always use UTF-8 string unpacking primitive
2017-05-23  Ben Gamaribase: Fix a few TODOs in Typeable.Internal
2017-03-13  Ben GamariTypeable: Fix remaining typeRepX referencds
2017-03-09  Ben GamariData.Typeable: Export splitTyConApp, typeRepArgs, and...
2017-02-28  Ryan ScottAdd COMPLETE pragmas for TypeRep and ErrorCall pattern...
2017-02-28  Ben Gamaribase: Expose Module from Type.Reflection
2017-02-20  Ben GamariA number of Typeable wibbles from review
2017-02-18  Ben GamariType-indexed Typeable
2017-02-02  Oleg GrenrusIntroduce GHC.TypeNats module, change KnownNat evidence...
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-10  David FeuerRemove tyConString
2016-06-06  Seraphime KirkovskiAdd @since annotations to base instances
2016-03-29  Ben Gamaribase: Fix haddock typo
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-01-20  Ben GamariRework derivation of type representations for wired...
2016-01-17  RyanGlScottShow TYPE 'Lifted/TYPE 'Unlifted as */# in Show TypeRep...
2016-01-13  Ben GamariAdd missing type representations
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
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-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-21  Iavor S. DiatchkiChange `Typeable` instance for type-lis to use the...
2015-03-11  Herbert Valerio... Rename ty{Con,peRep}Hash to ty{Con,peRep}Fingerprint
2015-03-07  Herbert Valerio... base: drop redundant Typeable derivings
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.
2015-03-05  Herbert Valerio... Add public rnf/hash operations to TypeRep/TyCon
2014-12-16  Herbert Valerio... Convert `/Since: .../` to new `@since ...` syntax
2014-11-24  David TereiMark `Data.Typeable.Internal` as Trustworthy after...
2014-11-21  David TereiBe consistent with placement of Safe Haskell mode at...
2014-10-31  Herbert Valerio... Drop deprecated `OverlappingInstances` from base
2014-09-24  Herbert Valerio... `M-x delete-trailing-whitespace` & `M-x untabify`
2014-09-18  Herbert Valerio... Move Applicative/MonadPlus into GHC.Base
2014-09-16  Herbert Valerio... Move `Maybe`-typedef into GHC.Base
2014-08-08  Simon Peyton JonesImplement the final change to INCOHERENT from Trac...
2014-07-31  Simon Peyton JonesAdd comments about the {-# INCOHERENT #-} for Typeable...
2014-06-30  Iavor S. DiatchkiEliminate `Unify.validKindShape` (#9242)
2014-06-19  Gabor GreifTypos in comments
2014-06-18  Iavor S. DiatchkiOnly comments: add notes explaining the various odditi...
2014-06-17  Simon MarlowOptimise the Typeable instance for type app a bit,...
2014-06-16  Iavor S. DiatchkiRedo instance to be more efficient (see #8778, #9203)
2014-06-16  Simon MarlowFix recomputation of TypeRep in the instance for Typeab...
2014-06-14  Iavor S. DiatchkiImplement `Typeable` support for type-level literals...
2014-06-11  Richard EisenbergFix #9111.
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)
2014-02-25  Herbert Valerio... Tweak Haddock markup in Data.Typeable
2014-02-25  Jose Pedro MagalhaesLanguage extension wibble (see #8813)
2014-02-25  Jose Pedro MagalhaesProvide Typeable1..7 as type synonyms (see #8813)
2014-01-30  Herbert Valerio... Improve Haddock markup
2013-10-09  Edward KmettRename (:=:) to (:~:) and add Data.Type.Coercion
2013-09-27  Herbert Valerio... Fix comment typo introduced in 6368362f44
2013-09-27  Austin SeippDefine typeRep in terms of new Proxy#
2013-09-22  Herbert Valerio... Add Haddock `/Since: 4.5.[01].0/` comments to symbols
2013-09-21  Herbert Valerio... Add Haddock `/Since:` comments to new symbols
2013-09-17  Herbert Valerio... Make `<Typeable.h>` obsolete and refactor away its use
2013-09-17  Herbert Valerio... Constant-fold `__GLASGOW_HASKELL__` CPP conditionals
2013-09-17  Herbert Valerio... Remove Hugs98 specific code
2013-07-25  Richard EisenbergEliminate Equality.hs-boot and Proxy.hs-boot by moving...
2013-07-24  Richard EisenbergImplement "TypeLevelReasoning" proposal at wiki:TypeLev...
2013-06-06  Simon Peyton JonesRe-jig SOURCE imports
2013-05-07  Jose Pedro MagalhaesDerive Typeable for RealWorld and (->), now that we can
2013-02-17  Daniel FischerMerge branch 'master' into rule_fixes
2013-02-16  Ian LynaghMark DEPRECATED pragmas with when they were added
2013-02-15  Ian LynaghRemove nhc98-specific files and content
2013-02-12  Jose Pedro MagalhaesImplement poly-kinded Typeable
2012-06-05  Paolo CapriottiRe-export Fingerprint in Data.Typeable.Internal.
2012-03-30  Simon Peyton JonesFix an egregious bug in the fingerprint calculation...
2011-12-29  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-11-09  Simon Marlowfix typo
2011-11-09  Simon Marlowexport tyConName, tyConModule and tyConPackage; depreca...
2011-10-26  David TereiUpdate base for latest Safe Haskell.
2011-10-25  David TereiUpdate base for new Safe Haskell design
2011-07-22  Ian LynaghTweak the typeable fingerprinting