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.
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.