Adds test to prevent repeated variables in VALUES

Tpt · Tpt · commit 8cac1ca30e52 · 2025-10-01T18:33:39.000+02:00
Test for w3c/sparql-query#294
diff --git a/sparql/sparql12/expression/duplicated-values-variable.rq b/sparql/sparql12/expression/duplicated-values-variable.rq
@@ -0,0 +1 @@
+SELECT * WHERE { VALUES (?a ?a) { (1 1) } }
diff --git a/sparql/sparql12/expression/manifest.ttl b/sparql/sparql12/expression/manifest.ttl
@@ -10,6 +10,7 @@
     mf:entries
     ( 
     :not-not
+    :duplicated-values-variable
     ) .
 
 
@@ -21,3 +22,7 @@
          [ qt:query  <not-not.rq> ] ;
     mf:result  <not-not.srx>
     .
+
+:duplicated-values-variable rdf:type mf:NegativeSyntaxTest ;
+    mf:name "Duplicated variable in a VALUES clause" ;
+    mf:action <duplicated-values-variable.rq> .

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+SELECT * WHERE { VALUES (?a ?a) { (1 1) } }`
Original file line number	Diff line number	Diff line change
`@@ -10,6 +10,7 @@`
`10`	`10`	`mf:entries`
`11`	`11`	`(`
`12`	`12`	`:not-not`
	`13`	`+ :duplicated-values-variable`
`13`	`14`	`) .`
`14`	`15`
`15`	`16`
`@@ -21,3 +22,7 @@`
`21`	`22`	`[ qt:query <not-not.rq> ] ;`
`22`	`23`	`mf:result <not-not.srx>`
`23`	`24`	`.`
	`25`	`+`
	`26`	`+:duplicated-values-variable rdf:type mf:NegativeSyntaxTest ;`
	`27`	`+ mf:name "Duplicated variable in a VALUES clause" ;`
	`28`	`+ mf:action <duplicated-values-variable.rq> .`