Brian Goetz 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.
ault 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:/
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
&g
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 kn
