validate-in-place can break other update primitives

[Federico Cavalieri]

The validate-in-place function can make other update primitives uneffective.

The following query should return new new but it returns old new.

import module namespace schema = "http://www.zorba-xquery.com/modules/schema";
import schema namespace d="http://www.example.com/doc" at "test24.xsd";
import module namespace file = "http://expath.org/ns/file";
declare revalidation lax;

variable $doc:=<item xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
       xmlns="http://www.zorba-xquery.org/schema">
    <a>old</a>
</item>;

(
  schema:validate-in-place($doc),
  replace value of node $doc//*:a with "new"
);

variable $res1:=string($doc//*:a);

(
  replace value of node $doc//*:a with "new"
);

($res1,string($doc//*:a))

[Federico Cavalieri (fcavalieri)]

The schema
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
targetNamespace="http://www.zorba-xquery.org/schema" xmlns="http://www.zorba-xquery.org/schema"
    elementFormDefault="qualified">

  <xs:element name="item">
    <xs:complexType>
      <xs:sequence>
               <xs:element name="a" type="xs:string"/>
             </xs:sequence>
   </xs:complexType>
 </xs:element>

</xs:schema>