There is a case where handling the cast correctly is critically important:
when you are dealing with an implementation where nodes are not typed. In this
case, you *always* have to do a cast to inform the validator of the type of a
particular value. The Saxon implementation works this way, a
Hi Jorge,
On Thu, Jun 14, 2012 at 5:44 PM, Jorge Williams
wrote:
> I couldn't find anything in the standard that says that implementation must
> have typed nodes
The XSD 1.1 assertions spec here describes how the XDM data model for
assertions need to be constructed,
http://www.w3.org/TR/xmlsc
