[Oberon] Multiple RETURN in a procedure

[Diego Sardina]

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.

--
  Diego Sardina