diff options
| author | roberthoedicke <robert@duckbuddha.com> | 2014-10-08 23:46:51 +0200 |
|---|---|---|
| committer | roberthoedicke <robert@duckbuddha.com> | 2014-10-08 23:46:51 +0200 |
| commit | 550a48143ea4174b4c4a2697c9b7730cce420901 (patch) | |
| tree | 019c485979eb4c843fae00e092bdfc4e2f38e269 /spec | |
| parent | cbfcb665d4fb981931c30aa5937eb7ce6c2a3493 (diff) | |
| download | scala-550a48143ea4174b4c4a2697c9b7730cce420901.tar.gz scala-550a48143ea4174b4c4a2697c9b7730cce420901.tar.bz2 scala-550a48143ea4174b4c4a2697c9b7730cce420901.zip | |
Update 08-pattern-matching.md
Elided superfluous "a".
Corrected "no" to "not".
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/08-pattern-matching.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spec/08-pattern-matching.md b/spec/08-pattern-matching.md index 8e224de8d2..3538457b5c 100644 --- a/spec/08-pattern-matching.md +++ b/spec/08-pattern-matching.md @@ -115,7 +115,7 @@ type of the pattern. The pattern matches any value $v$ such that To resolve the syntactic overlap with a variable pattern, a stable identifier pattern may not be a simple name starting with a lower-case -letter. However, it is possible to enclose a such a variable name in +letter. However, it is possible to enclose such a variable name in backquotes; then it is treated as a stable identifier pattern. ###### Example @@ -283,7 +283,7 @@ shorthand for the constructor or extractor pattern $\mathit{op}(p, q_1 A pattern alternative `$p_1$ | $\ldots$ | $p_n$` consists of a number of alternative patterns $p_i$. All alternative patterns are type checked with the expected type of the pattern. They -may no bind variables other than wildcards. The alternative pattern +may not bind variables other than wildcards. The alternative pattern matches a value $v$ if at least one its alternatives matches $v$. ### XML Patterns |