Parse-equality-expression
Parse an equality expression.
- Signature
(parse-equality-expression parstate)
→
(mv erp expr span new-parstate)
- Arguments
- parstate — Guard (parstatep parstate).
- Returns
- expr — Type (exprp expr).
- span — Type (spanp span).
- new-parstate — Type (parstatep new-parstate), given (parstatep parstate).
We handle the left recursion in the grammar rule
in the same way as for expressions:
see parse-expression.