[commit: ghc] wip/ttypeable: Internal: Rename type variable (b106230)
git at git.haskell.org
git at git.haskell.org
Sun Jan 29 20:19:28 UTC 2017
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/ttypeable
Link : http://ghc.haskell.org/trac/ghc/changeset/b106230d7013f604231a324f19d77de9e79cb48e/ghc
>---------------------------------------------------------------
commit b106230d7013f604231a324f19d77de9e79cb48e
Author: Ben Gamari <ben at smart-cactus.org>
Date: Fri Mar 18 11:49:43 2016 +0100
Internal: Rename type variable
>---------------------------------------------------------------
b106230d7013f604231a324f19d77de9e79cb48e
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 8a58d4e..b2d7726 100644
--- a/libraries/base/Data/Typeable/Internal.hs
+++ b/libraries/base/Data/Typeable/Internal.hs
@@ -240,9 +240,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