From dc3363a858938595a582c3311bb4f62bf66a3593 Mon Sep 17 00:00:00 2001
From: Alessandro Coglio <coglio@kestrel.edu>
Date: Fri, 8 Apr 2022 19:05:57 +0200
Subject: [PATCH] [ABNF] Factor integer literals into a rule.

This mirrors the structure of the rules for types, where there is an
`integer-type` consisting of `unsigned-type` and `signed-type`.

There is no change to the language.
---
 docs/grammar/README.md        | 14 +++++++++++---
 docs/grammar/abnf-grammar.txt |  6 ++++--
 2 files changed, 15 insertions(+), 5 deletions(-)

diff --git a/docs/grammar/README.md b/docs/grammar/README.md
index ab5169f211..f8edf344cd 100644
--- a/docs/grammar/README.md
+++ b/docs/grammar/README.md
@@ -368,10 +368,18 @@ string-literal-element = not-double-quote-or-backslash
 Go to: _[ascii-character-escape](#user-content-ascii-character-escape), [not-double-quote-or-backslash](#user-content-not-double-quote-or-backslash), [simple-character-escape](#user-content-simple-character-escape), [unicode-character-escape](#user-content-unicode-character-escape)_;
 
 
+<a name="integer-literal"></a>
+```abnf
+integer-literal = unsigned-literal
+                / signed-literal 
+```
+
+Go to: _[signed-literal](#user-content-signed-literal), [unsigned-literal](#user-content-unsigned-literal)_;
+
+
 <a name="atomic-literal"></a>
 ```abnf
-atomic-literal = unsigned-literal
-               / signed-literal
+atomic-literal = integer-literal
                / field-literal
                / product-group-literal
                / boolean-literal
@@ -380,7 +388,7 @@ atomic-literal = unsigned-literal
                / string-literal
 ```
 
-Go to: _[address-literal](#user-content-address-literal), [boolean-literal](#user-content-boolean-literal), [character-literal](#user-content-character-literal), [field-literal](#user-content-field-literal), [product-group-literal](#user-content-product-group-literal), [signed-literal](#user-content-signed-literal), [string-literal](#user-content-string-literal), [unsigned-literal](#user-content-unsigned-literal)_;
+Go to: _[address-literal](#user-content-address-literal), [boolean-literal](#user-content-boolean-literal), [character-literal](#user-content-character-literal), [field-literal](#user-content-field-literal), [integer-literal](#user-content-integer-literal), [product-group-literal](#user-content-product-group-literal), [string-literal](#user-content-string-literal)_;
 
 
 <a name="symbol"></a>
diff --git a/docs/grammar/abnf-grammar.txt b/docs/grammar/abnf-grammar.txt
index b6015576fe..92a41f8474 100644
--- a/docs/grammar/abnf-grammar.txt
+++ b/docs/grammar/abnf-grammar.txt
@@ -159,8 +159,10 @@ string-literal-element = not-double-quote-or-backslash
                        / ascii-character-escape
                        / unicode-character-escape
 
-atomic-literal = unsigned-literal
-               / signed-literal
+integer-literal = unsigned-literal
+                / signed-literal 
+
+atomic-literal = integer-literal
                / field-literal
                / product-group-literal
                / boolean-literal