From 2a787a23d1834398d5a945f83b54ccbd577d1d3b Mon Sep 17 00:00:00 2001 From: Steve Klabnik Date: Wed, 30 Sep 2015 13:42:57 -0400 Subject: [PATCH] Improve identifier defintion in the reference Fixes #28706 --- src/doc/reference.md | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/src/doc/reference.md b/src/doc/reference.md index 8b95a2e539b..73700765b32 100644 --- a/src/doc/reference.md +++ b/src/doc/reference.md @@ -76,8 +76,13 @@ An identifier is any nonempty Unicode[^non_ascii_idents] string of the following [^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` +Either + * The first character has property `XID_start` + * The remaining characters have property `XID_continue` +Or + * The first character is `_` + * The identifier is more than one character, `_` alone is not an identifier + * The remaining characters have property `XID_continue` that does _not_ occur in the set of [keywords][keywords].