tests/iii/missing-then/notes.md


1
2
3
4
5


# missing-then

CIE p. 18 IF requires THEN.

Require exit 1, the stated cause and source line on the same diagnostic, exactly one compilation termination line, and preservation of absent/existing outputs for both native and IR requests. Missing block delimiters are located at EOF (the line after the final newline).