[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