Skip to content

State the trgeometry scope the parameter types do not name - #114

Merged
estebanzimanyi merged 1 commit into
MobilityDB:masterfrom
estebanzimanyi:fix/rgeo-type-scope
Sep 2, 2026
Merged

State the trgeometry scope the parameter types do not name#114
estebanzimanyi merged 1 commit into
MobilityDB:masterfrom
estebanzimanyi:fix/rgeo-type-scope

Conversation

@estebanzimanyi

Copy link
Copy Markdown
Member

meta/type-scope.json declares the SQL type scope of a MEOS function whose
scope MEOS itself does not state, and a public claimant of a shared PG
wrapper receives only the signatures its scope covers. Ten rgeo functions
serve trgeometry alone and are declared here, beside the eight restrict
siblings the file already carries.

Each takes its operand as a generic const Temporal *, which names no
type, so the only parameter naming one is the second: the pose for
atValue and minusValue, the timestamp for atTime and minusTime, the
geometry for atGeometry and minusGeometry, the box and its border flag
for atStbox and minusStbox, and the digit count for asText and asEWKT.
A scope read from the parameter types therefore names the argument
rather than the temporal type restricted.

Four of the ten hold a wrapper whose overloads that scope did not
separate. atTime and minusTime carried all twenty signatures their
wrapper declares over eight claimants, atValue and minusValue both of
theirs over thirteen; each now carries the one it serves, and the
catalog moves in those four functions and nowhere else.

meta/type-scope.json declares the SQL type scope of a MEOS function whose
scope MEOS itself does not state, and a public claimant of a shared PG
wrapper receives only the signatures its scope covers. Ten rgeo functions
serve trgeometry alone and are declared here, beside the eight restrict
siblings the file already carries.

Each takes its operand as a generic `const Temporal *`, which names no
type, so the only parameter naming one is the second: the pose for
atValue and minusValue, the timestamp for atTime and minusTime, the
geometry for atGeometry and minusGeometry, the box and its border flag
for atStbox and minusStbox, and the digit count for asText and asEWKT.
A scope read from the parameter types therefore names the argument
rather than the temporal type restricted.

Four of the ten hold a wrapper whose overloads that scope did not
separate. atTime and minusTime carried all twenty signatures their
wrapper declares over eight claimants, atValue and minusValue both of
theirs over thirteen; each now carries the one it serves, and the
catalog moves in those four functions and nowhere else.
@estebanzimanyi
estebanzimanyi merged commit 841e706 into MobilityDB:master Sep 2, 2026
3 checks passed
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