From a98fad877fa9ddacb32898b01e23d588f8df04aa Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Mon, 23 Mar 2026 23:28:05 -0300 Subject: Constraint walker and polarity analysis - Polarity analysis walker on Constraint.t AST - Cascade constraint re-checking on DELETE and INSERT - Focused filtering to narrow re-checks to affected tuples only - Universal variable substitution for targeted constraint re-evaluation - Constant discovery for early bail-out (trigger_constants) - Deferred constraint timing with commit boundary - attach_constraint and commit API in Manipulation - extend_tuple namespacing fix (variable.attr convention) - History capping at 128 entries in Database.update_state - Benchmark binary (bin/bench.ml) - Design doc (docs/incremental_constraint_checking.org) --- bin/server.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'bin/server.ml') diff --git a/bin/server.ml b/bin/server.ml index 80f392b..5a59e2e 100644 --- a/bin/server.ml +++ b/bin/server.ml @@ -154,11 +154,11 @@ let print_with_time str = let tm = Unix.localtime now in let orange = "\027[38;5;208m" in let reset = "\027[0m" in - let formatted_time = + let formatted_time = Printf.sprintf "%04d-%02d-%02d %02d:%02d:%02d" (tm.Unix.tm_year + 1900) (tm.Unix.tm_mon + 1) tm.Unix.tm_mday tm.Unix.tm_hour tm.Unix.tm_min tm.Unix.tm_sec - in + in print_endline @@ Printf.sprintf "%s[%s]%s %s" orange formatted_time reset str (* TODO: single-threaded accept loop — one slow or hung client blocks all -- cgit v1.2.3