Hi All<br><br>Im analyzing primtives to use them for the concrete type inference project.<br><br>Im currently working with primitiveArrayBecomeOneWayCopyHash<br><br><br>primitiveArrayBecomeOneWayCopyHash<br>       &quot;Similar to primitiveArrayBecomeOneWay but accepts a third argument whether to copy<br>
       the receiver&#39;s identity hash over the argument&#39;s identity hash.&quot;<br><br>       | copyHashFlag arg rcvr |<br>       copyHashFlag := self booleanValueOf: (self stackTop).<br>       arg := self stackValue: 1.<br>
       rcvr := self stackValue: 2.<br>       self success: (self become: rcvr with: arg twoWay: false copyHash: copyHashFlag).<br>       successFlag ifTrue: [ self pop: 2 ].<br><br><br>Well, i&#39;m seeing that pop:2, in a method which don&#39;t receive any argument. If pop was 1, i could think in self, but is 2, so the questions are:<br>
<br>1) what is pop:2 in this context<br>2) why? there&#39;s any generalization or rules for understand the stack manage?<br><br>Thanks!<br><br>Santiago. <br><br><br><br>