<html><body><div style="font-family: arial, helvetica, sans-serif; font-size: 12pt; color: #000000"><div><br></div><div><br></div><hr id="zwchr" data-marker="__DIVIDER__"><div data-marker="__HEADERS__"><blockquote style="border-left:2px solid #1010FF;margin-left:5px;padding-left:5px;color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;"><b>De: </b>"Brian Goetz" <brian.goetz@oracle.com><br><b>À: </b>"Gavin Bierman" <gavin.bierman@oracle.com>, "amber-spec-experts" <amber-spec-experts@openjdk.java.net><br><b>Envoyé: </b>Mardi 13 Octobre 2020 19:18:48<br><b>Objet: </b>Re: [patterns-instanceof] Spec for next version of Patterns in instanceof JEP<br></blockquote></div><div data-marker="__QUOTED_TEXT__"><blockquote style="border-left:2px solid #1010FF;margin-left:5px;padding-left:5px;color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;"><font size="+1"><tt>This seems to cleverly sidestep the issue of
pattern totality (by outlawing the total type pattern on the RHS
of instanceof for now) and leave us room to go either way in the
future. So, +1. </tt></font></blockquote><div><br></div><div>oh, no,<br data-mce-bogus="1"></div><div>all my codes that does a "instanceof Object o" does not work anymore :)<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div>so good to me too.<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div>Rémi<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div>[...]<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><blockquote style="border-left:2px solid #1010FF;margin-left:5px;padding-left:5px;color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;"><br>
<br>
<br>
<div class="moz-cite-prefix">On 10/12/2020 3:55 PM, Gavin Bierman
wrote:<br>
</div>
<blockquote cite="mid:4145F2FA-089E-4BC3-B7EE-6BBCFE363379@oracle.com">
<pre class="moz-quote-pre">Following the announcement of JEP 394 [1] the latest version of the spec is now available at:
<a class="moz-txt-link-freetext" href="http://cr.openjdk.java.net/~gbierman/jep394/latest/" target="_blank">http://cr.openjdk.java.net/~gbierman/jep394/latest/</a>
I have fixed the bugs spotted by Brian in the previous draft. I have also tidied up the treatment of annotations (See sections 9.6.4.1 and 9.7.4 along with the refactored grammar for type test patterns 14.20.1.1)
Still time to pass on comments!
Gavin
[2] <a class="moz-txt-link-freetext" href="https://openjdk.java.net/jeps/394" target="_blank">https://openjdk.java.net/jeps/394</a>
</pre>
<blockquote>
<pre class="moz-quote-pre">On 5 Oct 2020, at 13:53, Gavin Bierman <a class="moz-txt-link-rfc2396E" href="mailto:gavin.bierman@oracle.com" target="_blank"><gavin.bierman@oracle.com></a> wrote:
Dear all:
A draft of the spec for the Patterns in instanceof feature that we plan to
finalize in JDK 16 is now available:
<a class="moz-txt-link-freetext" href="http://cr.openjdk.java.net/~gbierman/8250623/latest/" target="_blank">http://cr.openjdk.java.net/~gbierman/8250623/latest/</a>
[NB: The URL will change once we have a JEP number, and will be announced.]
The changes are the same as those in the second preview that was released in
Java SE 16, except for minor editorial changes and the following:
- To lift the restriction that pattern variables are implicitly final. This
allows pattern variables to be considered as a strict subset of local
variables. A number of simplifications to the spec result from this change.
- To make it a compile-time error for an expression of type _S_ to be matched
against a pattern of type _T_, where _S_ is a subtype of _T_. (This pattern
match will always succeed and is then pointless. The opposite case, where a
pattern match will always fail is already a compile-time error.)
Comments welcome!
Gavin
</pre>
</blockquote>
</blockquote>
<br><br></blockquote></div></div></body></html>