diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2015-04-25 21:18:47 +0530 |
|---|---|---|
| committer | Manish Goregaokar <manishsmail@gmail.com> | 2015-04-25 21:18:47 +0530 |
| commit | 007c81b83d4da7a279f21ba2a00d1901b1f11f0d (patch) | |
| tree | b3b94d5a84f60f90ebeafcd250b07ddb51cd590b | |
| parent | 23782ad9a844ea283e0ea692b361ef5885ce296f (diff) | |
| parent | 702f17566c7f4decdc9cfb4f67a03fe5b10f6454 (diff) | |
| download | rust-007c81b83d4da7a279f21ba2a00d1901b1f11f0d.tar.gz rust-007c81b83d4da7a279f21ba2a00d1901b1f11f0d.zip | |
Rollup merge of #24811 - rkruppe:reference-audit, r=steveklabnik
Mention `non_ascii_idents` feature gate and remove unused productions. r? @steveklabnik
| -rw-r--r-- | src/doc/reference.md | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/doc/reference.md b/src/doc/reference.md index e6a200829ee..964ef7ca520 100644 --- a/src/doc/reference.md +++ b/src/doc/reference.md @@ -68,12 +68,14 @@ explicit code point lists. [^inputformat] ## Special Unicode Productions The following productions in the Rust grammar are defined in terms of Unicode -properties: `ident`, `non_null`, `non_star`, `non_eol`, `non_slash_or_star`, -`non_single_quote` and `non_double_quote`. +properties: `ident`, `non_null`, `non_eol`, `non_single_quote` and `non_double_quote`. ### Identifiers -The `ident` production is any nonempty Unicode string of the following form: +The `ident` production is any nonempty Unicode[^non_ascii_idents] string of the following form: + +[^non_ascii_idents]: Non-ASCII characters in identifiers are currently feature + gated. This is expected to improve soon. - The first character has property `XID_start` - The remaining characters have property `XID_continue` @@ -90,8 +92,6 @@ Some productions are defined by exclusion of particular Unicode characters: - `non_null` is any single Unicode character aside from `U+0000` (null) - `non_eol` is `non_null` restricted to exclude `U+000A` (`'\n'`) -- `non_star` is `non_null` restricted to exclude `U+002A` (`*`) -- `non_slash_or_star` is `non_null` restricted to exclude `U+002F` (`/`) and `U+002A` (`*`) - `non_single_quote` is `non_null` restricted to exclude `U+0027` (`'`) - `non_double_quote` is `non_null` restricted to exclude `U+0022` (`"`) |