Attribute constructor with empty QName

[Christian Gruen]

The following query…

count((
  for $i in 1 to 10
  where attribute { 'a'[$i] } { () }
  return $i
))

…yields 10 instead of XPTY0004.

Hope this helps,
Christian

[Markos Zaharioudakis (markos-za)]

In Zorba, the compiler determines the static type of the attribute-construction expression as attribute-node(), and then the optimizer evaluates fn:boolean-of-attribute-node() as true, thus completely removing the where clause. We believe that according to the discussion in http://www.w3.org/TR/xquery-30/#id-errors-and-opt, this is not a bug.