The validation section on constant expressions is structured like so:
instr* is constant if:
- For all instr in instr*:
- instr is constant.
val is constant if:
- <list of all the constant instructions>
Where did val come from? It links to #syntax-val, which is obviously wrong. Unfortunately, since this prose is generated by SpecTec, I have been unable to track down the source of this bug on my own. (Too in the weeds for me to work through right now, unfortunately.)
The validation section on constant expressions is structured like so:
Where did
valcome from? It links to #syntax-val, which is obviously wrong. Unfortunately, since this prose is generated by SpecTec, I have been unable to track down the source of this bug on my own. (Too in the weeds for me to work through right now, unfortunately.)