At Fri, 2 Dec 2005 08:01:48 -0500 (EST), Andre van Tonder wrote:
> On Thu, 1 Dec 2005, Matthew Flatt wrote:
>
> > Andre wrote:
> >
> >> - Can I export an unbound identifier?  For example, can I export
> >>   literals (such as ELSE, UNQUOTE, etc.), or does this not even make
> >>   sense.
> >
> > This doesn't make sense to me, at least. What would it mean?
>
> Another example would be SRFI-76 R6RS records, where the <record name> might
> not
> necessarily be bound to anything but should be exportable so clients can write:
>
> (type-descriptor <record name>) (syntax)

It seems to me that the <record name> should be bound --- though
perhaps to a macro that rejects all attempts to use <record name>
directly.

Matthew