Script updating gh-pages from 353dcae. [ci skip]

cbor-wg · Aug 17, 2024 · 94b89a5 · 94b89a5
1 parent db1234d
commit 94b89a5
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 12 deletions.
diff --git a/split-numbers/draft-ietf-cbor-edn-literals.html b/split-numbers/draft-ietf-cbor-edn-literals.html
@@ -1794,16 +1794,16 @@ <h3 id="name-overall-abnf-definition-for">
 ellipsis        = 3*"." ; "..." or more dots
 string          = string1e *(S "+" S string1e)
 
-number          = (hexnumber / octnumber / binnumber
+number          = (hexfloat / hexint / octint / binint
                    / decnumber / nonfin) spec
 sign            = "+" / "-"
 decnumber       = [sign] (1*DIGIT ["." *DIGIT] / "." 1*DIGIT)
                          ["e" [sign] 1*DIGIT]
-hexnumber       = [sign] "0x" (1*HEXDIG
-                              [["." *HEXDIG] "p" [sign] 1*DIGIT]
-                               / "." 1*HEXDIG "p" [sign] 1*DIGIT)
-octnumber       = [sign] "0o" 1*ODIGIT
-binnumber       = [sign] "0b" 1*BDIGIT
+hexfloat        = [sign] "0x" (1*HEXDIG ["." *HEXDIG] / "." 1*HEXDIG)
+                         "p" [sign] 1*DIGIT
+hexint          = [sign] "0x" 1*HEXDIG
+octint          = [sign] "0o" 1*ODIGIT
+binint          = [sign] "0b" 1*BDIGIT
 nonfin          = %s"Infinity"
                 / %s"-Infinity"
                 / %s"NaN"

diff --git a/split-numbers/draft-ietf-cbor-edn-literals.txt b/split-numbers/draft-ietf-cbor-edn-literals.txt
@@ -705,16 +705,16 @@ Internet-Draft   CBOR Extended Diagnostic Notation (EDN)     August 2024
    ellipsis        = 3*"." ; "..." or more dots
    string          = string1e *(S "+" S string1e)
 
-   number          = (hexnumber / octnumber / binnumber
+   number          = (hexfloat / hexint / octint / binint
                       / decnumber / nonfin) spec
    sign            = "+" / "-"
    decnumber       = [sign] (1*DIGIT ["." *DIGIT] / "." 1*DIGIT)
                             ["e" [sign] 1*DIGIT]
-   hexnumber       = [sign] "0x" (1*HEXDIG
-                                 [["." *HEXDIG] "p" [sign] 1*DIGIT]
-                                  / "." 1*HEXDIG "p" [sign] 1*DIGIT)
-   octnumber       = [sign] "0o" 1*ODIGIT
-   binnumber       = [sign] "0b" 1*BDIGIT
+   hexfloat        = [sign] "0x" (1*HEXDIG ["." *HEXDIG] / "." 1*HEXDIG)
+                            "p" [sign] 1*DIGIT
+   hexint          = [sign] "0x" 1*HEXDIG
+   octint          = [sign] "0o" 1*ODIGIT
+   binint          = [sign] "0b" 1*BDIGIT
    nonfin          = %s"Infinity"
                    / %s"-Infinity"
                    / %s"NaN"