[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