Fix context for fwd_pure_anal to match that of forward_sol

[ghc-hetmet.git] / compiler / cmm / ZipDataflow.hs

diff --git a/compiler/cmm/ZipDataflow.hs b/compiler/cmm/ZipDataflow.hs
index bcddd8e..f09368d 100644 (file)
--- a/compiler/cmm/ZipDataflow.hs
+++ b/compiler/cmm/ZipDataflow.hs
@@ -233,7 +233,7 @@ lgraphToGraph (LGraph eid blocks) =
 
 class (Outputable m, Outputable l, LastNode l, Outputable (LGraph m l)) => DebugNodes m l
 
-fwd_pure_anal :: (DebugNodes m l, Outputable a)
+fwd_pure_anal :: (DebugNodes m l, LastNode l, Outputable a)
              => PassName
              -> BlockEnv a
              -> ForwardTransfers m l a
@@ -650,7 +650,7 @@ backward_sol check_maybe return_graph = back
             }
    in fixed_point
 
-bwd_pure_anal :: (DebugNodes m l, Outputable a)
+bwd_pure_anal :: (DebugNodes m l, LastNode l, Outputable a)
              => PassName
              -> BlockEnv a
              -> BackwardTransfers m l a