<div dir="ltr">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.<br>

</div><div class="gmail_extra"><br clear="all"><div>Carl Eastlund</div>
<br><br><div class="gmail_quote">On Mon, Nov 25, 2013 at 4:35 PM, Matthias Felleisen <span dir="ltr"><<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@ccs.neu.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im"><br>
On Nov 25, 2013, at 12:54 PM, John Clements <<a href="mailto:clements@brinckerhoff.org">clements@brinckerhoff.org</a>> wrote:<br>
<br>
>  they're not binding any new identifiers; they're just declaring that this type implements this trait.<br>
<br>
<br>
</div>Thanks for the clarification. I still think this category and binding should be merged into 'says something about an identifier' -- Matthias<br>
<div class="HOEnZb"><div class="h5"><br>
<br>
____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br>
</div></div></blockquote></div><br></div>