diff --git a/docs/reference/src/documentation/language/control-flow/match/single-line.md b/docs/reference/src/documentation/language/control-flow/match/single-line.md index 376b226b387..04b308c883f 100644 --- a/docs/reference/src/documentation/language/control-flow/match/single-line.md +++ b/docs/reference/src/documentation/language/control-flow/match/single-line.md @@ -10,6 +10,6 @@ The left side of the arrow `=>` is the pattern that we are matching on and the r We check each arm starting from `0` and make our way down until we either find a match on our pattern or we reach the `catch_all` case. -The `|` operator can be used to produce a pattern that is a disjuction of other patterns. +The `|` operator can be used to produce a pattern that is a disjunction of other patterns. The `catch_all` case is equivalent to an `else` in [if expressions](../if-expressions.md) and it does not have to be called `catch_all`. Any pattern declared after a `catch_all` case will not be matched because once the compiler sees the first `catch_all` it stop performing further checks. diff --git a/docs/reference/src/documentation/operations/namespace/index.md b/docs/reference/src/documentation/operations/namespace/index.md index 171f78629a2..773caebffa0 100644 --- a/docs/reference/src/documentation/operations/namespace/index.md +++ b/docs/reference/src/documentation/operations/namespace/index.md @@ -1,6 +1,6 @@ # Address Namespace -Sway utilizies namespaces to distinguish between address types. +Sway utilizes namespaces to distinguish between address types. Having multiple address types enforces type-safety and expands the range of values that an address can take because the same value can be used across multiple types.