ocaml-sql/lib/ at main · gazagnaire.org/ocaml-sql · Tangled

gazagnaire.org / ocaml-sql

0

SQL frontend over the catalog engine

0

ocaml-sql / lib

1 folder 24 files

at main

Thomas Gazagnaire sql: give the AST value and expression types their own equality 9d ago

console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.

2 weeks ago

sql: give the AST value and expression types their own equality The lowerer matched GROUP BY keys with the polymorphic (=) on an Ast.expr, and the tree-walker tested a comparison's result with (=) on an Ast.value. Both walk the runtime representation of a type whose owner is Ast, and on an expression tree that representation includes a float: a nan literal compares unequal to itself, so a GROUP BY key holding one could never match. Ast now exposes equal_value -- the engine core's Catalog.Value.equal, which compares floats by bit pattern -- and equal_expr, spelled out node by node over the whole query tree so a literal goes through equal_value and a new constructor is a compile error here rather than a silent hole.

1 week ago

sql: give the AST value and expression types their own equality The lowerer matched GROUP BY keys with the polymorphic (=) on an Ast.expr, and the tree-walker tested a comparison's result with (=) on an Ast.value. Both walk the runtime representation of a type whose owner is Ast, and on an expression tree that representation includes a float: a nan literal compares unequal to itself, so a GROUP BY key holding one could never match. Ast now exposes equal_value -- the engine core's Catalog.Value.equal, which compares floats by bit pattern -- and equal_expr, spelled out node by node over the whole query tree so a literal goes through equal_value and a new constructor is a compile error here rather than a silent hole.

1 week ago

*: relicense author-original packages MIT -> ISC Standardise on ISC (matching irmin and mirage, and the repo majority): flip (license MIT) to (license ISC) in each dune-project, regenerate the opam files, swap LICENSE.md to the ISC text, and update the SPDX-License-Identifier headers. memtrace and ocaml-xdg keep their license: they are vendored Jane Street code, not ours to relicense.

1 month ago

*: relicense author-original packages MIT -> ISC Standardise on ISC (matching irmin and mirage, and the repo majority): flip (license MIT) to (license ISC) in each dune-project, regenerate the opam files, swap LICENSE.md to the ISC text, and update the SPDX-License-Identifier headers. memtrace and ocaml-xdg keep their license: they are vendored Jane Street code, not ours to relicense.

1 month ago

sql: literal substring affinity test, no per-call regex compile Value_ops.contains_sub built and ran a fresh Re automaton (Re.(compile (str sub))) for a fixed needle, once per call. The affinity classifier calls it up to seven times per value, so a bulk INSERT compiled a regex per column per row. Profiling the speedtest1 bench (obs hotspots over a memtrace of 5000 inserts) put Re__Compile.delta / Re__Automata.delta and the automaton's internal Hashtbl.Make tables at the top; the whole regex machinery was about half of all allocation. Replace it with Astring.String.is_infix -- a literal substring scan needs no regex engine. Total allocation for the load drops 2.44 GB -> 1.18 GB with identical results (the sql + sqlite suites stay green).

4 weeks ago

*: relicense author-original packages MIT -> ISC Standardise on ISC (matching irmin and mirage, and the repo majority): flip (license MIT) to (license ISC) in each dune-project, regenerate the opam files, swap LICENSE.md to the ISC text, and update the SPDX-License-Identifier headers. memtrace and ocaml-xdg keep their license: they are vendored Jane Street code, not ours to relicense.

1 month ago

*: relicense author-original packages MIT -> ISC Standardise on ISC (matching irmin and mirage, and the repo majority): flip (license MIT) to (license ISC) in each dune-project, regenerate the opam files, swap LICENSE.md to the ISC text, and update the SPDX-License-Identifier headers. memtrace and ocaml-xdg keep their license: they are vendored Jane Street code, not ours to relicense.

1 month ago

*: relicense author-original packages MIT -> ISC Standardise on ISC (matching irmin and mirage, and the repo majority): flip (license MIT) to (license ISC) in each dune-project, regenerate the opam files, swap LICENSE.md to the ISC text, and update the SPDX-License-Identifier headers. memtrace and ocaml-xdg keep their license: they are vendored Jane Street code, not ours to relicense.

1 month ago

*: relicense author-original packages MIT -> ISC Standardise on ISC (matching irmin and mirage, and the repo majority): flip (license MIT) to (license ISC) in each dune-project, regenerate the opam files, swap LICENSE.md to the ISC text, and update the SPDX-License-Identifier headers. memtrace and ocaml-xdg keep their license: they are vendored Jane Street code, not ours to relicense.

1 month ago

*: relicense author-original packages MIT -> ISC Standardise on ISC (matching irmin and mirage, and the repo majority): flip (license MIT) to (license ISC) in each dune-project, regenerate the opam files, swap LICENSE.md to the ISC text, and update the SPDX-License-Identifier headers. memtrace and ocaml-xdg keep their license: they are vendored Jane Street code, not ours to relicense.

1 month ago

*: relicense author-original packages MIT -> ISC Standardise on ISC (matching irmin and mirage, and the repo majority): flip (license MIT) to (license ISC) in each dune-project, regenerate the opam files, swap LICENSE.md to the ISC text, and update the SPDX-License-Identifier headers. memtrace and ocaml-xdg keep their license: they are vendored Jane Street code, not ours to relicense.

1 month ago

Split SQL frontend from sqlite backend

1 month ago

*: relicense author-original packages MIT -> ISC Standardise on ISC (matching irmin and mirage, and the repo majority): flip (license MIT) to (license ISC) in each dune-project, regenerate the opam files, swap LICENSE.md to the ISC text, and update the SPDX-License-Identifier headers. memtrace and ocaml-xdg keep their license: they are vendored Jane Street code, not ours to relicense.

1 month ago

sql: give the AST value and expression types their own equality The lowerer matched GROUP BY keys with the polymorphic (=) on an Ast.expr, and the tree-walker tested a comparison's result with (=) on an Ast.value. Both walk the runtime representation of a type whose owner is Ast, and on an expression tree that representation includes a float: a nan literal compares unequal to itself, so a GROUP BY key holding one could never match. Ast now exposes equal_value -- the engine core's Catalog.Value.equal, which compares floats by bit pattern -- and equal_expr, spelled out node by node over the whole query tree so a literal goes through equal_value and a new constructor is a compile error here rather than a silent hole.

1 week ago

ocaml-sql: relicense to ISC and factor collation comparison

1 month ago

*: relicense author-original packages MIT -> ISC Standardise on ISC (matching irmin and mirage, and the repo majority): flip (license MIT) to (license ISC) in each dune-project, regenerate the opam files, swap LICENSE.md to the ISC text, and update the SPDX-License-Identifier headers. memtrace and ocaml-xdg keep their license: they are vendored Jane Street code, not ours to relicense.

1 month ago

sql: give the AST value and expression types their own equality The lowerer matched GROUP BY keys with the polymorphic (=) on an Ast.expr, and the tree-walker tested a comparison's result with (=) on an Ast.value. Both walk the runtime representation of a type whose owner is Ast, and on an expression tree that representation includes a float: a nan literal compares unequal to itself, so a GROUP BY key holding one could never match. Ast now exposes equal_value -- the engine core's Catalog.Value.equal, which compares floats by bit pattern -- and equal_expr, spelled out node by node over the whole query tree so a literal goes through equal_value and a new constructor is a compile error here rather than a silent hole.

1 week ago

ocaml-sql: compile aggregates over the rowid keyword aggregate_compilable excluded any select whose projection, HAVING, GROUP BY, or ORDER BY referenced rowid, so count(rowid) / min/max(rowid) with a WHERE or GROUP BY were routed to the plain scan, which lowers the aggregate as a scalar and raises "count() ... only valid as a select item". But the aggregate scan already carries the implicit rowid column (rowid_sentinel) like any base-table scan, so it binds rowid fine -- the exclusion (a conservative default from the frontend/backend split) was just steering these to the crashing path. catalog_aggregate still catches Catalog.Ir.Unsupported for any genuinely uncompilable shape. Drop the exclusion. count(rowid), min/max(rowid) over a filtered range, count per group, GROUP BY rowid, and HAVING over an aggregate of rowid now return the correct result (test landed in the preceding commit).

1 month ago

*: relicense author-original packages MIT -> ISC Standardise on ISC (matching irmin and mirage, and the repo majority): flip (license MIT) to (license ISC) in each dune-project, regenerate the opam files, swap LICENSE.md to the ISC text, and update the SPDX-License-Identifier headers. memtrace and ocaml-xdg keep their license: they are vendored Jane Street code, not ours to relicense.

1 month ago

*: relicense author-original packages MIT -> ISC Standardise on ISC (matching irmin and mirage, and the repo majority): flip (license MIT) to (license ISC) in each dune-project, regenerate the opam files, swap LICENSE.md to the ISC text, and update the SPDX-License-Identifier headers. memtrace and ocaml-xdg keep their license: they are vendored Jane Street code, not ours to relicense.

1 month ago

sql: give the AST value and expression types their own equality The lowerer matched GROUP BY keys with the polymorphic (=) on an Ast.expr, and the tree-walker tested a comparison's result with (=) on an Ast.value. Both walk the runtime representation of a type whose owner is Ast, and on an expression tree that representation includes a float: a nan literal compares unequal to itself, so a GROUP BY key holding one could never match. Ast now exposes equal_value -- the engine core's Catalog.Value.equal, which compares floats by bit pattern -- and equal_expr, spelled out node by node over the whole query tree so a literal goes through equal_value and a new constructor is a compile error here rather than a silent hole.

1 week ago

*: relicense author-original packages MIT -> ISC Standardise on ISC (matching irmin and mirage, and the repo majority): flip (license MIT) to (license ISC) in each dune-project, regenerate the opam files, swap LICENSE.md to the ISC text, and update the SPDX-License-Identifier headers. memtrace and ocaml-xdg keep their license: they are vendored Jane Street code, not ours to relicense.

1 month ago

sql: literal substring affinity test, no per-call regex compile Value_ops.contains_sub built and ran a fresh Re automaton (Re.(compile (str sub))) for a fixed needle, once per call. The affinity classifier calls it up to seven times per value, so a bulk INSERT compiled a regex per column per row. Profiling the speedtest1 bench (obs hotspots over a memtrace of 5000 inserts) put Re__Compile.delta / Re__Automata.delta and the automaton's internal Hashtbl.Make tables at the top; the whole regex machinery was about half of all allocation. Replace it with Astring.String.is_infix -- a literal substring scan needs no regex engine. Total allocation for the load drops 2.44 GB -> 1.18 GB with identical results (the sql + sqlite suites stay green).

4 weeks ago

ocaml-sql: relicense to ISC and factor collation comparison

1 month ago