Thanks Tagir. I’ll take a look. Gavin
Sent from my iPad > On 2 Mar 2020, at 05:01, Tagir Valeev <[email protected]> wrote: > > I see that you added a note to "15.27.3 Type of a Lambda Expression", > but a similar note is missing in "15.13.2 Type of a Method Reference". > I think both should be unnecessary if you just restrict the > "functional interface" definition instead. > > With best regards, > Tagir Valeev > > >> On Mon, Mar 2, 2020 at 11:57 AM Tagir Valeev <[email protected]> wrote: >> >> Hello! >> >> Shouldn't we update a section 9.8 Functional Interfaces? E.g.: >> >> A functional interface is an interface that [is not declared as sealed >> and] has just one abstract method (aside from the methods of Object), >> and thus represents a single function contract. >> >> This will also imply that the @FunctionalInterface annotation cannot >> be applicable to sealed interfaces (9.6.4.9). >> >> With best regards, >> Tagir Valeev. >> >> >>> On Fri, Feb 28, 2020 at 7:25 PM Gavin Bierman <[email protected]> >>> wrote: >>> >>> The next draft language spec for JEP 360 (Sealed Types) is available at: >>> >>> http://cr.openjdk.java.net/~gbierman/jep360/latest/ >>> >>> This version reflects the changes to the type system I mentioned [1], along >>> with a number of other changes. We’d appreciate further comments on this in >>> particular (along with anything else). >>> >>> Thanks, >>> Gavin >>> >>> [1] >>> https://mail.openjdk.java.net/pipermail/amber-spec-experts/2020-February/002018.html
