Skip to content

docs: numeric input, ALTER EXTENSION - #5

Merged
villagesql-adam merged 1 commit into
mainfrom
adam/readme-audit-fixes
Aug 10, 2026
Merged

docs: numeric input, ALTER EXTENSION#5
villagesql-adam merged 1 commit into
mainfrom
adam/readme-audit-fixes

Conversation

@villagesql-adam

Copy link
Copy Markdown
Member

The accepted-input table lists quoted strings and says nothing about bare numbers.
Replacing TINYINT(1)'s 1-and-0 booleans is the premise of this type, so unquoted 1
and 0 are the first thing anyone tries, and they are rejected outright rather than
coerced. The table now says so, with the contrast to TINYINT(1) spelled out.

"There is no ALTER EXTENSION command" is also wrong — the statement exists and
applies at the next restart, so the limitation is the restart, not the missing
command.

build.sh computed its job count as cores minus two, which is zero on a two-core
machine and fails before compiling.

The README also opened straight into a source build. vsql_boolean is bundled with the
server, so after an install-script, Docker or tarball install the veb is already
in lib/veb/ and INSTALL EXTENSION is all you need; building is the fallback for
a server built without the bundled extensions.

Verified on 8.4.10-villagesql-0.0.6-dev-ce44520bc0c, including INSTALL EXTENSION
from the bundled veb.

AI=CLAUDE

Corrections verified against a live 8.4.10-villagesql-0.0.6-dev server,
plus a note that the extension ships with the server so readers are not
sent into an unnecessary source build.

AI=CLAUDE
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

@villagedominic villagedominic left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@villagesql-adam
villagesql-adam merged commit e9e8ba8 into main Aug 10, 2026
5 checks passed
@villagesql-adam
villagesql-adam deleted the adam/readme-audit-fixes branch August 10, 2026 16:59
@github-actions github-actions Bot locked and limited conversation to collaborators Aug 10, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants