From: simonpj@microsoft.com <unknown>
Date: Wed, 9 Aug 2006 08:46:20 +0000 (+0000)
Subject: Change ASSERT to WARN
X-Git-Tag: After_FC_branch_merge~132
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=905941e45d80c193703fa65498c4e0b8d9dd9899

Change ASSERT to WARN
---

diff --git a/compiler/simplCore/Simplify.lhs b/compiler/simplCore/Simplify.lhs
index b30ed04..12505b7 100644
--- a/compiler/simplCore/Simplify.lhs
+++ b/compiler/simplCore/Simplify.lhs
@@ -537,8 +537,8 @@ simplLazyBind env top_lvl is_rec bndr bndr1 rhs rhs_se
 		-- we only float if (a) arg' is a WHNF, or (b) it's going to top level
 		-- and so there can't be any 'will be demanded' bindings in the floats.
 		-- Hence the warning
-        ASSERT2( is_top_level || not (any demanded_float (floatBinds floats)), 
-	         ppr (filter demanded_float (floatBinds floats)) )
+        WARN( not (is_top_level || not (any demanded_float (floatBinds floats))), 
+	      ppr (filter demanded_float (floatBinds floats)) )
 
 	tick LetFloatFromLet			`thenSmpl_` (
 	addFloats env1 floats			$ \ env2 ->