Santi, On Tue, May 8, 2012 at 1:00 PM, Santiago Bragagnolo < santiagobragagnolo@gmail.com> wrote:

I want to know if we've missing primitives in our typeinference 'primitive-map'. Several primitives allow us to decide the return type of the method that returns just the primitive. Actually, the defined primitives in the typeinference 'primitive-map' are the related with squeak 2.8... it's been a while :P.

Download the VM code as said in Mariano's Blog and have a look at implementations of #initializePrimitiveTable. There you will find stuff like: (0 primitiveFail) (1 primitiveAdd) (2 primitiveSubtract) (3 primitiveLessThan) where the left item is the primitive number, the right one is where to fond the primitive code. Search implementors of the item in the second column and you are in the primitive code :). voilá. Guille

2012/5/8 Frank Shearar <frank.shearar@gmail.com>

...

Hi Santiago,

On 8 May 2012 03:59, Santiago Bragagnolo <santiagobragagnolo@gmail.com> wrote:

...

Hi all, yes. me again.

I'm searching for a primitive-definition, something like code : what.it.do : relatedType if apply.

Is there something like that?

Are you looking to type a primitive call?

frank

...

Thanks in advance.

Santiago.