Valid-block-item-list
Validate a list of block items.
- Signature
(valid-block-item-list items table ienv)
→
(mv erp new-items return-types last-expr-type? new-table)
- Arguments
- items — Guard (block-item-listp items).
- table — Guard (valid-tablep table).
- ienv — Guard (ienvp ienv).
- Returns
- erp — Type (maybe-msgp erp).
- new-items — Type (block-item-listp new-items).
- return-types — Type (type-setp return-types).
- last-expr-type? — Type (type-optionp last-expr-type?).
- new-table — Type (valid-tablep new-table).
If validation is successful, we return the same kind of type results
as valid-stmt (see that function's documentation),
with the modification that
the last-expr-type? result is a type exactly when
the list of block items is not empty
and the validation of the last block item
returns a type as that result.
