X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcExpr.lhs;h=d7118e1f816bc84c29ad472aae75a97531cdf1e0;hp=d5d6b6b842728008288258588a1bbf65bbd14ae6;hb=215ce9f15215399ce30ae55c9521087847d78646;hpb=b2d9ef8482638a91e68acdd19ecfe24db0458049

diff --git a/compiler/typecheck/TcExpr.lhs b/compiler/typecheck/TcExpr.lhs
index d5d6b6b..d7118e1 100644
--- a/compiler/typecheck/TcExpr.lhs
+++ b/compiler/typecheck/TcExpr.lhs
@@ -1280,7 +1280,7 @@ checkMissingFields :: DataCon -> HsRecordBinds Name -> TcM ()
 checkMissingFields data_con rbinds
   | null field_labels 	-- Not declared as a record;
 			-- But C{} is still valid if no strict fields
-  = if any isMarkedStrict field_strs then
+  = if any isBanged field_strs then
 	-- Illegal if any arg is strict
 	addErrTc (missingStrictFields data_con [])
     else
@@ -1297,12 +1297,12 @@ checkMissingFields data_con rbinds
   where
     missing_s_fields
 	= [ fl | (fl, str) <- field_info,
-	  	 isMarkedStrict str,
+	  	 isBanged str,
 	  	 not (fl `elem` field_names_used)
 	  ]
     missing_ns_fields
 	= [ fl | (fl, str) <- field_info,
-	  	 not (isMarkedStrict str),
+	  	 not (isBanged str),
 	  	 not (fl `elem` field_names_used)
 	  ]