From c2527e8dea810f1584609ad20408a38691131d28 Mon Sep 17 00:00:00 2001 From: simonpj Date: Wed, 28 Jul 2004 12:59:53 +0000 Subject: [PATCH] [project @ 2004-07-28 12:59:53 by simonpj] Comments only --- ghc/compiler/typecheck/TcDeriv.lhs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 1.7.10.4