This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Using XQTS_current v1.16 K-SeqExprCast-1495 contains xs:NOTATION("prefix:local") castable as xs:NOTATION and expects XPST0017 because of the xs:NOTATION("prefix:local") part. But there is another error, XPST0080, because "castable as xs:NOTATION" is also wrong. This error should be also added to the catalog info.
Hello Alberto, Fixed in CVS. Thanks for pointing it out. However, XQTS_current.zip isn't updated yet. It will happen later today. Feel free to change status to CLOSED, if the resolution is satisfactory. Frans