|
The reference manual could further explain that a label is allowed
just before a "end", even if there are local variables declared in the
block.
Also, the manual could show one or two examples for typical "continue"
or "redo" usage, as it is not trivial.