X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Data%2FTypeable.hs;h=7b89b588c38ab0879f0044205638de61916d3ef1;hb=6ff8c23c29a6936f7e2f85663ccf5f1709dee181;hp=46369525305c21a38a31d2e8f6eab7b539a0a93c;hpb=d4f706c4bf7528252bc1f395f7b5c376ea9f6fa8;p=haskell-directory.git

diff --git a/Data/Typeable.hs b/Data/Typeable.hs
index 4636952..7b89b58 100644
--- a/Data/Typeable.hs
+++ b/Data/Typeable.hs
@@ -1,4 +1,11 @@
-{-# OPTIONS_GHC -fno-implicit-prelude #-}
+{-# OPTIONS_GHC -fno-implicit-prelude -fallow-overlapping-instances #-}
+
+-- The -fallow-overlapping-instances flag allows the user to over-ride
+-- the instances for Typeable given here.  In particular, we provide an instance
+--	instance ... => Typeable (s a) 
+-- But a user might want to say
+--	instance ... => Typeable (MyType a b)
+
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Data.Typeable