75 lines
3.3 KiB
Diff
75 lines
3.3 KiB
Diff
diff --git a/compiler/codeGen/CgInfoTbls.hs b/compiler/codeGen/CgInfoTbls.hs
|
|
index dbd22f3..42208f9 100644
|
|
--- a/compiler/codeGen/CgInfoTbls.hs
|
|
+++ b/compiler/codeGen/CgInfoTbls.hs
|
|
@@ -210,9 +210,7 @@ mkStackLayout = do
|
|
[(offset - frame_sp - retAddrSizeW, b)
|
|
| (offset, b) <- binds]
|
|
|
|
- WARN( not (all (\bind -> fst bind >= 0) rel_binds),
|
|
- ppr binds $$ ppr rel_binds $$
|
|
- ppr frame_size $$ ppr real_sp $$ ppr frame_sp )
|
|
+ WARN( not (all (\bind -> fst bind >= 0) rel_binds), ppr binds $$ ppr rel_binds $$ ppr frame_size $$ ppr real_sp $$ ppr frame_sp )
|
|
return $ stack_layout rel_binds frame_size
|
|
|
|
stack_layout :: [(VirtualSpOffset, CgIdInfo)]
|
|
diff --git a/compiler/main/GhcMake.hs b/compiler/main/GhcMake.hs
|
|
index dece548..9643f30 100644
|
|
--- a/compiler/main/GhcMake.hs
|
|
+++ b/compiler/main/GhcMake.hs
|
|
@@ -236,8 +236,7 @@ load2 how_much mod_graph = do
|
|
-- is stable).
|
|
partial_mg
|
|
| LoadDependenciesOf _mod <- how_much
|
|
- = ASSERT( case last partial_mg0 of
|
|
- AcyclicSCC ms -> ms_mod_name ms == _mod; _ -> False )
|
|
+ = ASSERT( case last partial_mg0 of AcyclicSCC ms -> ms_mod_name ms == _mod; _ -> False )
|
|
List.init partial_mg0
|
|
| otherwise
|
|
= partial_mg0
|
|
@@ -331,8 +330,7 @@ load2 how_much mod_graph = do
|
|
liftIO $ intermediateCleanTempFiles dflags mods_to_keep hsc_env1
|
|
|
|
-- there should be no Nothings where linkables should be, now
|
|
- ASSERT(all (isJust.hm_linkable)
|
|
- (eltsUFM (hsc_HPT hsc_env))) do
|
|
+ ASSERT(all (isJust.hm_linkable) (eltsUFM (hsc_HPT hsc_env))) do
|
|
|
|
-- Link everything together
|
|
linkresult <- liftIO $ link (ghcLink dflags) dflags False hpt4
|
|
diff --git a/compiler/simplCore/SimplUtils.lhs b/compiler/simplCore/SimplUtils.lhs
|
|
index dd0ce4b..9501e73 100644
|
|
--- a/compiler/simplCore/SimplUtils.lhs
|
|
+++ b/compiler/simplCore/SimplUtils.lhs
|
|
@@ -393,8 +393,7 @@ mkArgInfo fun rules n_val_args call_cont
|
|
else
|
|
map isStrictDmd demands ++ vanilla_stricts
|
|
| otherwise
|
|
- -> WARN( True, text "More demands than arity" <+> ppr fun <+> ppr (idArity fun)
|
|
- <+> ppr n_val_args <+> ppr demands )
|
|
+ -> WARN( True, text "More demands than arity" <+> ppr fun <+> ppr (idArity fun) <+> ppr n_val_args <+> ppr demands )
|
|
vanilla_stricts -- Not enough args, or no strictness
|
|
|
|
add_type_str :: Type -> [Bool] -> [Bool]
|
|
@@ -1845,4 +1844,4 @@ without getting changed to c1=I# c2.
|
|
I don't think this is worth fixing, even if I knew how. It'll
|
|
all come out in the next pass anyway.
|
|
|
|
-
|
|
\ No newline at end of file
|
|
+
|
|
diff --git a/compiler/simplCore/Simplify.lhs b/compiler/simplCore/Simplify.lhs
|
|
index adcaf13..06d939d 100644
|
|
--- a/compiler/simplCore/Simplify.lhs
|
|
+++ b/compiler/simplCore/Simplify.lhs
|
|
@@ -2185,8 +2185,7 @@ mkDupableAlt env case_bndr (con, bndrs', rhs')
|
|
rhs = mkConApp dc (map Type (tyConAppArgs scrut_ty)
|
|
++ varsToCoreExprs bndrs')
|
|
|
|
- LitAlt {} -> WARN( True, ptext (sLit "mkDupableAlt")
|
|
- <+> ppr case_bndr <+> ppr con )
|
|
+ LitAlt {} -> WARN( True, ptext (sLit "mkDupableAlt") <+> ppr case_bndr <+> ppr con )
|
|
case_bndr
|
|
-- The case binder is alive but trivial, so why has
|
|
-- it not been substituted away?
|