1.2.0 rc: parser as WebAssembly (no cgo), PostgreSQL 18 parser embedded by kr9ly · Pull Request #1 · kr9ly/sqlshape

CI: go test -count=1 for the coverage profile — a cached test result replays a profile with block positions from an earlier build of the packages it covers but does not depend on, and the merged to…

kr9ly

committed

5b138b1

one catalog, one oracle, one regress probe per PostgreSQL major version — internal/catalog/data/<major>/ (catalog.Load(major); 18 generated from 18.3 with all 16 extension dumps), oracle.StartVersi…

kr9ly

committed

bd69f65

design: MySQL — the parser is generated from MySQL's own sql_yacc.yy with the C++ actions stripped (one grammar per version, as with libpg_query), the lexer is rewritten, the catalog of built-in fu…

kr9ly

committed

3f9dcb5

design: MySQL — the lexer is extracted too, not rewritten: lex_one_token reads five pieces of server state (sql_mode, default_collation_for_utf8mb4, the connection charset, comment collection, a de…

kr9ly

committed

ef99e9c

design: MySQL — the built-in function catalog is extracted too: item_create.cc's func_array (347 names with arities), the 81 keyword functions in sql_yacc.yy's actions, the Item class hierarchy for…

kr9ly

committed

83f1cd9

design: MySQL support ships as a separate GPLv2 module, sqlshape-mysql — the MySQL server is GPLv2 and cannot be combined with the Apache 2.0 sqlshape; the runtime users link stays Apache, the pars…

kr9ly

committed

6f08f1a

PostgreSQL 18 DDL loads: named NOT NULL constraints (CONSTRAINT nn NOT NULL col, dropped by DROP CONSTRAINT), ENFORCED / NOT ENFORCED on CHECK and FOREIGN KEY (Constraint.NotEnforced — a NOT ENFORC…

kr9ly

committed

556ca57

RETURNING old / new (PostgreSQL 18): the row before and after the write, and the aliases of RETURNING WITH (OLD AS o, NEW AS n), resolve as row variables — reached only by a qualified reference (ol…

kr9ly

committed

89e9527

PostgreSQL 18: an abbreviation the session time zone itself uses (LMT before the zone's first transition) is a valid zone in a datetime literal, as 18 accepts it; and the 18 regress probe has its b…

kr9ly

committed

0cb48a0

schema.sql must declare its PostgreSQL version: ReadSource refuses a file without `-- sqlshape: postgres N` (schema text built in code keeps pgparse.Default), and the migration side follows the dec…

kr9ly

committed

19cb556

PostgreSQL 18's new checks, judged as 18 does and as 17 did: a JSON_VALUE DEFAULT whose collation is not the RETURNING type's (42P21; a domain now carries its COLLATE, and a cast to it takes it), a…

kr9ly

committed

b01ebbd

gofmt

kr9ly

committed

2162eea

release: one job cross-compiles every target — linux, darwin and windows, amd64 and arm64 each (Windows and Intel macOS are new; a plain Go build needs no per-platform runner) — packs tar.gz / zip,…

kr9ly

committed

90ea8f4

a temporal key (WITHOUT OVERLAPS, PostgreSQL 18) proves a single row when its scalar columns are fixed by equality and its range column equals a known value or contains a known point of the element…

kr9ly

committed

29cc708

diff / apply / verify-schema warn on stderr when the database runs another PostgreSQL major version than schema.sql declares — the DDL is still derived and judged by the declared version's rules, a…

kr9ly

committed

714aeda

design: PostgreSQL version support is a decision, not an open item — schema.sql declares the version (required), one parser / catalog / oracle / corpus per major version, one set of node types read…

kr9ly

committed

e4e55e8

READMEs: the oracle runs one release per major version (StartVersion, per-release cache), the regress probe follows SQLSHAPE_PG with a baseline per version, the PG 17 MERGE crash skip is 17-only

kr9ly

committed

1f347fc

CHANGELOG: 1.2.0 — PostgreSQL 18 and the version declaration, the parser as WebAssembly, prebuilt binaries for six platforms, the temporal One proof; fixed: DISTINCT ON matched by expression, the g…

kr9ly

committed

5941783

README: install — Go 1.26+, the prebuilt binaries by name, what the first run downloads and caches (the wasm module for the checker; a PostgreSQL only for pgtest and the migration commands)

kr9ly

committed

1639f24

README.ja: install — no cgo, the prebuilt binaries by name, what the first run caches; the quickstart schema declares its version

kr9ly

committed

444f472

README / README.ja: compatibility — 17 and 18, the parser is PostgreSQL's own so the syntax is, and the regress numbers per version (19 of 22,103 on 17, 31 of 23,384 on 18, every one listed)

kr9ly

committed

09fc6ec

checks.md / checks.ja.md: RETURNING old after an INSERT and new after a DELETE may be NULL whatever the column declares; a NOT ENFORCED constraint is no failure mode

kr9ly

committed

0e7ee90

Navigation Menu

Repository navigation

1.2.0 rc: parser as WebAssembly (no cgo), PostgreSQL 18 parser embedded - #1

1.2.0 rc: parser as WebAssembly (no cgo), PostgreSQL 18 parser embedded#1
kr9ly merged 27 commits into
mainfrom
v1.2.0-rc1

Commits on Sep 8, 2026

internal/pgparse: the parser is libpg_query 17-6.2.2 compiled to WebAssembly and run by wazero — Parse / Deparse / SplitWithScanner / ParsePlPgSqlToJSON with pg_query_go's signatures, one pooled in…

no cgo: the node types are generated from libpg_query's pg_query.proto into internal/pgparse (pgparse.Node, pgparse.ParseResult, ...), pg_query_go is gone from go.mod, and the binary builds with CG…

pgparse: the PostgreSQL 18 parser (libpg_query 18.0.0) is embedded beside 17 — pgparse.PG17 / PG18, Default = PG17 until the rest of sqlshape supports 18 — and every version's tree is read from the…

CI: the generated protobuf node types (internal/pgparse/pg_query.pb.go) are dropped from the coverage profile — 40k lines of accessors pulled the total from 93% to 69% and tripped the 90% gate

schema.sql declares its PostgreSQL version — `-- sqlshape: postgres 18`, anywhere in the file — and every statement, the schema's own DDL and the application's SQL, is parsed with that version's gr…

Commits on Sep 9, 2026

CI: go test -count=1 for the coverage profile — a cached test result replays a profile with block positions from an earlier build of the packages it covers but does not depend on, and the merged to…

one catalog, one oracle, one regress probe per PostgreSQL major version — internal/catalog/data/<major>/ (catalog.Load(major); 18 generated from 18.3 with all 16 extension dumps), oracle.StartVersi…

design: MySQL — the parser is generated from MySQL's own sql_yacc.yy with the C++ actions stripped (one grammar per version, as with libpg_query), the lexer is rewritten, the catalog of built-in fu…

design: MySQL — the lexer is extracted too, not rewritten: lex_one_token reads five pieces of server state (sql_mode, default_collation_for_utf8mb4, the connection charset, comment collection, a de…

design: MySQL — the built-in function catalog is extracted too: item_create.cc's func_array (347 names with arities), the 81 keyword functions in sql_yacc.yy's actions, the Item class hierarchy for…

design: MySQL support ships as a separate GPLv2 module, sqlshape-mysql — the MySQL server is GPLv2 and cannot be combined with the Apache 2.0 sqlshape; the runtime users link stays Apache, the pars…

PostgreSQL 18 DDL loads: named NOT NULL constraints (CONSTRAINT nn NOT NULL col, dropped by DROP CONSTRAINT), ENFORCED / NOT ENFORCED on CHECK and FOREIGN KEY (Constraint.NotEnforced — a NOT ENFORC…

RETURNING old / new (PostgreSQL 18): the row before and after the write, and the aliases of RETURNING WITH (OLD AS o, NEW AS n), resolve as row variables — reached only by a qualified reference (ol…

PostgreSQL 18: an abbreviation the session time zone itself uses (LMT before the zone's first transition) is a valid zone in a datetime literal, as 18 accepts it; and the 18 regress probe has its b…

schema.sql must declare its PostgreSQL version: ReadSource refuses a file without `-- sqlshape: postgres N` (schema text built in code keeps pgparse.Default), and the migration side follows the dec…

PostgreSQL 18's new checks, judged as 18 does and as 17 did: a JSON_VALUE DEFAULT whose collation is not the RETURNING type's (42P21; a domain now carries its COLLATE, and a cast to it takes it), a…

gofmt

release: one job cross-compiles every target — linux, darwin and windows, amd64 and arm64 each (Windows and Intel macOS are new; a plain Go build needs no per-platform runner) — packs tar.gz / zip,…

a temporal key (WITHOUT OVERLAPS, PostgreSQL 18) proves a single row when its scalar columns are fixed by equality and its range column equals a known value or contains a known point of the element…

diff / apply / verify-schema warn on stderr when the database runs another PostgreSQL major version than schema.sql declares — the DDL is still derived and judged by the declared version's rules, a…

design: PostgreSQL version support is a decision, not an open item — schema.sql declares the version (required), one parser / catalog / oracle / corpus per major version, one set of node types read…

READMEs: the oracle runs one release per major version (StartVersion, per-release cache), the regress probe follows SQLSHAPE_PG with a baseline per version, the PG 17 MERGE crash skip is 17-only

CHANGELOG: 1.2.0 — PostgreSQL 18 and the version declaration, the parser as WebAssembly, prebuilt binaries for six platforms, the temporal One proof; fixed: DISTINCT ON matched by expression, the g…

README: install — Go 1.26+, the prebuilt binaries by name, what the first run downloads and caches (the wasm module for the checker; a PostgreSQL only for pgtest and the migration commands)

README.ja: install — no cgo, the prebuilt binaries by name, what the first run caches; the quickstart schema declares its version

README / README.ja: compatibility — 17 and 18, the parser is PostgreSQL's own so the syntax is, and the regress numbers per version (19 of 22,103 on 17, 31 of 23,384 on 18, every one listed)

checks.md / checks.ja.md: RETURNING old after an INSERT and new after a DELETE may be NULL whatever the column declares; a NOT ENFORCED constraint is no failure mode