Skip to content

Commit

Permalink
Update standard/patterns.md
Browse files Browse the repository at this point in the history
Co-authored-by: Jon Skeet <skeet@pobox.com>
  • Loading branch information
Nigel-Ecma and jskeet committed Oct 4, 2023
1 parent 87bdeac commit 5eb3b0b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion standard/patterns.md
Original file line number Diff line number Diff line change
Expand Up @@ -156,7 +156,7 @@ A set of patterns `Q` *subsumes* a pattern `P` if any of the following condition

## 11.4 Pattern exhaustiveness

Informally, a set of patterns is exhaustive for a type if for every possible value of that type other than null some pattern in the set is applicable.
Informally, a set of patterns is exhaustive for a type if, for every possible value of that type other than null, some pattern in the set is applicable.
The following rules define when a set of patterns is *exhaustive* for a type:

A set of patterns `Q` is *exhaustive* for a type `T` if any of the following conditions hold:
Expand Down

0 comments on commit 5eb3b0b

Please sign in to comment.