Re: ACTION A-641-13

On 08/05/2016 16:16, Abel Braaksma wrote:
> This section says "the supplied value must be of type xs:string or xs:untypedAtomic" (it doesn't say it can be a derived type of xs:string or xs:untypedAtomic). Neither is true (it is xs:NMTOKEN), so I think the cast should fail.

In 19.2 Casting from xs:string and xs:untypedAtomic, we read

"This section applies when the supplied value SV is an instance of 
xs:string or xs:untypedAtomic, including types derived from these by 
restriction. "

which I presume always applies, and perhaps we should read "must be of 
type" to be "must be an instance of type".

Cheers,
     Tim