sql: test ast, datetime, jsonval, render, value_op, value_ops
Add suites for the six untested modules: CREATE TABLE column classification, the deterministic date/time functions, the json1 value dialect, AST-to-SQL rendering, and the AST-keyed and AST-free value semantics (storage-class order, three-valued logic, affinity, LIKE/GLOB, aggregates).
sql: test ast, datetime, jsonval, render, value_op, value_ops
Add suites for the six untested modules: CREATE TABLE column classification, the deterministic date/time functions, the json1 value dialect, AST-to-SQL rendering, and the AST-keyed and AST-free value semantics (storage-class order, three-valued logic, affinity, LIKE/GLOB, aggregates).
sql: test ast, datetime, jsonval, render, value_op, value_ops
Add suites for the six untested modules: CREATE TABLE column classification, the deterministic date/time functions, the json1 value dialect, AST-to-SQL rendering, and the AST-keyed and AST-free value semantics (storage-class order, three-valued logic, affinity, LIKE/GLOB, aggregates).
sql: test ast, datetime, jsonval, render, value_op, value_ops
Add suites for the six untested modules: CREATE TABLE column classification, the deterministic date/time functions, the json1 value dialect, AST-to-SQL rendering, and the AST-keyed and AST-free value semantics (storage-class order, three-valued logic, affinity, LIKE/GLOB, aggregates).
sql: test ast, datetime, jsonval, render, value_op, value_ops
Add suites for the six untested modules: CREATE TABLE column classification, the deterministic date/time functions, the json1 value dialect, AST-to-SQL rendering, and the AST-keyed and AST-free value semantics (storage-class order, three-valued logic, affinity, LIKE/GLOB, aggregates).
sql: delete the tree-walker; SELECT runs on the backend-agnostic VM engine
Sql.Query.exec_select / exec_core (the recursive tree-walker SELECT executor)
are removed. Their replacement, Sql.Engine.run_select, runs the complete read
dialect -- joins, aggregates / GROUP BY / HAVING, windows, compounds, WITH
(incl. recursive), correlated and FROM-subqueries, VALUES and table-function
sources -- on the register VM over cursors built from any Query.catalog's rows,
reusing Lower + Catalog.Ir and the kept orchestration helpers (materialize_ctes,
combine_compound, aggregate_scan, substitute_scope). Because it is parameterised
only by Query.catalog, every Catalog.Spi backend gets the full dialect with no
per-backend executor.
Wiring:
- Engine installs run_select as the Query.cat_subquery_runner on load, so eval's
DML subqueries, CTE bodies, and recursive-CTE arms share it; ocaml-sqlite still
overrides with its btree-optimised dispatch and now falls back to run_select
(not the deleted tree-walker) for any shape that path does not compile.
- combine / bind_join_subqueries (kept for UPDATE ... FROM) materialise their
FROM-subqueries through the injected runner.
- ocaml-parquet and irmin's git_sql call Sql.Engine.run_select directly instead
of Query.exec_select.
- run_recursive runs its seed/arms through the runner.
Kept (shared with DML / the grouping & window post-passes): eval, combine,
core_rows, materialize_ctes, run_recursive, combine_compound, compound_order,
set_op, apply_limit, aggregate_scan, substitute_scope, the resolve passes.
Green: ocaml-sql 21, ocaml-catalog 58, ocaml-sqlite 409 + 36 interop, irmin-sql
7 + 3. A TWRAISE probe previously showed zero tree-walker reach; it is now gone.
sql: test ast, datetime, jsonval, render, value_op, value_ops
Add suites for the six untested modules: CREATE TABLE column classification, the deterministic date/time functions, the json1 value dialect, AST-to-SQL rendering, and the AST-keyed and AST-free value semantics (storage-class order, three-valued logic, affinity, LIKE/GLOB, aggregates).
sql: test ast, datetime, jsonval, render, value_op, value_ops
Add suites for the six untested modules: CREATE TABLE column classification, the deterministic date/time functions, the json1 value dialect, AST-to-SQL rendering, and the AST-keyed and AST-free value semantics (storage-class order, three-valued logic, affinity, LIKE/GLOB, aggregates).
sql: test ast, datetime, jsonval, render, value_op, value_ops
Add suites for the six untested modules: CREATE TABLE column classification, the deterministic date/time functions, the json1 value dialect, AST-to-SQL rendering, and the AST-keyed and AST-free value semantics (storage-class order, three-valued logic, affinity, LIKE/GLOB, aggregates).
sql: test ast, datetime, jsonval, render, value_op, value_ops
Add suites for the six untested modules: CREATE TABLE column classification, the deterministic date/time functions, the json1 value dialect, AST-to-SQL rendering, and the AST-keyed and AST-free value semantics (storage-class order, three-valued logic, affinity, LIKE/GLOB, aggregates).
sql: test ast, datetime, jsonval, render, value_op, value_ops
Add suites for the six untested modules: CREATE TABLE column classification, the deterministic date/time functions, the json1 value dialect, AST-to-SQL rendering, and the AST-keyed and AST-free value semantics (storage-class order, three-valued logic, affinity, LIKE/GLOB, aggregates).
sql: test ast, datetime, jsonval, render, value_op, value_ops
Add suites for the six untested modules: CREATE TABLE column classification, the deterministic date/time functions, the json1 value dialect, AST-to-SQL rendering, and the AST-keyed and AST-free value semantics (storage-class order, three-valued logic, affinity, LIKE/GLOB, aggregates).
sql: test ast, datetime, jsonval, render, value_op, value_ops
Add suites for the six untested modules: CREATE TABLE column classification, the deterministic date/time functions, the json1 value dialect, AST-to-SQL rendering, and the AST-keyed and AST-free value semantics (storage-class order, three-valued logic, affinity, LIKE/GLOB, aggregates).
sql: test ast, datetime, jsonval, render, value_op, value_ops
Add suites for the six untested modules: CREATE TABLE column classification, the deterministic date/time functions, the json1 value dialect, AST-to-SQL rendering, and the AST-keyed and AST-free value semantics (storage-class order, three-valued logic, affinity, LIKE/GLOB, aggregates).
gazagnaire.org