[Oberon] Multiple RETURN in a procedure
fusionfile at gmail.com
Sun Oct 23 16:43:27 CEST 2022
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?
More information about the Oberon