From: simonpj@microsoft.com <unknown>
Date: Wed, 30 May 2007 14:14:44 +0000 (+0000)
Subject: Fix bogus check for strictness in newtypes
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=b1086a0798f69f437d9546062878619a3681313a

Fix bogus check for strictness in newtypes
---

diff --git a/compiler/typecheck/TcTyClsDecls.lhs b/compiler/typecheck/TcTyClsDecls.lhs
index 5f7a680..ee847f5 100644
--- a/compiler/typecheck/TcTyClsDecls.lhs
+++ b/compiler/typecheck/TcTyClsDecls.lhs
@@ -1008,7 +1008,8 @@ checkNewDataCon con
 		-- Return type is (T a b c)
 	; checkTc (null ex_tvs && null theta) (newtypeExError con)
 		-- No existentials
-	; checkTc (null (dataConStrictMarks con)) (newtypeStrictError con)
+	; checkTc (not (any isMarkedStrict (dataConStrictMarks con))) 
+		  (newtypeStrictError con)
 		-- No strictness
     }
   where