[FS] dynamic semantics of the element construtor

When studying the formal semantics of the element constructor i noticed 
something strange. The first inference rule states:

statEnvn, dynEnv |- fs:item-sequence-to-node-sequence (Expr0) => Value0 
Value0 matches (attribute*, (element | text | processing-instruction | 
comment)*)

and concludes

statEnv dynEnv |- element QName { Expr } => Value0

The explanation of the fs:item-sequence-to-node-sequence function also 
clearly states that it "converts a sequence of item values to nodes by 
applying the normative rules".

When interpreting this I must conclude that the element constructor 
returns the contents of the constructed element instead of the 
constructed element itself. The static semantics on the other hand says 
that it in fact returns one element node. Also the dynamic semantics of 
other constructors clearly also return the constructed node.

The following rule (with computed name) says the same and also has a ';' 
which i don't think belongs there

statEnvn, dynEnv |- fs:item-sequence-to-node-sequence (Expr3); => Value1

I hope you can clear this up for me.

Kind regards,

Wim Le Page
University of Antwerp

Received on Sunday, 22 May 2005 10:11:41 UTC