Do statement

[jprochazk]

do_stmt = 'do' ':' block

do:
  v := 0
  print v # prints `0`

print v # error: undeclared variable `v`

Semantics

Semantically equivalent to:

if true:
  <block>

The do statement allows opening a new scope. The main utility is in the control over scoping of variables. An example use case is temporarily shadowing variables:

v := test()
do:
  v := v.to_other_thing()
  use_other_thing(v)
i_still_want_to_use_the_original(v)