[Oberon] Multiple RETURN in a procedure
dsar at eml.cc
Sun Oct 23 17:43:54 CEST 2022
On Sun, Oct 23, 2022, at 4:43 PM, August Karlstrom wrote:
> 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?
If your procedure exits in N different ways, you have N postconditions to evaluate.
More information about the Oberon