X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcDeriv.lhs;h=f3224c8a44a47595a701bfb680bc275420f3850a;hb=3787d9878e4d62829a555f01b2a4c5866f24f303;hp=e79318b587700a97e8f585a487785337f47cf0bc;hpb=162ae90572443ca726992ea54f4cbc75658453d3;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcDeriv.lhs b/compiler/typecheck/TcDeriv.lhs
index e79318b..f3224c8 100644
--- a/compiler/typecheck/TcDeriv.lhs
+++ b/compiler/typecheck/TcDeriv.lhs
@@ -798,10 +798,10 @@ mkNewTypeEqn orig mayDeriveDataTypeable newtype_deriving tvs
 		-- Want to drop 1 arg from (T s a) and (ST s a)
 		-- to get 	instance Monad (ST s) => Monad (T s)
 
-	-- Note [newtype representation]
-	-- Need newTyConRhs *not* newTyConRep to get the representation 
-	-- type, because the latter looks through all intermediate newtypes
-	-- For example
+	-- Note [Newtype representation]
+	-- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+	-- Need newTyConRhs (*not* a recursive representation finder) 
+	-- to get the representation type. For example
 	--	newtype B = MkB Int
 	--	newtype A = MkA B deriving( Num )
 	-- We want the Num instance of B, *not* the Num instance of Int,