diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 18:22:04 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 20:03:38 +0330 |
| commit | 459b7661aaa0d65d01be064bd4b9976c4f045a5c (patch) | |
| tree | eccb0738631fc52e5116fb238c2f7f961784ff36 /src/compiler/setup.zc | |
| parent | zy: nonzero exit on compile errors (diff) | |
bounds: body scan, loop-entry hoisting, pointer proofs from requested size, --explain-checks v1 (non-o3 code)
Diffstat (limited to 'src/compiler/setup.zc')
| -rw-r--r-- | src/compiler/setup.zc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/compiler/setup.zc b/src/compiler/setup.zc index 26a18e0..ac455db 100644 --- a/src/compiler/setup.zc +++ b/src/compiler/setup.zc @@ -175,7 +175,9 @@ int start() { // a genome that carries the language server runs it instead of compiling stdin s = lookup(intern("lsp.lsp_main")); if (s >= 0 && skind[s] == K_FN && (sflag[s] & F_DEF)) { f = sval[s]; f(); rt.halt(); } + xc_init(); unit_stdin(); + if (xc_on) rt.halt(); // --explain-checks: the records are out; main does not run if (here > ptop) ptop = here; rt.scrub(); // compilation's stale words would keep quarantined blocks alive rt.gc(); |