Label
Fixtype of labels of labeled statements [C:6.8.1].
This is a tagged union type, introduced by fty::deftagsum.
Member Tags → Types
- :name → label-name
- :cas → label-cas
- :default → label-default
These are the entities on the left of the colon in a labeled statement.
For now we do not capture the restriction that
the expression after a case is constant;
we may formalize, and use here, the notion of constant expression later.
We cannot use :case for the case label,
because the generated constructor label-case
would conflict with the generated macro label-case;
so we use :cas instead.
Subtopics
- Label-case
- Case macro for the different kinds of label structures.
- Label-fix
- Fixing function for label structures.
- Label-equiv
- Basic equivalence relation for label structures.
- Labelp
- Recognizer for label structures.
- Label-name
- Label-cas
- Label-default
- Label-kind
- Get the kind (tag) of a label structure.
