[r6rs-discuss] bound identifier predicate

[Abdulaziz Ghuloum]

On Jun 22, 2009, at 5:08 AM, Aaron W. Hsu wrote:

> The semantics of 'free-identifier=?' is to assume that there is a
> top-level environment in which all bindings are considered to be bound
> [...]

This is not the R6RS definition of free-identifier=? as R6RS does
not have a top-level environment.  Refer to r6rs-lib.pdf for the
definition of free-identifier=?.  The definition in R6RS should be
used for answering Ramana's question (which was specifically about
an R6RS portable way of writing bound-identifier?).

Aziz,,,