[External] : Re: Evolving past reference type patterns

[forax at univ-mlv.fr]

> From: "Brian Goetz" <brian.goetz at oracle.com>
> To: "Remi Forax" <forax at univ-mlv.fr>
> Cc: "amber-spec-experts" <amber-spec-experts at openjdk.java.net>
> Sent: Saturday, April 16, 2022 12:25:20 AM
> Subject: Re: [External] : Re: Evolving past reference type patterns

>>> ​
>>> Can you provides examples of such refactorings ?

> Refactoring

> int x = aShort;
> foo(x, x);

> to

> let int x = aShort
> in foo(x, x);
We already agree that pattern assignment (the let =) should use assignment conversions. 

Rémi 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20220416/bd36dcd2/attachment.htm>