X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FTyCon.lhs;h=7d114820c206acefb6d2dd09ab183adf8d3843d2;hb=aafdba3bce91afb003f5f50e001e141744837bae;hp=84d16e0bc4fbf022ca795c2cff98713b7ff65965;hpb=e8b4f75a43685b56d8300dee9db2472977fba8fc;p=ghc-hetmet.git

diff --git a/compiler/types/TyCon.lhs b/compiler/types/TyCon.lhs
index 84d16e0..7d11482 100644
--- a/compiler/types/TyCon.lhs
+++ b/compiler/types/TyCon.lhs
@@ -256,6 +256,8 @@ data AlgTyConRhs
 				-- See Note [Newtype coercions]
 				-- Invariant: arity = #tvs in nt_etad_rhs;
 				--	See Note [Newtype eta]
+				-- Watch out!  If any newtypes become transparent
+				-- again check Trac #1072.
 
 	nt_etad_rhs :: ([TyVar], Type) ,
 			-- The same again, but this time eta-reduced