Flow scoping

Remi Forax forax at univ-mlv.fr
Fri Jan 4 14:17:35 UTC 2019

> De: "Tagir Valeev" <amaembo at gmail.com>
> À: "Brian Goetz" <brian.goetz at oracle.com>
> Cc: "amber-spec-experts" <amber-spec-experts at openjdk.java.net>
> Envoyé: Vendredi 4 Janvier 2019 15:07:44
> Objet: Re: Flow scoping

> Hello!

>> This is certainly this intuition that guided us here; it should be possible to
>> freely refactor

>> if (e)
>> throw x;
>> else { stuff }

>> to

>> if (e) throw x;
>> stuff;

>> and it would be sad if we could not.
> For the record: I heavily support this. If then-branch cannot complete normally,
> then unwrapping the else-branch should preserve the program semantics. It works
> today, and it should work in future Java as well.

so i am, as a user if you explicitly choose the instanceof form that introduce a local name, the local name should be introduced :) 

> With best regards,
> Tagir Valeev.

Happy new year, 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20190104/ba2d51ce/attachment.html>

More information about the amber-spec-experts mailing list