From: simonpj@microsoft.com <unknown>
Date: Tue, 27 Jul 2010 15:15:32 +0000 (+0000)
Subject: Add type signature in local where
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=3e8be64c9cdcac7f84e7cc66dc08987665c7b5c9;p=ghc-base.git

Add type signature in local where
---

diff --git a/Data/Data.hs b/Data/Data.hs
index 78daea0..27f42fe 100644
--- a/Data/Data.hs
+++ b/Data/Data.hs
@@ -451,13 +451,16 @@ fromConstrB f = unID . gunfold k z
 
 
 -- | Monadic variation on 'fromConstrB'
-fromConstrM :: (Monad m, Data a)
+fromConstrM :: forall m a. (Monad m, Data a)
             => (forall d. Data d => m d)
             -> Constr
             -> m a
 fromConstrM f = gunfold k z
  where
+  k :: (forall b r. Data b => m (b -> r) -> m r)
   k c = do { c' <- c; b <- f; return (c' b) }
+
+  z :: forall r. r -> m r
   z = return