Skip to content

Clarify what it means for digits to be separated by underscores. #517

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Apr 28, 2025
Merged

Clarify what it means for digits to be separated by underscores. #517

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions draft-marchan-kdl2.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -782,6 +782,13 @@ There are five syntaxes for Numbers: Keywords, Decimal, Hexadecimal, Octal, and
- They may optionally include a decimal separator `.`, followed by more digits, which may again be separated by `_`.
- They may optionally be followed by `E` or `e`, an optional `-` or `+`, and more digits, to represent an exponent value.

In all cases where the above says that digits "may be separated by `_`",
this means that between any two digits, or after the digits, any number of
consecutive `_` characters can appear. Underscores are not allowed *before* the digits.
That is, `1___2` and `12____` are valid (and both equivalent to just `12`), but
`_12` is *not* a valid number (it will instead parse as an identifier string),
nor is `0x_1a` (it will simply be invalid).

Note that, similar to JSON and some other languages,
numbers without an integer digit (such as `.1`) are illegal.
They must be written with at least one integer digit, like `0.1`.
Expand Down