From: simonpj <unknown>
Date: Wed, 28 Jul 2004 12:59:53 +0000 (+0000)
Subject: [project @ 2004-07-28 12:59:53 by simonpj]
X-Git-Tag: Initial_conversion_from_CVS_complete~1771
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=c2527e8dea810f1584609ad20408a38691131d28;p=ghc-hetmet.git

[project @ 2004-07-28 12:59:53 by simonpj]
Comments only
---

diff --git a/ghc/compiler/typecheck/TcDeriv.lhs b/ghc/compiler/typecheck/TcDeriv.lhs
index 938d55c..b8a5f1d 100644
--- a/ghc/compiler/typecheck/TcDeriv.lhs
+++ b/ghc/compiler/typecheck/TcDeriv.lhs
@@ -529,9 +529,10 @@ mkDataTypeEqn tycon clas
 	-- 	  data T a b = ... deriving( Typeable )
 	-- gives
 	--	  instance Typeable2 T where ...
+	-- Notice that:
 	-- 1. There are no constraints in the instance
 	-- 2. There are no type variables either
-	-- 2. The actual class we want to generate isn't necessarily
+	-- 3. The actual class we want to generate isn't necessarily
 	--	Typeable; it depends on the arity of the type
     do	{ real_clas <- tcLookupClass (typeableClassNames !! tyConArity tycon)
 	; dfun_name <- new_dfun_name real_clas tycon