@@ -1478,7 +1478,7 @@ fractional part.
1478
1478
1479
1479
NOTE: In the rest of the document, other terminologies, such as
1480
1480
_integer_ or _real_ numbers may be applied for whole numbers and
1481
- fractional numnbers respectively. This corresponds to numbers having
1481
+ fractional numbers respectively. This corresponds to numbers having
1482
1482
been given a link:#types[type] for ((evaluation)) purpose. This is notably
1483
1483
the case whenever a computer font is used, e.g. when we refer to
1484
1484
`integer` or `real` values. Except as far as syntax is concerned, this
@@ -2741,7 +2741,7 @@ expressions:
2741
2741
values to infix, prefix or postfix patterns.
2742
2742
* <<Conditional patterns>> match values based on arbitrary conditions
2743
2743
* <<Literal constants>> match constants with the same value.
2744
- * <<Metabox values>> match values computed by the comiler .
2744
+ * <<Metabox values>> match values computed by the compiler .
2745
2745
* <<Blocks>> change the priority of expressions.
2746
2746
* <<Scope pattern matching>> allows large lists of paraameters to be
2747
2747
passed as argument ina more readable way.
@@ -2822,7 +2822,7 @@ A type annotation as a sub-pattern declares a parameter:
2822
2822
|==============================================================================
2823
2823
| Parameter pattern | Matched by| Not matched by
2824
2824
| `X:integer` | `42` | `X` (unless bound to an `integer`)
2825
- | `seconds as integer` | `42` |`X` (unless bound to constant `integer`)
2825
+ | `seconds as integer` | `42` |`X` (unless bound to mutable `integer`)
2826
2826
|==============================================================================
2827
2827
2828
2828
Such patterns are called _type annotations_, and are used to perform
0 commit comments