JEP325: Switch expressions spec
gavin.bierman at oracle.com
Thu May 17 08:29:56 UTC 2018
> On 16 May 2018, at 23:17, Dan Smith <daniel.smith at oracle.com> wrote:
>> On May 8, 2018, at 5:08 PM, Dan Smith <daniel.smith at oracle.com <mailto:daniel.smith at oracle.com>> wrote:
>> Missing stuff (not necessarily a comprehensive list):
>> - 15.6, evaluation of a switch expression may throw (I hate maintaining these lists, but it's here, so we must maintain it)
>> - 18.104.22.168, define "potentially compatible"
>> - 22.214.171.124, define "more specific"
>> - 15.25, categorization of conditionals with switch expression operands (ugh, one more motivation to abandon the categorization scheme)
>> - 16, definite assignment (including how does a boolean selector/result get treated?)
>> - 18.2.1, inference reduction
>> - 126.96.36.199, searching for additional inference constraints
>> - 18.5.4, "more specific" inference
> Add 15.2, switch expressions don't fall into any of the previous categories of expressions (unless we're willing to call them very verbose unary expressions).
That *was* the proposal; in the draft spec there is a revised 15.15, where switch expressions are added in the production for UnaryExpressionNotPlusMinus.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the amber-spec-experts