[commit: ghc] wip/ttypeable: Add explicit forall to SomeTypeRep (2bba4e0)

[git at git.haskell.org]

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

On branch  : wip/ttypeable
Link       : http://ghc.haskell.org/trac/ghc/changeset/2bba4e051efa4720baf9657a1ef20f2d579134ab/ghc

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

commit 2bba4e051efa4720baf9657a1ef20f2d579134ab
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Sat Jan 28 00:22:16 2017 -0500

    Add explicit forall to SomeTypeRep


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

2bba4e051efa4720baf9657a1ef20f2d579134ab
 libraries/base/Data/Typeable/Internal.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/base/Data/Typeable/Internal.hs b/libraries/base/Data/Typeable/Internal.hs
index 773d2ca..ab5d973 100644
--- a/libraries/base/Data/Typeable/Internal.hs
+++ b/libraries/base/Data/Typeable/Internal.hs
@@ -197,7 +197,7 @@ instance Ord (TypeRep a) where
 
 -- | A non-indexed type representation.
 data SomeTypeRep where
-    SomeTypeRep :: TypeRep a -> SomeTypeRep
+    SomeTypeRep :: forall k (a :: k). TypeRep a -> SomeTypeRep
 
 instance Eq SomeTypeRep where
   SomeTypeRep a == SomeTypeRep b =