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.go...@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. > > >
