Skip to content

name the real database driver modules in std.sql's header - #640

Merged
kacy merged 1 commit into
mainfrom
sql-module-paths
Aug 3, 2026
Merged

name the real database driver modules in std.sql's header#640
kacy merged 1 commit into
mainfrom
sql-module-paths

Conversation

@kacy

@kacy kacy commented Aug 2, 2026

Copy link
Copy Markdown
Owner

std/sql.pith's header sent readers to std.sql.sqlite and std.sql.postgres. neither has ever existed — there is no sqlite driver anywhere in the tree, and the postgres and mysql drivers live one level up from std.sql rather than under it.

worse than a broken pointer, the wrong path hid a distinction that matters. there are two layers:

  • std.postgres, std.mysql — the wire-protocol clients, where you hold the connection
  • std.db.postgres, std.db.mysql — pooled behind a url, the way std.web sits above std.net.http, so many green tasks share one handle

the header now names those four and says which to reach for. docs/db.md already described the layering correctly, so this is the module comment catching up to the docs rather than a change of story.

comment-only; no code moved and no signature changed.

what was tested

  • module tests: std/sql.pith 6, std/db.pith 8, std/postgres.pith 6, std/mysql.pith 5 — all 0 failed
  • make run-regressions-only: 303 passed, 0 failed
  • pith_main doc --check std/sql.pith: ok

the header sent readers to std.sql.sqlite and std.sql.postgres. neither
has ever existed: there is no sqlite driver, and the postgres and mysql
drivers live one level up from std.sql rather than under it, in two
layers — std.postgres and std.mysql hold a connection you manage, while
std.db.postgres and std.db.mysql pool them behind a url the way std.web
sits above std.net.http.

the header now names those four and says which to reach for. docs/db.md
already had this right, so this is the module comment catching up to it.
@kacy
kacy merged commit 390b784 into main Aug 3, 2026
2 checks passed
@kacy
kacy deleted the sql-module-paths branch August 3, 2026 17:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant