On Dec 16, 2020, at 12:39 PM, fo...@univ-mlv.fr wrote:
>
> De: "John Rose"
>
> The last is cleanest; the cost is resolving some technical
> debt in Valhalla, which is allowing more kinds of supers
> for primitive classes. There’s no firm reason, IMO, why
> Record could not be a super of both
> De: "John Rose"
> À: "daniel smith"
> Cc: "Remi Forax" , "valhalla-spec-experts"
>
> Envoyé: Mercredi 16 Décembre 2020 20:09:44
> Objet: Re: Inline Record vs JLS / Reflection
> On Dec 16, 2020, at 11:07 AM, Dan Smith < [ mail
On Dec 16, 2020, at 11:07 AM, Dan Smith wrote:
>
> I don't think we have a good answer right now, but it's something we will
> want to address at some point. A solution would have to look like one of:
>
> - Ask clients (e.g., "is this a record?" code) to adapt to the presence of
> the '$ref'
> On Dec 2, 2020, at 5:09 AM, Remi Forax wrote:
>
> Hi all,
> currently an inline record like this
> public @__inline__ record IntBox(int value) {
> }
>
> generates two classes, IntBox and IntBox$ref, IntBox being the record itself
> and IntBox$ref being the abstract class representing the
Hi all,
currently an inline record like this
public @__inline__ record IntBox(int value) {
}
generates two classes, IntBox and IntBox$ref, IntBox being the record itself
and IntBox$ref being the abstract class representing the nullable version of an
inline that inherits from