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 DErr / rule 2 "for all 1 <= j <= m" This explicit universal quantification is unique in the spec, and there's no explanation of how to handle it. Usually, "for all j" is accomplished with an ellipsis, thus: FunctionDecl1 = declare function expanded-QName(Type1, ..., Typen) as Type ... FunctionDeclm = declare function expanded-QName(Type1, ..., Typen) as Type which requires all the signatures in statEnv.funcType(expanded-QName) to be identical, which is presumably forbidden for m > 1. You could avoid this by adding a 'j' subscript to all the Type patterns, but then you'd also have to add a 'j' subscript to the Typei in premise 5, but that only makes sense if premise 5 is "within the scope" of the "for all j", which is getting pretty messy. (Note that this problem goes away if you change funcType to map to a single signature.)
As the WGs have decided to remove the sections corresponding to dynamic errors, this comment should now be moot. - Jerome
The XML Query and XSLT WGs have decided to close this comment as moot, with no further action. - Jerome