Re: Problem with cond macro.

[Marius Vollmer]

Dirk Herrmann <address@hidden> writes:

> On 26 Apr 2002, Marius Vollmer wrote:
> 
> > Dirk Herrmann <address@hidden> writes:
> > 
> > > Well, I'm not sure I understand all of this:  What about the following:
> > > 
> > > (define => #f)
> > > (cond (#t => 'ok))
> > > 
> > > Should this also deliver 'ok ?  It doesn't seem to with the current
> > > implementation of syncase.
> > 
> > Syncase is not really totally integrated with the module system yet, I
> > think.  That's why it can be confused by top-level bindings.
> 
> OK, but can you definitely say "Yes, it should deliver 'ok" or not?

I can't say that definitely.

> I am not sure it is said explicitly in R5RS.  If a macro introduces
> a bound identifier, it is renamed in the subforms.  I am not sure if
> and how this applies for 'define.

I'd say that define also binds identifiers, but I'm no expert on
syntax-case, by far.