John Croisant scripsit:

> Here is how I understand the situation: in order to avoid
> unnecessary computation, we want to avoid invoking the guard
> procedure when the old parameter value is restored at the end of
> parameterize. 

This is not strong enough: despite the term "guard procedure", this
procedure can in fact compute and return arbitrary results, so it
must not be called on restore, and doing so is a correctness
violation, not merely an optimization.  Indeed, SRFI 39 calls it a
conversion procedure.

-- 
A: "Spiro conjectures Ex-Lax."                  John Cowan
Q: "What does Pat Nixon frost her cakes with?"  [email protected]
  --"Jeopardy" for generative semanticists      http://www.ccil.org/~cowan

_______________________________________________
Chicken-users mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/chicken-users

Reply via email to