Pattern coverage

[Remi Forax]

Thanks for sharing, 
in the text, they are several mentions of the default pattern but the default pattern is not defined. 

Rémi 

> From: "Brian Goetz" <brian.goetz at oracle.com>
> To: "amber-spec-experts" <amber-spec-experts at openjdk.java.net>
> Sent: Thursday, March 24, 2022 6:39:21 PM
> Subject: Pattern coverage

> I've put a document at

> [ http://cr.openjdk.java.net/~briangoetz/eg-attachments/Coverage.pdf |
> http://cr.openjdk.java.net/~briangoetz/eg-attachments/Coverage.pdf ]

> which outlines a formal model for pattern coverage, including record patterns
> and the effects of sealing. This refines the work we did earlier. The document
> may be a bit rough so please let me know if you spot any errors. The approach
> here should be more amenable to specification than the previous approach.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20220324/a478a561/attachment.htm>