Vocabulary
compiler.cfg.representations.rewrite

Inputs
vregan object
requiredan object
quota quotation with stack effect ( vreg preferred required -- new-vreg )


Outputs
None

Definition


:: (compute-renaming-set)
( vreg required quot: ( vreg preferred required -- new-vreg ) -- )
vreg rep-of :> preferred preferred required eq?
[ vreg no-renaming ]
[ vreg vreg preferred required quot call record-renaming ]
if ; inline