[Bug 4273] [FS] data on element()

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4273





------- Comment #6 from tim@cbcl.co.uk  2007-02-21 07:53 -------
"However, I think the example that Tim pointed out shows a problem
with type soundness which may break notably some optimizers which rely on the
fact that the static type is consistent with the dynamic type, which it isn't
here."

This describes the problem succinctly.  I would expect the dynamic type of any
expression to be a subtype of the expression's static type.  fn:data seems to
be
broken in this respect.

Received on Wednesday, 21 February 2007 07:53:27 UTC