From 6a7fe0898a2bde8abd3c28697e28c9fc0cb1e7b2 Mon Sep 17 00:00:00 2001 From: zinc Date: Wed, 14 Oct 2026 20:03:11 +0330 Subject: explain-checks: the record writer moves to src/lib/explain.zc, embedded and compiled only in that mode; the genome keeps the call sites and a hook --- src/compiler/base.zc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/compiler/base.zc') diff --git a/src/compiler/base.zc b/src/compiler/base.zc index f2bfeca..b326c80 100644 --- a/src/compiler/base.zc +++ b/src/compiler/base.zc @@ -331,7 +331,7 @@ const int LPI_N = 64, LPI_W = 60; word lpinfo; // allocated at the first loop // --explain-checks: on, the unit's source (to turn offsets into columns), its // file name and the function being compiled -int xc_on; word xc_src; char* xc_fn = ""; char* xc_file = ""; +int xc_on; word xc_src; char* xc_fn = ""; char* xc_file = ""; int xc_hook; // names body_scan looks for int sx_push, sx_pop, sx_resize, sx_defer, sx_asm, sx_quote, sx_new, sx_int, sx_char, sx_bool, sx_float, sx_if, sx_else, sx_while, sx_for, sx_switch, sx_do; // local lower bound / len(array); one proof record per live loop -- cgit v1.2.3