[commit: ghc] wip/ttypeable: Note need for mkTrApp (76caca2)

git at git.haskell.org git at git.haskell.org
Fri Jul 29 16:28:46 UTC 2016


Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/ttypeable
Link       : http://ghc.haskell.org/trac/ghc/changeset/76caca2429bde59fcd9c3637b7ade72e5d44d4ab/ghc

>---------------------------------------------------------------

commit 76caca2429bde59fcd9c3637b7ade72e5d44d4ab
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Fri Jul 8 23:10:45 2016 +0200

    Note need for mkTrApp


>---------------------------------------------------------------

76caca2429bde59fcd9c3637b7ade72e5d44d4ab
 libraries/base/Data/Typeable/Internal.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/libraries/base/Data/Typeable/Internal.hs b/libraries/base/Data/Typeable/Internal.hs
index 9e22c22..25c7399 100644
--- a/libraries/base/Data/Typeable/Internal.hs
+++ b/libraries/base/Data/Typeable/Internal.hs
@@ -225,7 +225,9 @@ mkTrCon tc kind = TrTyCon fpr tc kind
     fpr    = fingerprintFingerprints [fpr_tc, fpr_k]
 
 -- | Construct a representation for a type application.
--- TODO: Is this necessary?
+--
+-- Note that this is known-key to the compiler, which uses it in desugar
+-- 'Typeable' evidence.
 mkTrApp :: forall k1 k2 (a :: k1 -> k2) (b :: k1).
            TypeRep (a :: k1 -> k2)
         -> TypeRep (b :: k1)



More information about the ghc-commits mailing list