		Search-engine friendly clone of the ACL2 documentation.

Integer-literals

Optional-integer-type-suffix

Fixtype of optional integer type suffixes for integer literals [JLS14:3.10.1].

This is a tagged union type, introduced by fty::deftagsum.

Member Tags → Types

:none → optional-integer-type-suffix-none
:lowercase → optional-integer-type-suffix-lowercase
:uppercase → optional-integer-type-suffix-uppercase

An integer literal may have no integer type suffix, a lowercase l integer type suffix, or an uppercase L integer type suffix. Here we capture these three possibilities.

The lowercase and uppercase suffixes are equivalent, but we want to preserve the full information here.

Subtopics

Optional-integer-type-suffix-fix: Fixing function for optional-integer-type-suffix structures.
Optional-integer-type-suffix-case: Case macro for the different kinds of optional-integer-type-suffix structures.
Optional-integer-type-suffix-equiv: Basic equivalence relation for optional-integer-type-suffix structures.
Optional-integer-type-suffix-p: Recognizer for optional-integer-type-suffix structures.
Optional-integer-type-suffix-kind: Get the kind (tag) of a optional-integer-type-suffix structure.
Optional-integer-type-suffix-uppercase
Optional-integer-type-suffix-none
Optional-integer-type-suffix-lowercase