Er, my only comment on this is that although
in C it's defined as

sqInt success(sqInt);

but it's written as
success: successValue
	successFlag := successValue & successFlag.

which resolves as
sqInt success(sqInt successValue) {
register struct foo * foo = &fum;
	foo->successFlag = successValue && foo->successFlag;
}
or
sqInt success(sqInt successValue) {
	foo->successFlag = successValue && foo->successFlag;
}
or
sqInt success(sqInt successValue) {
	successFlag = successValue && successFlag;
}


so what does
  [ ... ^ self success: true]
actually return?


On Oct 26, 2008, at 7:13 PM, Eliot Miranda wrote:

> Perhaps #primitiveExecuteMethod should end with an explicit [ ... ^  
> self success: true] in its true-branch (this is just a thought, I  
> have as yet not

--
= 
= 
= 
========================================================================
John M. McIntosh <johnmci at smalltalkconsulting.com>
Corporate Smalltalk Consulting Ltd.  http://www.smalltalkconsulting.com
= 
= 
= 
========================================================================