71 lines
3.3 KiB
Diff
71 lines
3.3 KiB
Diff
diff --git a/compiler/codeGen/CgInfoTbls.hs b/compiler/codeGen/CgInfoTbls.hs
|
|
index 7cdb1b6..e953507 100644
|
|
--- a/compiler/codeGen/CgInfoTbls.hs
|
|
+++ b/compiler/codeGen/CgInfoTbls.hs
|
|
@@ -157,9 +157,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 f563cd9..4ac7812 100644
|
|
--- a/compiler/main/GhcMake.hs
|
|
+++ b/compiler/main/GhcMake.hs
|
|
@@ -331,8 +331,7 @@ load how_much = 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 87aefba..479d2ef 100644
|
|
--- a/compiler/simplCore/SimplUtils.lhs
|
|
+++ b/compiler/simplCore/SimplUtils.lhs
|
|
@@ -415,8 +415,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]
|
|
diff --git a/compiler/simplCore/Simplify.lhs b/compiler/simplCore/Simplify.lhs
|
|
index f2ed224..464fad6 100644
|
|
--- a/compiler/simplCore/Simplify.lhs
|
|
+++ b/compiler/simplCore/Simplify.lhs
|
|
@@ -2359,8 +2359,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?
|
|
diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs
|
|
index 42e54ba..9b420ae 100644
|
|
--- a/compiler/types/Coercion.lhs
|
|
+++ b/compiler/types/Coercion.lhs
|
|
@@ -498,8 +498,7 @@ splitForAllCo_maybe _ = Nothing
|
|
coVarKind :: CoVar -> (Type,Type)
|
|
coVarKind cv
|
|
| Just (tc, [_kind,ty1,ty2]) <- splitTyConApp_maybe (varType cv)
|
|
- = ASSERT (tc `hasKey` eqPrimTyConKey)
|
|
- (ty1,ty2)
|
|
+ = ASSERT (tc `hasKey` eqPrimTyConKey) (ty1,ty2)
|
|
| otherwise = panic "coVarKind, non coercion variable"
|
|
|
|
-- | Makes a coercion type from two types: the types whose equality
|