- ;; We traverse the graph using reverse-post-order on a forward
- ;; control-flow graph, but we did the live variable analysis in
- ;; the opposite direction -- so the continuation numbers don't
- ;; correspond. This helper adapts them.
- (define (cfa-k-idx->dfa-k-idx n)
- (dfa-k-idx dfa (cfa-k-sym cfa n)))
-