From b1086a0798f69f437d9546062878619a3681313a Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Wed, 30 May 2007 14:14:44 +0000
Subject: [PATCH] Fix bogus check for strictness in newtypes

---
 compiler/typecheck/TcTyClsDecls.lhs |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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