[commit: ghc] wip/ttypeable: Internal: Rename type variable (84d6743)
git at git.haskell.org
git at git.haskell.org
Sat Oct 1 21:34:47 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/ttypeable
Link : http://ghc.haskell.org/trac/ghc/changeset/84d6743221af009de1b54c763fe262ac68f71c9e/ghc
>---------------------------------------------------------------
commit 84d6743221af009de1b54c763fe262ac68f71c9e
Author: Ben Gamari <ben at smart-cactus.org>
Date: Fri Mar 18 11:49:43 2016 +0100
Internal: Rename type variable
>---------------------------------------------------------------
84d6743221af009de1b54c763fe262ac68f71c9e
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