diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 10:39:47 +0000 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 10:39:47 +0000 |
| commit | 54b8a8918bb63c98a8f58e823033232243647562 (patch) | |
| tree | e0608f7dab1f568c22390262e5a6d39966519760 /src/compiler/analyzer.zc | |
| parent | todo: handoff section with state, conventions, in-flight work and architectur... (diff) | |
zc: add the defer statement
defer expr; and defer { ... } register code that runs when the enclosing
block ends: at the end of the block, and at return, break and continue
that leave it. the tokens are kept at the defer and compiled again at each
exit (block_close, body, kw_return, kw_break, kw_continue), newest first,
before the block's variables are released, so the analyzer sees a deferred
rt.free(p) as the transfer of p where it runs. names mean what they meant
at the defer; values are read when it runs. return, break and continue
inside a deferred statement are errors, reported once. works in unchecked
code and closures (own base per function context).
Diffstat (limited to 'src/compiler/analyzer.zc')
| -rw-r--r-- | src/compiler/analyzer.zc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/analyzer.zc b/src/compiler/analyzer.zc index 505ac09..8c63bdf 100644 --- a/src/compiler/analyzer.zc +++ b/src/compiler/analyzer.zc @@ -682,6 +682,7 @@ int local_hints(int from) { // object is an error, not a free. int block_close(int save) { int i = save, k; + defer_run(fdepth, 1); // deferred statements of this block, before its variables go af_close(save); local_hints(save); if (o3on) { |