[racket] Another Canonical Use of Macros?

I agree.  It doesn't bind in the sense of extending an environment, but it
does in the sense of causing a new set of references to be resolved, e.g.
x.method_name() for any x that now implements the trait in question.

Carl Eastlund


On Mon, Nov 25, 2013 at 4:35 PM, Matthias Felleisen <matthias at ccs.neu.edu>wrote:

>
> On Nov 25, 2013, at 12:54 PM, John Clements <clements at brinckerhoff.org>
> wrote:
>
> >  they're not binding any new identifiers; they're just declaring that
> this type implements this trait.
>
>
> Thanks for the clarification. I still think this category and binding
> should be merged into 'says something about an identifier' -- Matthias
>
>
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20131125/65c2badb/attachment.html>