I'd very much like to see method annotations in Squeak. However, why not use an implementation that's compatible with VW's pragmas? AFAICT, the VW syntax is a superset of the Tweak syntax, and it has a very similar implementation, with the annotations stored in the literal frame of the CompiledMethod.
One problem that I see with pragmas is that a compile method cannot be annotated without recompiling it. Which would be quite hampering on....
Having setProperty:toValue: / valueOfProperty: would make things simpler. The compiler would not have to be modified.
On some point, instead of manipulating pragmas, such might be useful: Object>>forCurrentMethodSetProperty: name toValue: val thisContext method setProperty: name toValue: val
Alexandre