Value type hash code

John Rose john.r.rose at oracle.com
Wed Apr 11 21:01:18 UTC 2018


On Apr 11, 2018, at 11:27 AM, Remi Forax <forax at univ-mlv.fr> wrote:
> 
> in the l-world, you can have a reference or a value type in 'a' local,
> so acmp is defined as an identity check (if there is a value type on the left or on the right operand the result is false) not a substitution check.

Not quite true:  We are currently defining literal acmp on a value to return false always.
That's to avoid having to buy the whole contract of detecting substitutability.
The performance model requires a new user-visible operator to test for the
"thicker" concept of value substitutability.  Meanwhile, reference substitutability
has always been just a "thin" pointer compare.



More information about the valhalla-dev mailing list