JEP325: Switch expressions spec

[Remi Forax]

----- Mail original -----
> De: "Gavin Bierman" <gavin.bierman at oracle.com>
> À: "amber-spec-experts" <amber-spec-experts at openjdk.java.net>
> Envoyé: Vendredi 27 Avril 2018 17:03:50
> Objet: Re: JEP325: Switch expressions spec

> I have uploaded the latest draft of the spec for JEP 325 at
> http://cr.openjdk.java.net/~gbierman/switch-expressions.html
> 
> Changes from the last version:
> * Supports new -> label form in both switch expressions and switch statements
> * Added typing rules for switch expression
> * Restrict the type of a selector expression to not include long, double and
> float as previously proposed

I do not care about double and float, doing == on a double or a float is already dubious, but why drop the support for long ?


> * Misc smaller changes from community feedback (thanks!)
> 
> Comments welcomed!
> Gavin

Rémi

> 
>> On 12 Apr 2018, at 22:27, Gavin Bierman <gavin.bierman at oracle.com> wrote:
>> 
>> I have uploaded a draft spec for JEP 325: Switch expressions at
>> http://cr.openjdk.java.net/~gbierman/switch-expressions.html
>> 
>> Note there are still three things missing:
>> 
>> * There is no text about typing a switch expression, as this is still being
>> discussed on this list.
>> * There is no name given for the exception raised at runtime when a switch
>> expression fails to find a matching pattern label, as this is still being
>> discussed on this list.
>> * The spec currently permits fall through from a "case pattern:” statement group
>> into a "case pattern ->" clause. We are still working through the consequences
>> of removing this possibility.
>> 
>> Comments welcomed!
> > Gavin