From 34429d31b0d48352e4ffd29186e919b6248cdd5c Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Mon, 5 Nov 2007 22:07:44 +0000
Subject: [PATCH] Comment warning about transparent newtypes

---
 compiler/types/TyCon.lhs |    2 ++
 1 file changed, 2 insertions(+)

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
-- 
1.7.10.4