Valid-desiniter
Validate an initializer with optional designation.
- Signature
(valid-desiniter desiniter target-type lifetime table ienv)
→
(mv erp new-desiniter return-types new-table)
- Arguments
- desiniter — Guard (desiniterp desiniter).
- target-type — Guard (typep target-type).
- lifetime — Guard (lifetimep lifetime).
- table — Guard (valid-tablep table).
- ienv — Guard (ienvp ienv).
- Returns
- erp — Type (maybe-msgp erp).
- new-desiniter — Type (desiniterp new-desiniter).
- return-types — Type (type-setp return-types).
- new-table — Type (valid-tablep new-table).
The target type passed as argument is the type
that the list of designators must be applicable to.
