Condy bsm should be idempotent

John Rose john.r.rose at
Fri Aug 18 00:15:57 UTC 2017

On Aug 17, 2017, at 4:40 PM, forax at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the amber-spec-experts mailing list