|
|
|---|
|
|
|
|---|
Validate an enumerator.
(valid-enumer enumer table ienv) → (mv erp new-enumer return-types new-table)
The enumeration constant is added to the validation table [C17:6.2.1/7],
unless there is already an ordinary identifier
with the same name and in the same (i.e. current) scope;
since enumeration constants have no linkage [C17:6.2.2/6],
they can be only declared once in the same scope [C17:6.7/3].
If there is a constant expression,
we validate it and check that it has integer type,
but for now we do not check that the value
is representable as