[Patterns] Document on exhaustiveness, unconditionality and remainder
gavin.bierman at oracle.com
Tue May 23 21:16:30 UTC 2023
[for some reason this didn’t get sent - retry]
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...
More information about the amber-dev