[Oberon] Multiple RETURN in a procedure

August Karlstrom 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?

-- August

More information about the Oberon mailing list