|
|
|---|
|
|
|
|---|
Fixtype of literals.
This is a tagged union type, introduced by fty::deftagsum.
For arithmetic literals,
we only capture the numeric value (an integer) and the type
(which for signed and unsigned literals is captured by the size);
we do not capture any leading zeros, any underscores,
and whether 0 is written as
For string literals, we do not capture the escapes, but only the actual sequence of characters that forms the string.
These abstractions are adequate to the abstract syntax. The information omitted is only relevant to the concrete syntax.