1584 2005-07-14 04:17:32 +0000 [FS] technical: 4.1.5 Function Calls: "for all j" 2005-09-06 12:59:56 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 normal --- 1 jmdyck simeon public-qt-comments oldest_to_newest 4558 0 jmdyck 2005-07-14 04:17:32 +0000 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.) 5245 1 simeon 2005-07-27 05:48:20 +0000 As the WGs have decided to remove the sections corresponding to dynamic errors, this comment should now be moot. - Jerome 5608 2 simeon 2005-08-31 15:26:45 +0000 The XML Query and XSLT WGs have decided to close this comment as moot, with no further action. - Jerome