[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Calling procedures in the body of "with"


Why aren’t labels allowed in the body of a “with” statement? Can I use the following trick to work around this limitation?

with (_k \in myset) k := _k;
call doSthWith(k);
LBL:  call doMoreWith(k);

Is there a better way to do this? Thanks!