Serialization of XDM

[Florent Georges]

David A. Lee wrote:

  Hi David,

> let $a := <foo/>
> return
>    ( $a , $a , $a )
> --->  recognize all 3 are the same

> let $a := <foo/>
> return
>    (
> <bar>{$a}</bar>,<bar>{$a}</bar>,<bar>{$a}</bar>)

> --> do we need to know that all 3 <foo/> are the same ?

  They have the same value, but they are not identical (last
paragraph of the section "3.7.1 Direct Element Constructors"
<http://www.w3.org/TR/xquery/#id-element-constructor>):

    The result of an element constructor is a new element node,
    with its own node identity. All the attribute and descendant
    nodes of the new element node are also new nodes with their
    own identities, even if they are copies of existing nodes.

  Regards,

-- 
Florent Georges
http://www.fgeorges.org/