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
; a <- finish
; return (a, g, fuel)
}
+ inner_rew :: DFM a b
+ -> a -> Graph m l -> Fuel
+ -> DFM a (b, Graph m l, Fuel)
inner_rew = case depth of RewriteShallow -> don't_rewrite
RewriteDeep -> rewrite emptyBlockEnv
fixed_pt_and_fuel =