Parse-type-name
Parse a type name.
- Signature
(parse-type-name parstate) → (mv erp tyname span new-parstate)
- Arguments
- parstate — Guard (parstatep parstate).
- Returns
- tyname — Type (tynamep tyname).
- span — Type (spanp span).
- new-parstate — Type (parstatep new-parstate), given (parstatep parstate).
A type name always starts with one or more specifiers and qualifiers,
which may be followed by an abstract declarator.
We parse the specifier and qualifier list,
and then we parse the abstract declarator if present.