There are leftovers of C_Clos, and also it makes sense to emphasize that programs can contain loops. Technically, abstract syntax of C_if language also allows loops, but since the programs in this language are generated by the compiler itself, they do not have loops.
As usual, please feel free to close this PR and correct the text in a better way. Would you please also take a look at Figure 5.7 with the abstract syntax of \LangCLoop{}, which has extra term def (it belongs to functions, apparently).
jsiek
commented
2 years ago
There are leftovers of
C_Clos, and also it makes sense to emphasize that programs can contain loops. Technically, abstract syntax ofC_iflanguage also allows loops, but since the programs in this language are generated by the compiler itself, they do not have loops.As usual, please feel free to close this PR and correct the text in a better way. Would you please also take a look at Figure 5.7 with the abstract syntax of
\LangCLoop{}, which has extra termdef(it belongs to functions, apparently).