[XQuery] BEA_017

XQuery: request for simplification and symmetry

Sequence type production is supposed to denote a
type. However, in case of processing instructions it
mentions the content of the PI.

The text mentions in a couple of places that a type represented
by a sequence type production helps filtering of items by their
type. This is clearly incorrect for  Pis since in this case it filters 
by content.

Two questions:
(a) what does this extra special case buys  to the language?
(b) how will this type/content be mapped to a Formal Semantics type ?

Received on Monday, 16 February 2004 00:39:36 UTC