X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Data%2FDynamic.hs;h=933224c9e32c55fbc82ff6efa3ce91f6ad0e235d;hb=0a41af38169035a4359c0c29bc1219af564dce64;hp=a43cc1872404a150efb83006cbffcde832948c29;hpb=d4039901986f6991c23f0469a40148e8150b0f1e;p=ghc-base.git

diff --git a/Data/Dynamic.hs b/Data/Dynamic.hs
index a43cc18..933224c 100644
--- a/Data/Dynamic.hs
+++ b/Data/Dynamic.hs
@@ -1,4 +1,4 @@
-{-# OPTIONS -fno-implicit-prelude #-}
+{-# OPTIONS_GHC -fno-implicit-prelude #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Data.Dynamic
@@ -34,7 +34,8 @@ module Data.Dynamic
 	
 	-- * Applying functions of dynamic type
 	dynApply,
-	dynApp
+	dynApp,
+        dynTypeRep
 
   ) where
 
@@ -141,7 +142,7 @@ fromDyn (Dynamic t v) def
 fromDynamic
 	:: Typeable a
 	=> Dynamic	-- ^ the dynamically-typed object
-	-> Maybe a	-- ^ returns: @'Just' a@, if the dyanmically-typed
+	-> Maybe a	-- ^ returns: @'Just' a@, if the dynamically-typed
 			-- object has the correct type (and @a@ is its value), 
 			-- or 'Nothing' otherwise.
 fromDynamic (Dynamic t v) =
@@ -162,3 +163,6 @@ dynApp f x = case dynApply f x of
              Nothing -> error ("Type error in dynamic application.\n" ++
                                "Can't apply function " ++ show f ++
                                " to argument " ++ show x)
+
+dynTypeRep :: Dynamic -> TypeRep
+dynTypeRep (Dynamic tr _) = tr