On Aug 17, 2017, at 4:40 PM, fo...@univ-mlv.fr wrote: > > > so i agree that the VM should not try to do any interning and resolve each > condy once, i still think the spec should, at least in a discussion section, > say that the returned value should be constant and the bsm should be > idempotent
I will add this, as a non-normative comment. BTW, the problem exists in a milder form with CONSTANT_Class, for example, which if you duplicate it can produce different answers. The system ensures that if you get a Class from both, you will get the same Class. But either or both could independently produce a distinct LinkageError. That's milder than two identical condy's producing TRUE vs. FALSE, but it is on the slippery slope. — John
