syntax: document underscore numbers.

diff --git a/core/syntax/syntax-docs.factor b/core/syntax/syntax-docs.factor
index 7c010924da828a15f0b52e9a49b3a8640d4639d7..a73d80f362a810066c55cfbf9fd88b12de552007 100644 (file)
--- a/core/syntax/syntax-docs.factor
+++ b/core/syntax/syntax-docs.factor
@@ -33,11 +33,12 @@ ARTICLE: "syntax-immediate" "Parse time evaluation"
 } ;
 
 ARTICLE: "syntax-integers" "Integer syntax"
-"The printed representation of an integer consists of a sequence of digits, optionally prefixed by a sign and arbitrarily separated by commas."
+"The printed representation of an integer consists of a sequence of digits, optionally prefixed by a sign and arbitrarily separated by commas or underscores."
 { $code
     "123456"
     "-10"
     "2,432,902,008,176,640,000"
+    "1_000_000"
 }
 "Integers are entered in base 10 unless prefixed with a base-changing prefix. " { $snippet "0x" } " begins a hexadecimal literal, " { $snippet "0o" } " an octal literal, and " { $snippet "0b" } " a binary literal. A sign, if any, goes before the base prefix."
 { $example