feat: type SQL macro calls everywhere, with optional returns, TYPE OF, ANY families and __cte by kvlonge · Pull Request #1247 · sqlstack-io/sqlbuild

chore: adopt the typed expression marker in Polyglot and reserve its name

kvlonge

committed

d2f21de

feat: record where each expression SQL macro call lands in the compiled query

kvlonge

committed

11663a2

feat: analyse a typed SQL macro call through an analysis-only marker

kvlonge

committed

fa2cc86

refactor: type SQL macro calls through analysis markers

kvlonge

committed

9a5dc94

feat: make SQL macro returns optional and check it against the body

kvlonge

committed

531a0c0

feat: name the CTEs of a CTE-list macro call with __cte

kvlonge

committed

1af53fe

feat: add returns TYPE OF and ANY type families to SQL macros

kvlonge

committed

e97e7a0

fix: re-type models with typed markers once their inputs are known

kvlonge

committed

ea4a716

test: cover SQL macro call typing in every query position

kvlonge

committed

65e16f0

docs: describe SQL macro result types, TYPE OF, ANY families and __cte

kvlonge

committed

1c5fb1e

build: point polyglot at the typed markers rebased onto upstream 0.13.4

kvlonge

committed

f87cb95

refactor: fit SQL macro typing to the architecture and test-shape checks

kvlonge

committed

69e7102

fix: keep normalizing decimal types wider than the dialect holds

kvlonge

committed

5072a63

test: keep the invalid macro inventory case invalid now that returns is optional

kvlonge

committed

a532c13

test: record compiler goldens for the SQL macro returns and family checks

kvlonge

committed

9b9e9cb

fix: skip the returns check when a body calls a function of unknown type

kvlonge

committed

74fe17b

fix: judge a whole typed SQL macro call by its returns, not its body's cast

kvlonge

committed

32cd1f1

build: point polyglot at the typed markers with transparent grouping and shape-aware refinement

kvlonge

committed

20b4d17

fix: skip the returns check where a body's type is only a guess

kvlonge

committed

376a05e

test: cover grouping keys written through typed SQL macro calls

kvlonge

committed

aff024d

fix: rename __cte references by the CTE each name binds to in its scope

kvlonge

committed

d9e4f74

fix: check returns against the shape of a partly unknown macro body

kvlonge

committed

a6c38b4

fix: leave a SQL macro call unmarked where a marker would break parsing

kvlonge

committed

a7988be

fix: validate SQL macro returns types for every adapter

kvlonge

committed

98359d0

fix: reject a SQL macro returns decimal the dialect cannot hold

kvlonge

committed

59f5ea2

docs: describe shape-aware returns, returns validation and scoped __cte renaming

kvlonge

committed

ce6abf4

fix: never let a typed marker change how a SQL macro call's position parses

kvlonge

committed

51ae569

fix: resolve __cte references in parenthesised joins and CTEs that read the name they shadow

kvlonge

committed

b7606b5

Merge branch 'main' into feat/sql-macro-typing

kvlonge

authored

fb843c8

Navigation Menu

Repository navigation

feat: type SQL macro calls everywhere, with optional returns, TYPE OF, ANY families and __cte - #1247

feat: type SQL macro calls everywhere, with optional returns, TYPE OF, ANY families and __cte#1247
kvlonge merged 29 commits into
mainfrom
feat/sql-macro-typing

Commits on Oct 24, 2026

chore: adopt the typed expression marker in Polyglot and reserve its name

feat: record where each expression SQL macro call lands in the compiled query

feat: analyse a typed SQL macro call through an analysis-only marker

refactor: type SQL macro calls through analysis markers

feat: make SQL macro returns optional and check it against the body

feat: name the CTEs of a CTE-list macro call with __cte

feat: add returns TYPE OF and ANY type families to SQL macros

fix: re-type models with typed markers once their inputs are known

test: cover SQL macro call typing in every query position

docs: describe SQL macro result types, TYPE OF, ANY families and __cte

build: point polyglot at the typed markers rebased onto upstream 0.13.4

refactor: fit SQL macro typing to the architecture and test-shape checks

fix: keep normalizing decimal types wider than the dialect holds

test: keep the invalid macro inventory case invalid now that returns is optional

test: record compiler goldens for the SQL macro returns and family checks

fix: skip the returns check when a body calls a function of unknown type

fix: judge a whole typed SQL macro call by its returns, not its body's cast

build: point polyglot at the typed markers with transparent grouping and shape-aware refinement

fix: skip the returns check where a body's type is only a guess

test: cover grouping keys written through typed SQL macro calls

fix: rename __cte references by the CTE each name binds to in its scope

fix: check returns against the shape of a partly unknown macro body

fix: leave a SQL macro call unmarked where a marker would break parsing

fix: validate SQL macro returns types for every adapter

fix: reject a SQL macro returns decimal the dialect cannot hold

docs: describe shape-aware returns, returns validation and scoped __cte renaming

fix: never let a typed marker change how a SQL macro call's position parses

fix: resolve __cte references in parenthesised joins and CTEs that read the name they shadow

Merge branch 'main' into feat/sql-macro-typing