Bump yoga-sql-types to 0.2 and heterogeneous to 0.7 - #1
Merged
afcondon merged 1 commit intoMay 30, 2026
Merged
Conversation
yoga-postgres pinned yoga-sql-types >=0.1.0 <0.2.0 (the heterogeneous 0.6 line), which prevents it co-installing with current package sets that ship yoga-sql-types 0.2 / heterogeneous 0.7. The consumed API surface is unchanged across the bump: yoga-postgres uses only `class HFoldlWithIndex` from heterogeneous (byte-identical 0.6->0.7, which is purely additive) and `Yoga.SQL.PostgresTypes` from yoga-sql-types (byte-identical 0.1.0->0.2.0), so the library itself needs no source changes. Regenerating the lock also pulls yoga-test-docker 0.1.2, which newtyped ComposeFile/Timeout; updated the two integration-test call sites to match. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
afcondon
added a commit
to afcondon/notothenia
that referenced
this pull request
May 30, 2026
Establishes the continuously-built home for the type-level extension- ladder work (migration-breaks-a-query, compile-time dead columns), which depends on yoga and so can't live in dependency-free minard-db. - New workspace package `minard-bridge` (bridge/) depends on yoga-postgres consumed from GitHub via a git extraPackage pinned to the merge commit of the harmonization PR (rowtype-yoga/purescript-yoga-postgres#1) — no registry publish needed. - Package set 73.3.0 resolves all of yoga-postgres's transitive deps (heterogeneous 0.7, yoga-sql-types 0.2, ...) with zero overrides. - bridge/src/Smoke.purs compiles a typed Q query whose explicit signature documents where the rung-3/4 signals live: result row = projection reach, params row = WHERE params typed to their columns. minard-db itself stays yoga-dependency-free. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
Forward-ports two dependency bounds:
heterogeneous>=0.6.0 <0.7.0→>=0.7.0 <0.8.0yoga-sql-types>=0.1.0 <0.2.0→>=0.2.0 <0.3.0Why
yoga-postgres 0.3.0 still pins the old
yoga-sql-types0.1 /heterogeneous0.6 line, so it can't co-install with current package sets that shipyoga-sql-types0.2 /heterogeneous0.7.Why it's safe
The library's entire surface on these two packages is unchanged across the bump, so no source changes are needed:
class HFoldlWithIndex(inTypedQuery.purs).Heterogeneous.Foldingis byte-identical between 0.6.0 and 0.7.0; the only change in 0.7 is an additiveHeterogeneous.Variadicmodule.Yoga.SQL.PostgresTypes (class ToSQLParam, SQLParameter, SQLQuery, TurnIntoSQLParam, argsFor, sqlQueryToString), and bothYoga.SQL.TypesandYoga.SQL.PostgresTypesare byte-identical between 0.1.0 and 0.2.0.Test note
Regenerating the lock also pulled
yoga-test-docker0.1.2, which newtypedComposeFile/Timeout. I updated the two integration-test call sites intest/Main.pursto match (the 30s startup wait is nowTimeout (Milliseconds 30000.0)).spago buildis green for both the library and the test.🤖 Generated with Claude Code