2012-03-31

(be) is return statement for declare blocks

3.20: adda/cstr/declare expression/be stmt:
. adda's declare blocks can be expressions,
so they should have their own return stmt
that means what the declare block is returning
rather than what the enclosing function is returning .