From 14d916ce330c8e4001e40a312bb2dd04cbd7ff5a Mon Sep 17 00:00:00 2001 From: Esteban Zimanyi Date: Mon, 12 Oct 2026 16:48:00 +0200 Subject: [PATCH] Declare temporal_valueset generic over every overload of its wrapper temporal_valueset returns the base values of a temporal value as a set, for every temporal type whose values have a set type, and refuses a temporal Boolean through the T_TBOOL literal in its body, which #scoped_signatures would read as the one type it serves. Its scope is declared "*" in meta/type-scope.json, as the scope of the other functions generic over Temporal * is, so it keeps the 19 signatures of getValues and valueSet returning a set that Temporal_valueset declares. --- meta/type-scope.json | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/meta/type-scope.json b/meta/type-scope.json index 50f96d5..bb8530e 100644 --- a/meta/type-scope.json +++ b/meta/type-scope.json @@ -26,6 +26,10 @@ "types": "*", "note": "Generic over Temporal *: accessor on any temporal type." }, + "temporal_valueset": { + "types": "*", + "note": "Generic over Temporal *: the value set of every temporal type whose values have a set type, every overload of Temporal_valueset. The T_TBOOL literal in its body is the type it refuses, a temporal Boolean having no set, so the scope cannot be read from the body." + }, "temporal_instants": { "types": "*", "note": "Generic over Temporal *: the distinct instants of any temporal type, the call behind instants."