This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
In 2.8.3.1, the signature of the accessor function dm:array-size($array as array()) as xs:unsignedLong could be read as implying that implementations must allow an array with 2^64-1 members, or alternatively that they must not allow it to have more than this number. I don't believe either of these interpretations is intended. I suggest therefore that the type of the result be changed to xs:nonNegativeInteger.
The WG agreed. The change has been applied.