Pattern coverage

[Alan Malloy]

I found T-RecBase confusing until I understood that we were talking about a
set of patterns, and using set-builder notation, rather than a specific
pattern. Perhaps section 1 could devote a sentence or two to what it means
for a set of patterns to cover a type.

On Thu, Mar 24, 2022 at 10:39 AM Brian Goetz <brian.goetz at oracle.com> wrote:

> I've put a document at
>
>     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/20220331/1c7a1882/attachment-0001.htm>