projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
086f5cc
)
Change ASSERT to WARN
author
simonpj@microsoft.com
<unknown>
Wed, 9 Aug 2006 08:46:20 +0000
(08:46 +0000)
committer
simonpj@microsoft.com
<unknown>
Wed, 9 Aug 2006 08:46:20 +0000
(08:46 +0000)
compiler/simplCore/Simplify.lhs
patch
|
blob
|
history
diff --git
a/compiler/simplCore/Simplify.lhs
b/compiler/simplCore/Simplify.lhs
index
b30ed04
..
12505b7
100644
(file)
--- 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
-- 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 ->
tick LetFloatFromLet `thenSmpl_` (
addFloats env1 floats $ \ env2 ->