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 Bri
Right, in this model "default" clauses map to "any" patterns. It
doesn't (yet) deal with remainder, but that will come in a separate
section. This is all about static type checking. Also, the last two
rules probably leave out some of the generics support, but that's not
essential to the mode
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"
> To: "amber-spec-experts"
> Sent: Thursday, March 24, 2022 6:39:21 PM
> Subject: Pattern coverage
> I've put a document at
> [ http://cr.op
