[Patterns] Document on exhaustiveness, unconditionality and remainder

Gavin Bierman gavin.bierman at oracle.com
Tue May 23 21:16:30 UTC 2023

[for some reason this didn’t get sent - retry]

Dear all,

We have had a number of questions about the design philosophy of the exhaustiveness checking in pattern switch. Brian and I have written a short note spelling out the connection between the properties of unconditionality, exhaustiveness and remainder.

We hope this helps,

Gavin & Brian

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/amber-dev/attachments/20230523/e918d5ff/attachment.htm>

More information about the amber-dev mailing list