>Jecel Assumpcao Jr <jecel at merlintec.com> wrote:
>> On Friday 22 February 2002 23:38, Anthony Hannan wrote:
>> > - A Smalltalk expression now knows, via the selectors it calls, which
>> > protocols and corresponding default behaviors it depends on.  So
>> > starting from a Smalltalk expression we can trace selectors and
>> > methods recursively and load all default behaviors that will be
>> > needed.
>>
>> Two slight problems:
>>
>>   1) #perform:
>
>perform: will have to take a selector object that already knows its
>protocol instead of just a symbol.  The selector's protocol will be loaded
>at runtime when the perform is triggered.

Yes.  I think this is related to Dave S's response, but this is also desirable (nay necessary) for any program to do a decent job of type inference.

	- Dan

PS:  GO, you guys!