Parse-generic-association
Parse a generic association.
- Signature
(parse-generic-association pstate)
→
(mv erp genassoc span new-pstate)
- Arguments
- pstate — Guard (parstatep pstate).
- Returns
- genassoc — Type (genassocp genassoc).
- span — Type (spanp span).
- new-pstate — Type (parstatep new-pstate).
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.