Parse-generic-association
Parse a generic association.
- Signature
(parse-generic-association parstate)
→
(mv erp genassoc span new-parstate)
- Arguments
- parstate — Guard (parstatep parstate).
- Returns
- genassoc — Type (genassocp genassoc).
- span — Type (spanp span).
- new-parstate — Type (parstatep new-parstate), given (parstatep parstate).
We read the next token.
If the token may start a type name,
we put it back and then we parse
a type name, a colon, and an assignment expression.
If the token is the keyword default,
we parse a colon and an assignment expression.
If the token is none of the above, it is an error.