This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
This query contains "group by $person" and the expected result is <result> <working-time> <person>Barbara</person> <time>PT3H</time> </working-time> <working-time> <person>Anton</person> <time>PT9H30M</time> </working-time> <working-time> <person>Clara</person> <time>PT5H15M</time> </working-time> </result> At some point we will want to add the use cases to the XQuery 3.0 test suite. I suggest adding "order by $person" after the group by and changing the result to: <result> <working-time> <person>Anton</person> <time>PT9H30M</time> </working-time> <working-time> <person>Barbara</person> <time>PT3H</time> </working-time> <working-time> <person>Clara</person> <time>PT5H15M</time> </working-time> </result>
This is now fixed in the XML source.