[r6rs-discuss] bound identifier predicate

Ramana Kumar ramana.kumar at gmail.com
Sat Jun 20 03:46:51 EDT 2009


Dear Schemers

How would you write bound-identifier? in R6RS? (A function that takes
an identifier and returns a boolean indicating whether that identifier
is bound.)

I'm interested in
1. A clearly portable and clean definition in R6RS, if it exists, or
2. Any reasons why including a primitive bound-identifier? (in the
syntax-case library, say) would be a bad idea (presuming there is no
solution to 1).

There has been some discussion of this topic on ikarus-users, and some
non-portable and possibly portable definitions were devised. There is
a tangential question that may become important: What wrap should
identifiers returned by generate-temporaries have (according to R6RS
if it says anything on this topic (I think it's silent), or by your
own reasoning)?

Ramana



More information about the r6rs-discuss mailing list