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

[Abdulaziz Ghuloum]

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,,,