diff options
| author | Ian Lynagh <igloo@earth.li> | 2007-09-08 00:31:12 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2007-09-08 00:31:12 +0000 |
| commit | f8c52d7fde2d7408b4f734251c373f8d3e2c558e (patch) | |
| tree | c2f583f6ffa29ae9bad744a41bf355affafc31e9 /compiler/stgSyn | |
| parent | 907c44ca14e479e5fa64d712703b8fbad19d1e04 (diff) | |
| download | haskell-f8c52d7fde2d7408b4f734251c373f8d3e2c558e.tar.gz | |
Make various assertions work when !DEBUG
Diffstat (limited to 'compiler/stgSyn')
| -rw-r--r-- | compiler/stgSyn/CoreToStg.lhs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/compiler/stgSyn/CoreToStg.lhs b/compiler/stgSyn/CoreToStg.lhs index aca1f868f7..ddbc632d5c 100644 --- a/compiler/stgSyn/CoreToStg.lhs +++ b/compiler/stgSyn/CoreToStg.lhs @@ -215,7 +215,6 @@ coreTopBindToStg this_pkg env body_fvs (Rec pairs) ASSERT2(consistentCafInfo (head binders) bind, ppr binders) (env', fvs' `unionFVInfo` body_fvs, bind) -#ifdef DEBUG -- Assertion helper: this checks that the CafInfo on the Id matches -- what CoreToStg has figured out about the binding's SRT. The -- CafInfo will be exact in all cases except when CorePrep has @@ -230,7 +229,6 @@ consistentCafInfo id bind exact = id_marked_caffy == binding_is_caffy id_marked_caffy = mayHaveCafRefs (idCafInfo id) binding_is_caffy = stgBindHasCafRefs bind -#endif \end{code} \begin{code} @@ -1074,7 +1072,6 @@ plusFVInfo (id1,hb1,info1) (id2,hb2,info2) = ASSERT (id1 == id2 && hb1 `check_eq_how_bound` hb2) (id1, hb1, combineStgBinderInfo info1 info2) -#ifdef DEBUG -- The HowBound info for a variable in the FVInfo should be consistent check_eq_how_bound ImportBound ImportBound = True check_eq_how_bound LambdaBound LambdaBound = True @@ -1084,7 +1081,6 @@ check_eq_how_bound hb1 hb2 = False check_eq_li (NestedLet _) (NestedLet _) = True check_eq_li TopLet TopLet = True check_eq_li li1 li2 = False -#endif \end{code} Misc. |