@@ -207,6 +207,7 @@ minimalUsage deps
207207-- In the implementation, this is phase-shifted. We first reduce the set
208208-- of constraints, given the newly reachable nodes from the previous iteration,
209209-- and then compute the set of currently reachable nodes.
210+-- Then we decide whether to iterate further.
210211forwardChain
211212 :: Map Node IntSet -- ^ node index
212213 -> DepSet -- ^ all reachable nodes found so far