And expressions evaluated in reverse order

[mosheduminer]

When querying the following JSON (using the sirix rest-api):

[{"key": "hey"}, {"key": 0}]

with the following query:

for $i in bit:array-values(.)
where $i=>key instance of xs:integer and $i=>key eq 0
return $i

I get the following error:

Cannot compare 'xs:string' with 'xs:integer'

However, the AndExpr should short-circuit after evaluating key to not be an instance of xs:integer, rather than throwing an error.

It should be noted that the following query:

for $i in bit:array-values(.)
where $i=>key eq 0 and $i=>key instance of xs:integer
return $i

returns:

{'key': 0}

so it appears that the order of the AndExpr is being reversed.

[JohannesLichtenberger]

Fixed :-)