This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
The WG group recently has changed the sequence type empty() to void(). During our review, customers have expressed dismay about this change and feel, that this will obfuscate the naming of an empty sequence: we now have voids and empty sequences and for casual users, their relationship is not necessarily clear. However, they also do not want to change the function empty() and think that the differentiation based on number of arguments and syntactic contexts is sufficient.
Michael, On May 19, 2005, the Query Working Group discussed your comment and decided to change the keyword void() to empty-sequence(). Since you were present at this discussion, I will mark this comment Fixed and Closed.