[r6rs-discuss] [Formal] Violation of lexical scoping

From: Abdulaziz Ghuloum <aghuloum>
Date: Tue Oct 24 09:27:10 2006

On Oct 23, 2006, at 1:52 PM, AndrevanTonder wrote:
>
> Suggestion:
> -----------
>
> The algorithm described in the first paragraph of p.28 may also have to
> record the arguments of each use of free-identifier=?. This is,
> however,
> likely to be expensive.

Expenses aside, what are you going to do with the recorded list of
arguments for each call to |free-identifier=?|? You don't intend to
disallow the definition of an identifier just because some macro called
some predicate on it, do you?

Aziz,,,
Received on Tue Oct 24 2006 - 09:25:30 UTC