Calling procedures in the body of "with"
19 views
Skip to first unread message
Yan Li
Aug 12, 2015, 6:26:59 PM8/12/15
to tla...@googlegroups.com
Hello,
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!
—
Elliot
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!
—
Elliot
Reply all
Reply to author
Forward
0 new messages