[commit: ghc] wip/ttypeable: Internal: Rename type variable (0217f61)

git at git.haskell.org git at git.haskell.org
Mon Jun 6 11:13:06 UTC 2016


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

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

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

commit 0217f61ab993119d575895dc2a59cb6810835908
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Fri Mar 18 11:49:43 2016 +0100

    Internal: Rename type variable


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

0217f61ab993119d575895dc2a59cb6810835908
 libraries/base/Data/Typeable/Internal.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/libraries/base/Data/Typeable/Internal.hs b/libraries/base/Data/Typeable/Internal.hs
index baedc64..6d8b181 100644
--- a/libraries/base/Data/Typeable/Internal.hs
+++ b/libraries/base/Data/Typeable/Internal.hs
@@ -237,9 +237,9 @@ data AppResult (t :: k) where
     App :: TypeRep a -> TypeRep b -> AppResult (a b)
 
 -- | Pattern match on a type application
-pattern TRApp :: forall k2 (fun :: k2). ()
-              => forall k1 (a :: k1 -> k2) (b :: k1). (fun ~ a b)
-              => TypeRep a -> TypeRep b -> TypeRep fun
+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
 
 withTypeable :: TypeRep a -> (Typeable a => b) -> b



More information about the ghc-commits mailing list