Commit 905941e4 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com

Change ASSERT to WARN

parent 086f5cc8
...@@ -537,8 +537,8 @@ simplLazyBind env top_lvl is_rec bndr bndr1 rhs rhs_se ...@@ -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 -- 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. -- and so there can't be any 'will be demanded' bindings in the floats.
-- Hence the warning -- Hence the warning
ASSERT2( is_top_level || not (any demanded_float (floatBinds floats)), WARN( not (is_top_level || not (any demanded_float (floatBinds floats))),
ppr (filter demanded_float (floatBinds floats)) ) ppr (filter demanded_float (floatBinds floats)) )
tick LetFloatFromLet `thenSmpl_` ( tick LetFloatFromLet `thenSmpl_` (
addFloats env1 floats $ \ env2 -> addFloats env1 floats $ \ env2 ->
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment