[commit: ghc] wip/ttypeable: Make TRApp bidirectional (b3a9a72)

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


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

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

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

commit b3a9a72894d776b26ee14fbe82e728f041db1dbf
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Sun Jul 10 10:51:23 2016 +0200

    Make TRApp bidirectional


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

b3a9a72894d776b26ee14fbe82e728f041db1dbf
 libraries/base/Data/Typeable/Internal.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/libraries/base/Data/Typeable/Internal.hs b/libraries/base/Data/Typeable/Internal.hs
index 25c7399..8213c12 100644
--- a/libraries/base/Data/Typeable/Internal.hs
+++ b/libraries/base/Data/Typeable/Internal.hs
@@ -247,6 +247,7 @@ pattern TRApp :: forall k2 (t :: k2). ()
               => forall k1 (a :: k1 -> k2) (b :: k1). (t ~ a b)
               => TypeRep a -> TypeRep b -> TypeRep t
 pattern TRApp f x <- TrApp _ f x
+  where TRApp f x = mkTrApp f x
 
 -- | Use a 'TypeRep' as 'Typeable' evidence.
 withTypeable :: forall a r. TypeRep a -> (Typeable a => r) -> r



More information about the ghc-commits mailing list