[Oberon] Multiple RETURN in a procedure

[August Karlstrom]

On 2022-10-23 06:04, Skulski, Wojciech wrote:
> Could you please remind me why multiple RETURNs were so wrong that
> they are now forbidden? What is the overwhelming benefit of
> disallowing multiple RETURNs, that is justifying breaking perfectly
> valid code?

How do you add your postconditions to a procedure with multiple returns?


-- August