diff options
| author | ringabout <43030857+ringabout@users.noreply.github.com> | 2022-09-29 04:37:26 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-28 22:37:26 +0200 |
| commit | a8cc5d1379bbf3197e3e7a040cac2f7376a4949a (patch) | |
| tree | 36ae4438943713329484a5011fbb0f844daafacf /doc | |
| parent | 65c2518d5cae79084190dfd9bdfc757572ed2e79 (diff) | |
| download | Nim-a8cc5d1379bbf3197e3e7a040cac2f7376a4949a.tar.gz | |
Unicode Operators are no longer experimental (#20444)
* Unicode Operators are no longer experimental * fixes tests * Update doc/manual.md Co-authored-by: Andreas Rumpf <rumpf_a@web.de>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual.md | 15 | ||||
| -rw-r--r-- | doc/manual_experimental.md | 21 |
2 files changed, 15 insertions, 21 deletions
diff --git a/doc/manual.md b/doc/manual.md index 93196f619..305e7861f 100644 --- a/doc/manual.md +++ b/doc/manual.md @@ -695,6 +695,21 @@ are used for other notational purposes. The `not` keyword is always a unary operator, `a not b` is parsed as `a(not b)`, not as `(a) not (b)`. +Unicode Operators +----------------- + +These Unicode operators are also parsed as operators:: + + ∙ ∘ × ★ ⊗ ⊘ ⊙ ⊛ ⊠ ⊡ ∩ ∧ ⊓ # same priority as * (multiplication) + ± ⊕ ⊖ ⊞ ⊟ ∪ ∨ ⊔ # same priority as + (addition) + + +Unicode operators can be combined with non-Unicode operator +symbols. The usual precedence extensions then apply, for example, `⊠=` is an +assignment like operator just like `*=` is. + +No Unicode normalization step is performed. + Other tokens ------------ diff --git a/doc/manual_experimental.md b/doc/manual_experimental.md index 9dd44ab3b..60461cb6d 100644 --- a/doc/manual_experimental.md +++ b/doc/manual_experimental.md @@ -65,27 +65,6 @@ However, a `void` type cannot be inferred in generic code: The `void` type is only valid for parameters and return types; other symbols cannot have the type `void`. - -Unicode Operators -================= - -Under the `--experimental:unicodeOperators`:option: switch, -these Unicode operators are also parsed as operators:: - - ∙ ∘ × ★ ⊗ ⊘ ⊙ ⊛ ⊠ ⊡ ∩ ∧ ⊓ # same priority as * (multiplication) - ± ⊕ ⊖ ⊞ ⊟ ∪ ∨ ⊔ # same priority as + (addition) - - -If enabled, Unicode operators can be combined with non-Unicode operator -symbols. The usual precedence extensions then apply, for example, `⊠=` is an -assignment like operator just like `*=` is. - -No Unicode normalization step is performed. - -.. note:: Due to parser limitations one **cannot** enable this feature via a - pragma `{.experimental: "unicodeOperators".}` reliably. - - Top-down type inference ======================= |