This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
4.1.5 Function Calls DEv / rule 2 This rule is missing a premise to promote Value' to the function's return type. Also, the DErr section is missing the corresponding rule to raise a type error if the promotion cannot be done. Note that XQuery 3.1.5 specifically says the premise must be satisfied twice, once for defining module and once for calling module.
Agreed. The error part is now moot. The remaining of that comment is addressed following the proposal in: http://www.w3.org/Bugs/Public/show_bug.cgi?id=1583 - Jerome
The working groups have adopted the (amended) proposal in Bug #1583, which also addresses this bug. Best, - Jerome