Uppercase Modula identifiers may contain digits

[rdipardo]

LexModula does not anticipate alphanumeric uppercase identifiers that happen to contain standard type names, e.g.,

Text

INTERFACE Ex;

TYPE
  INTEGER32 = [-16_7fffffff-1 .. 16_7fffffff];

END Ex.

Styles

{4}INTERFACE{0} Ex{16};{0}

{4}TYPE{0}
  {5}INTEGER{6}32{0} {16}={0} {16}[-{7}16_7fffffff{16}-{6}1{0} {16}..{0} {7}16_7fffffff{16}];{0}

{4}END{0} Ex{16}.{0}

"INTEGER32" and similar are attested in GNU's implementation of ISO Modula-2 as fixed-width integral types provided by the SYSTEM module : https://gcc.gnu.org/onlinedocs/gm2/gm2-libs-iso_002fSYSTEM.html

These patches amend identifier validation to allow digits. The affected condition has also been re-expressed from a double negative to a negated OR by application of De Morgan's laws of equivalency:

• 0001-gh-297-Allow-uppercase-Modula-identifiers-to-contain-digits.patch.txt

• 0002-gh-297-Test-uppercase-Modula-identifiers-to-contain-digits.patch.txt