diff options
| author | Eugen Wissner <belka@caraus.de> | 2026-07-14 18:08:44 +0200 |
|---|---|---|
| committer | Eugen Wissner <belka@caraus.de> | 2026-07-14 18:08:44 +0200 |
| commit | a32a61813ebaecf0c1e69fd1481bf09d8c8b1420 (patch) | |
| tree | ecfb6140075e3c46b599755e220dbf560de2e31d /doc | |
| parent | 51e2f98e33ae10fc3052335cc6847bc93d0784fa (diff) | |
| download | elna-a32a61813ebaecf0c1e69fd1481bf09d8c8b1420.tar.gz | |
Support more floating point literals
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/appendix.tex | 5 | ||||
| -rw-r--r-- | doc/language.tex | 12 |
2 files changed, 12 insertions, 5 deletions
diff --git a/doc/appendix.tex b/doc/appendix.tex index 71b0cc4..36bb72a 100644 --- a/doc/appendix.tex +++ b/doc/appendix.tex @@ -35,8 +35,11 @@ \alt{} `0' (`X' | `x') <hex-digit> \{<hex-digit>\} \alt{} `0' (`B' | `b') <binary-digit> \{<binary-digit>\}. +<scale-factor> = (`e' | `E') [`+' | `-'] <decimal-digit> \{<decimal-digit>\}. + <real-literal> = <integer-literal> `.\@' <decimal-digit> \{<decimal-digit>\} - \alt{} <integer-literal>\} `e' [`+' | `-'] <decimal-digit> \{<decimal-digit>\}. + [<scale-factor>] + \alt{} <integer-literal> <scale-factor>. <character-literal> = `\textquotesingle' <character> `\textquotesingle'. diff --git a/doc/language.tex b/doc/language.tex index 04f8613..b7b8d9d 100644 --- a/doc/language.tex +++ b/doc/language.tex @@ -51,9 +51,10 @@ preceded by a prefix and followed by a suffix. The prefixes \verb|0x| and indicate binary representation. Unsigned integers have the suffix \verb|u|, signed integers have no suffix. -A \textit{real number} always contains a decimal point. Optionally it may -also contain a decimal scale factor. The letters \verb|e| or \verb|E| is -pronounced as `times ten to the power of'. +A \textit{real number} contains either a decimal point, or a scale factor, +or both. A decimal point must be followed by at least one digit. The letter +\verb|e| (or \verb|E|) introduces the scale factor and is pronounced +``times ten to the power of''. \begin{grammar} <integer-literal> = `0' | <counting-digit> \{<decimal-digit>\}. @@ -62,8 +63,11 @@ pronounced as `times ten to the power of'. \alt{} `0' (`X' | `x') <hex-digit> \{<hex-digit>\} \alt{} `0' (`B' | `b') <binary-digit> \{<binary-digit>\}. +<scale-factor> = (`e' | `E') [`+' | `-'] <decimal-digit> \{<decimal-digit>\}. + <real-literal> = <integer-literal> `.\@' <decimal-digit> \{<decimal-digit>\} - \alt{} <integer-literal>\} `e' [`+' | `-'] <decimal-digit> \{<decimal-digit>\}. + [<scale-factor>] + \alt{} <integer-literal> <scale-factor>. \end{grammar} Examples: |