Re: LWorld1 initial phase proposal

(here's some of the "more later") On Dec 13, 2017, at 11:58 AM, Karen Kinnear wrote: > > … > V. Expected Behaviors: > > … > > 2. Java level APIs > isValue There are a few places where we can ask whether something is a value: 1. Given a U-type(*) variable x, is

Re: LWorld1 initial phase proposal

On Jan 3, 2018, at 8:59 AM, Karen Kinnear wrote: > > Many thanks. > > A couple of points: >> >> Example: A field of value type either needs an explicit flatten flag, >> or a Q-descriptor. The flatten flag (ACC_VALUE) makes an unambiguous >> context for the

Received on valhalla-spec-comments: Generics and null

The following was received on valhalla-spec-comments (archived at http://mail.openjdk.java.net/pipermail/valhalla-spec-comments/2017-December/02.html). Yes, such an operation is necessary both for generic code ("return the default value for the type corresponding to type variable T"),

Re: LWorld1 initial phase proposal

Many thanks. A couple of points: > > Example: A field of value type either needs an explicit flatten flag, > or a Q-descriptor. The flatten flag (ACC_VALUE) makes an unambiguous > context for the L-descriptor of the field type, so that it means a Q-type > rather than an L-type. Just to

Valhalla EG minutes Dec 20, 2017

Happy New Year! Attendees: Remi, Dan H, Tobi, Dan S, John, Karen AIs: All - review nestmates JVMS invokeinterface selection changes All - review Dan’s proposal for constant pool structural descriptors Remi - proposal for T-Types - simpler approach to generic specialization I. Nestmates 1.