XQuery Update Test Suite results

I attach test results for the Update Test Suite for Saxon 9.1.0.1 (actually,
for the current patch level in Subversion).

There are 8 failures, all caused by a single non-conformance to the spec: in
an expression such as

if (true())
  then {some updating expression}
  else "some non-updating-expression"

(where the if condition is constant) Saxon simplifies the expression to an
updating expression before detecting error XUST0001. Though this
non-conformance has no practical consequences for users, I propose to fix it
in the next release; but that may not be available before the Recommendation
is issued.

Michael Kay
Saxonica