Commit 1230d6f9 authored by Ömer Sinan Ağacan's avatar Ömer Sinan Ağacan Committed by Marge Bot

Typo fix in CoreToStg

parent ac73c1b1
...@@ -268,7 +268,7 @@ coreTopBindToStg dflags this_mod env ccs (NonRec id rhs) ...@@ -268,7 +268,7 @@ coreTopBindToStg dflags this_mod env ccs (NonRec id rhs)
bind = StgTopLifted $ StgNonRec id stg_rhs bind = StgTopLifted $ StgNonRec id stg_rhs
in in
assertConsistentCaInfo dflags id bind (ppr bind) assertConsistentCafInfo dflags id bind (ppr bind)
-- NB: previously the assertion printed 'rhs' and 'bind' -- NB: previously the assertion printed 'rhs' and 'bind'
-- as well as 'id', but that led to a black hole -- as well as 'id', but that led to a black hole
-- where printing the assertion error tripped the -- where printing the assertion error tripped the
...@@ -296,17 +296,17 @@ coreTopBindToStg dflags this_mod env ccs (Rec pairs) ...@@ -296,17 +296,17 @@ coreTopBindToStg dflags this_mod env ccs (Rec pairs)
bind = StgTopLifted $ StgRec (zip binders stg_rhss) bind = StgTopLifted $ StgRec (zip binders stg_rhss)
in in
assertConsistentCaInfo dflags (head binders) bind (ppr binders) assertConsistentCafInfo dflags (head binders) bind (ppr binders)
(env', ccs', bind) (env', ccs', bind)
-- | CAF consistency issues will generally result in segfaults and are quite -- | CAF consistency issues will generally result in segfaults and are quite
-- difficult to debug (see #16846). We enable checking of the -- difficult to debug (see #16846). We enable checking of the
-- 'consistentCafInfo' invariant with @-dstg-lint@ to increase the chance that -- 'consistentCafInfo' invariant with @-dstg-lint@ to increase the chance that
-- we catch these issues. -- we catch these issues.
assertConsistentCaInfo :: DynFlags -> Id -> StgTopBinding -> SDoc -> a -> a assertConsistentCafInfo :: DynFlags -> Id -> StgTopBinding -> SDoc -> a -> a
assertConsistentCaInfo dflags id bind err_doc result assertConsistentCafInfo dflags id bind err_doc result
| gopt Opt_DoStgLinting dflags || debugIsOn | gopt Opt_DoStgLinting dflags || debugIsOn
, not $ consistentCafInfo id bind = pprPanic "assertConsistentCaInfo" err_doc , not $ consistentCafInfo id bind = pprPanic "assertConsistentCafInfo" err_doc
| otherwise = result | otherwise = result
-- Assertion helper: this checks that the CafInfo on the Id matches -- Assertion helper: this checks that the CafInfo on the Id matches
......
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