28586 2015-04-30 15:18:38 +0000 [xslt30ts] static-013 type errors 2015-05-06 21:08:10 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XSLT 3.0 Test Suite Last Call drafts PC All CLOSED FIXED P2 normal --- 1 mike abel.online abel.braaksma public-qt-comments oldest_to_newest 120016 0 mike 2015-04-30 15:18:38 +0000 The stylesheet static-013 used for tests static-013, static-013a, and static-013b, contains the declaration  <xsl:param name="static-param" static="yes" as="xs:integer" select="xs:date('2014-03-03')" /> In fact this does not come within the definition of "implicitly mandatory", which arises only where the parameter has an implicit default. It is the case covered by the Note: The effect of these rules is that specifying <xsl:param name="p" as="xs:date" select="2"/> is an error, but if the default value of the parameter is never used, then the processor has discretion whether or not to report the error. So all three tests should permit an error outcome, and the comments should be changed because the reference to being "implicitly mandatory" is incorrect. 120034 1 abel.braaksma 2015-05-01 18:17:09 +0000 I agree, I apparently misinterpreted the spec text here. - implicitly mandatory: only when there is no select attribute - explicitly mandatory: with required attribute set to yes - impl. defined: with non-castable select attribute, may raise error or not I will update the test to allow an error outcome. 120035 2 abel.braaksma 2015-05-01 18:29:49 +0000 I agree, I apparently misinterpreted the spec text here. - implicitly mandatory: only when there is no select attribute - explicitly mandatory: with required attribute set to yes - impl. defined: with non-castable select attribute, may raise error or not if externally supplied value is compatible, but the direct supplied value is not I have updated the test to allow an error outcome. 120036 3 abel.braaksma 2015-05-01 18:30:34 +0000 (sorry for the double submit, I got a "midair collision" error from BugZilla)