Parse
Parse an expression, even one whose expressionType is ⊤, then push a literal phrase wrapping this expression onto the parse stack.
If we didn't wrap the phrase inside a literal phrase, we wouldn't be able to process sequences of statements in macros, since they would each have an expressionType of ⊤ (or if one was ⊥, the entire expressionType would also be ⊥). Instead, they will have the expressionType phrase⇒⊤ (or phrase⇒⊥), which is perfectly fine to put inside a list phrase during parsing.
Properties
Whether this operation can run successfully if there is a pre-parsed first argument that has not yet been consumed.
Assume that the instruction encodes an operand that represents the index of an argument to be checked (for grammatical restrictions): answer the operand.
Whether this instance commutes with ParsePart instructions.
A Statistic that records the number of nanoseconds spent while expanding occurrences of this ParsingOperation.
Assume that the instruction encodes an operand that represents a message part index: answer the operand. Answer 0 if the operand does not represent a message part.
A Statistic that records the number of nanoseconds spent while executing occurrences of this ParsingOperation.
Functions
Given a ParsingOperation, answer an equal operation object that is equal to it, possibly itself, such that all invocations of intern with equal operations will produce the same object. It uses the weak internedInstructions map(s).
Given a program counter, answer the list of successor program counters that should be explored. For example, a BranchForward instruction will need to visit both the next program counter and the branch target.