Parse-equality-expression-rest
Parse the rest of an equality expression.
- Signature
(parse-equality-expression-rest prev-expr prev-span pstate)
→
(mv erp expr span new-pstate)
- Arguments
- prev-expr — Guard (exprp prev-expr).
- prev-span — Guard (spanp prev-span).
- pstate — Guard (parstatep pstate).
- Returns
- expr — Type (exprp expr).
- span — Type (spanp span).
- new-pstate — Type (parstatep new-pstate).
This completes the job started by parse-equality-expression;
it is analogous to parse-expression-rest.