On Jun 25, 2017, at 7:17 PM, John Rose wrote:
>
> object: (ambig.) a reference to an object instance OR context-dependent
> ellipsis for value type/class/instance
s/ellipsis for value/ellipsis for object/
> value field: (ambig.) field whose type is a value type (in any kind of class) OR a field in a value class (of any type)
If you want to resolve this ambiguity, I've been referring to the former as a "value typed field" and the latter as a "value field".
- Original message -From: John R
On Jun 26, 2017, at 5:16 AM, Bjorn B Vardal wrote:
>
>> > value field: (ambig.) field whose type is a value type (in any kind of
>> > class) OR a field in a value class (of any type)
>
> If you want to resolve this ambiguity, I've been referring to the former as a
> "value typed field" and th
John,
Thank you for writing this up. Couple of questions/comments.
- The class of a boxed value is the value class. (Thus each value class
derives at least two types.)
This one confuses me. I am not sure what you are referring to.
1) source: declaration - declared as a value class
2) classfile
> À: "Bjorn B Vardal"
> Cc: valhalla-spec-experts@openjdk.java.net
> Envoyé: Lundi 26 Juin 2017 20:41:49
> Objet: Re: class, type, instance, object, value
> On Jun 26, 2017, at 5:16 AM, Bjorn B Vardal wrote:
>>
>>> > value field: (ambig.) field who
On Jul 12, 2017, at 6:20 AM, Karen Kinnear wrote:
>
> John,
>
> Thank you for writing this up. Couple of questions/comments.
>
> - The class of a boxed value is the value class. (Thus each value class
> derives at least two types.)
> This one confuses me. I am not sure what you are referring
