[XPath 2.0] definition of "dynamic type"

Comment on 2.2.3.2, 4th paragraph, definition of "dynamic type":

The "definition" of "dynamic type" is inconsistent with the use
of the term elsewhere. It DEFINES it to be "associated with each
value as it is computed" in the DYNAMIC PHASE. The term is
also used in 2.2.1 where it is stated that "Each atomic value,
element node, and attribute node in the data model is annotated
with its dynamic type." in the data model.
A similar term (is it intended to be the same?) "dynamic (run-time) type"
is used in 2.4.2; also referring to type annotations of nodes in the
data model. Both these uses have nothing to do with values computed
during the dynamic phase.

The inconsistency can be solved by removing the first sentence of
the definition and adding a sentence or two really defining the term.
The removed sentence could be retained outside the definition.

Received on Thursday, 12 February 2004 15:23:41 UTC