29987 2016-11-06 15:02:21 +0000 [xslt30] Definition of "implicitly mandatory" 2016-11-06 15:04:05 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XSLT 3.0 Candidate Recommendation PC All RESOLVED INVALID P2 normal --- 1 mike mike public-qt-comments oldest_to_newest 128085 0 mike 2016-11-06 15:02:21 +0000 We say [Definition: If a parameter has an implicit default value which cannot be converted to the required type (that is, if it has an as attribute which does not permit the empty sequence), then the parameter is implicitly mandatory.] However, the implicit default may be either the zero-length string or the empty sequence. So the parenthetical remark in this definition should more accurately say (that is, if it has an as attribute which does not permit the zero length string or the empty sequence as appropriate) 128086 1 mike 2016-11-06 15:04:05 +0000 Sorry, no, the remark is correct as written. The implicit default can only be a zero-length string if there is no "as" attribute.