X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FTyCon.lhs;h=7d114820c206acefb6d2dd09ab183adf8d3843d2;hb=9fddc2160c524d4fefb9fc8a42704f812aef7bf3;hp=0ac3bf07e49217b79af5415a627b8c10aa42002a;hpb=8fd85c9d692f91a5b565bb0d54050c2ce6ac6ae2;p=ghc-hetmet.git

diff --git a/compiler/types/TyCon.lhs b/compiler/types/TyCon.lhs
index 0ac3bf0..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
@@ -475,6 +477,7 @@ data PrimRep
   | AddrRep		-- a pointer, but not to a Haskell value
   | FloatRep
   | DoubleRep
+  deriving( Eq )
 
 -- Size of a PrimRep, in bytes
 sizeofPrimRep :: PrimRep -> Int