Pattern coverage

Alan Malloy amalloy at
Fri Apr 1 01:09:38 UTC 2022

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> wrote:

> I've put a document at
> 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: <>

More information about the amber-spec-experts mailing list