Draft JLS spec for sealed types

[Gavin Bierman]

A draft language spec for sealed types is available at:

http://cr.openjdk.java.net/~gbierman/jep360/jep360-20190830/specs/sealed-types-jls.html <http://cr.openjdk.java.net/~gbierman/jep360/jep360-20190830/specs/sealed-types-jls.html>

This spec doesn’t yet contain details on binary compatibility (Chapter 13) - to appear in the next draft.

All comments welcomed!

Thanks,
Gavin

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20190830/4abc393c/attachment.html>