[project @ 2004-03-20 12:42:27 by ross]

[ghc-base.git] / include / Typeable.h

diff --git a/include/Typeable.h b/include/Typeable.h
index 364641f..9e3bd86 100644 (file)
--- a/include/Typeable.h
+++ b/include/Typeable.h
@@ -1,5 +1,13 @@
 /* ----------------------------------------------------------------------------
  * Macros to help make Typeable instances.
+ *
+ * INSTANCE_TYPEABLEn(tc,tcname,"tc") defines
+ *
+ *     instance Typeable/n/ tc
+ *     instance Typeable a => Typeable/n-1/ (tc a)
+ *     instance (Typeable a, Typeable b) => Typeable/n-2/ (tc a b)
+ *     ...
+ *     instance (Typeable a1, ..., Typeable an) => Typeable (tc a1 ... an)
  * -------------------------------------------------------------------------- */
 
 #define INSTANCE_TYPEABLE0(tycon,tcname,str) \
@@ -8,6 +16,9 @@ instance Typeable tycon where { typeOf _ = mkAppTy tcname [] }
 
 #ifdef __GLASGOW_HASKELL__
 
+/* For GHC, the extra instances follow from general instance declarations
+ * defined in Data.Typeable. */
+
 #define INSTANCE_TYPEABLE1(tycon,tcname,str) \
 tcname = mkTyCon str; \
 instance Typeable1 tycon where { typeOf1 _ = mkAppTy tcname [] }