Commit 4cf7988f authored by Ian Lynagh's avatar Ian Lynagh
Browse files

DEBUG removal

parent 9e5f0a0f
...@@ -1488,16 +1488,16 @@ uMetaVar outer swapped tv1 BoxTv ref1 ps_ty2 non_var_ty2 ...@@ -1488,16 +1488,16 @@ uMetaVar outer swapped tv1 BoxTv ref1 ps_ty2 non_var_ty2
-- --
-- It should not be the case that tv1 occurs in ty2 -- It should not be the case that tv1 occurs in ty2
-- (i.e. no occurs check should be needed), but if perchance -- (i.e. no occurs check should be needed), but if perchance
-- it does, the unbox operation will fill it, and the DEBUG -- it does, the unbox operation will fill it, and the debug code
-- checks for that. -- checks for that.
do { final_ty <- unBox ps_ty2 do { final_ty <- unBox ps_ty2
#ifdef DEBUG ; when debugIsOn $ do
; meta_details <- readMutVar ref1 { meta_details <- readMutVar ref1
; case meta_details of ; case meta_details of
Indirect ty -> WARN( True, ppr tv1 <+> ppr ty ) Indirect ty -> WARN( True, ppr tv1 <+> ppr ty )
return () -- This really should *not* happen return () -- This really should *not* happen
Flexi -> return () Flexi -> return ()
#endif }
; checkUpdateMeta swapped tv1 ref1 final_ty ; checkUpdateMeta swapped tv1 ref1 final_ty
; return IdCo ; return IdCo
} }
......
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