Correct non-empty tuples in all cases where that was intended

getodk · Jul 25, 2024 · 16719b4 · 16719b4
1 parent 47b4fbc
commit 16719b4
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 8 deletions.
diff --git a/packages/xforms-engine/src/parse/xpath/semantic-analysis.ts b/packages/xforms-engine/src/parse/xpath/semantic-analysis.ts
@@ -48,9 +48,12 @@ const isCallToLocalNamedFunction = <LocalName extends string>(
 	return localNameNode?.text === localName;
 };
 
-type ArgumentTypes = readonly AnySyntaxType[];
+type ArgumentTypes = readonly [AnySyntaxType, ...AnySyntaxType[]];
 
-const hasCallSignature = (syntaxNode: FunctionCallNode, expected: ArgumentTypes[]): boolean => {
+const hasCallSignature = (
+	syntaxNode: FunctionCallNode,
+	expected: readonly ArgumentTypes[]
+): boolean => {
 	const [, ...argumentNodes] = syntaxNode.children;
 
 	if (argumentNodes.length === 0 && expected.length === 0) {

diff --git a/packages/xforms-engine/src/parse/xpath/syntax-traversal.ts b/packages/xforms-engine/src/parse/xpath/syntax-traversal.ts
@@ -14,7 +14,7 @@ export type TypedSyntaxNode<Type extends AnySyntaxType> = Extract<
 type CollectedNodes<Type extends AnySyntaxType> = Identity<ReadonlyArray<TypedSyntaxNode<Type>>>;
 
 const isTypedNodeMatch = <const Type extends AnySyntaxType>(
-	types: readonly [...Type[]],
+	types: readonly [Type, ...Type[]],
 	syntaxNode: AnySyntaxNode
 ): syntaxNode is TypedSyntaxNode<Type> => {
 	return types.includes(syntaxNode.type as Type);
@@ -25,7 +25,7 @@ interface CollectNodesOptions {
 }
 
 const collectTypedChildren = <const Type extends AnySyntaxType>(
-	types: readonly [...Type[]],
+	types: readonly [Type, ...Type[]],
 	currentNode: AnySyntaxNode,
 	options: CollectNodesOptions = {}
 ): CollectedNodes<Type> => {
@@ -48,7 +48,7 @@ const collectTypedChildren = <const Type extends AnySyntaxType>(
  * identifying all LocationPaths referenced by a broader expression.
  */
 export const collectTypedNodes = <const Type extends AnySyntaxType>(
-	types: readonly [...Type[]],
+	types: readonly [Type, ...Type[]],
 	currentNode: AnySyntaxNode,
 	options: CollectNodesOptions = {}
 ): CollectedNodes<Type> => {
@@ -112,7 +112,7 @@ export const isCompleteSubExpression = (
  * in `foo[position() = 2]`).
  */
 export const findTypedPrincipalExpressionNode = <const Type extends AnySyntaxType>(
-	types: readonly [...Type[]],
+	types: readonly [Type, ...Type[]],
 	xpathNode: XPathNode
 ): TypedSyntaxNode<Type> | null => {
 	const [first, ...rest] = collectTypedNodes(types, xpathNode);

diff --git a/packages/xforms-engine/test/parse/xpath/syntax-traversal.test.ts b/packages/xforms-engine/test/parse/xpath/syntax-traversal.test.ts
@@ -34,7 +34,7 @@ describe('XPath syntax traversal', () => {
 		interface CollectTypedNodesCase {
 			readonly expressionDescription: string;
 			readonly expression: string;
-			readonly types: readonly AnySyntaxType[];
+			readonly types: readonly [AnySyntaxType, ...AnySyntaxType[]];
 			readonly deep?: true;
 			readonly resultsDescription: string;
 			readonly expected: readonly ExpectedSyntaxNode[];
@@ -126,7 +126,7 @@ describe('XPath syntax traversal', () => {
 		interface FindTypedPrincipalExpressionNodeCase {
 			readonly expressionDescription: string;
 			readonly expression: string;
-			readonly types: readonly AnySyntaxType[];
+			readonly types: readonly [AnySyntaxType, ...AnySyntaxType[]];
 			readonly resultDescription: string;
 			readonly expected: ExpectedSyntaxNode | null;
 		}