From: simonpj@microsoft.com <unknown>
Date: Mon, 5 Nov 2007 22:07:44 +0000 (+0000)
Subject: Comment warning about transparent newtypes
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=34429d31b0d48352e4ffd29186e919b6248cdd5c;p=ghc-hetmet.git

Comment warning about transparent newtypes
---

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