$*binode
// This scope is closed in CondStatement
- WhilePart -> while UseBlock OptNL do Block ${
+ WhilePart -> while UseBlock OptNL do OpenBlock ${
$0 = new(binode);
$0->op = Loop;
$0->left = $<UB;
- $0->right = $<Bl;
+ $0->right = $<OB;
+ var_block_close(c, CloseSequential);
var_block_close(c, CloseSequential);
}$
- | while OpenScope Expression ColonBlock ${
+ | while OpenScope Expression OpenScope ColonBlock ${
$0 = new(binode);
$0->op = Loop;
$0->left = $<Exp;
$0->right = $<CB;
var_block_close(c, CloseSequential);
+ var_block_close(c, CloseSequential);
}$
$cond_statement