From f38c91ebcb7892bb283c54e4a6e0c77c169f1943 Mon Sep 17 00:00:00 2001 From: Esteban Zimanyi Date: Thu, 13 Aug 2026 13:41:01 +0200 Subject: [PATCH] Declare only the scopes MEOS does not state A type-scope declaration stands in for a scope MEOS itself leaves unstated, so it outlives its purpose once the function starts stating one. Three entries describe a state that no longer exists: contained_span_span and span_to_spanset are declared empty, and nad_tcbuffer_stbox is scoped to tcbuffer, because each named a wrapper that serves none of them. Each now names the wrapper that backs it and is that wrapper's only claimant, so no filtering applies to it at all. An empty declaration that outlives its cause is the dangerous one: it stops describing a function that serves none of its wrapper's overloads and starts stripping one that serves all of them. Regenerating against MobilityDB master leaves all 5513 functions' signature lists unchanged, so the three carry no weight. --- meta/type-scope.json | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/meta/type-scope.json b/meta/type-scope.json index 77195df..4322348 100644 --- a/meta/type-scope.json +++ b/meta/type-scope.json @@ -108,19 +108,6 @@ "nad_tfloat_tbox": { "types": ["tfloat"], "note": "The tfloat arm of the tnumber/tbox nearest-approach pair." - }, - "nad_tcbuffer_stbox": { - "types": ["tcbuffer"], - "note": "Serves tcbuffer. Its @csqlfn names NAD_tcbuffer_geo, the wrapper of nad_tcbuffer_geo; the stbox form has its own wrapper NAD_tcbuffer_stbox. Upstream tag fix, recorded here so generation stays deterministic meanwhile." - }, - - "span_to_spanset": { - "types": [], - "note": "Converts span to spanset, while its @csqlfn names Spanset_to_span — the wrapper of the opposite conversion, whose overloads are all spanset-argument. No overload of that wrapper is served, hence the empty scope. Upstream tag fix." - }, - "contained_span_span": { - "types": [], - "note": "Compares span with span, while its @csqlfn names Contained_value_span, whose overloads all take a base value. No overload of that wrapper is served. Upstream tag fix." } } }