> From: "Brian Goetz" <brian.go...@oracle.com>
> To: "Remi Forax" <fo...@univ-mlv.fr>
> Cc: "amber-spec-experts" <amber-spec-experts@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 

Reply via email to