This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Since the formal semantics rules mandate that the static return type of this function is a one-or-more sequence, operator eq fails to typecheck. This is one case where a simple extension to the static typing rules would iron out the problem. More precise rules than are currently specified for fn:one-or-more and fn:zero-or-one are possible. (:*******************************************************:) (: Test: K-SeqOneOrMoreFunc-3 :) (: Written by: Frans Englich :) (: Date: 2006-10-05T18:29:40+02:00 :) (: Purpose: A test whose essence is: `one-or-more("one") eq "one"`. :) (:*******************************************************:) one-or-more("one") eq "one"
An attempted fix has been committed to CVS, and should be part of XQTS_current.zip. Feel free to verify that the fix is acceptable, and if so, change status to CLOSED. If the attempted fix is not acceptable, reopen this report. If no opinion about this resolution is expressed within two weeks, it will be closed. Along with the fix for this report, was committed fixes for other reports as well. Also, a significant amount of new tests were added to cover missing areas and changes in the specifications.
This fixes test K-SeqOneOrMoreFunc-3. Thanks.