This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
The definition of fn:dateTime (from section 5.2 of the spec) is: fn:dateTime($arg1 as xs:date, $arg2 as xs:time) as xs:dateTime In the examples (5.2.1) it is stated that: fn:dateTime(xs:date("1999-12-31"), xs:time("12:00:00")) returns xs:dateTime("1999-12-31T12:00:00"). Section 5.1 states: The form of the constructor function for a type prefix:TYPE is: prefix:TYPE($arg as xs:anyAtomicType?) as prefix:TYPE? Under the static typing feature the example should raise a type check error, as xs:date and xs:time have return types xs:date? and xs:time? respectively. In order for the example to make sense (and to be consistent with other constructor functions) fn:dateTime should have the following signature: fn:dateTime($arg1 as xs:date?, $arg2 as xs:time?) as xs:dateTime? and it should return the empty sequence if either of the parameters are the empty sequence.
The resolution of 3717 could solve this report.
The XSL and XML Query WGs considered this issue at their Sept. 12 meeting. The WGs agree with the changes that you have suggested: - fn:dateTime should have the following signature: fn:dateTime($arg1 as xs:date?, $arg2 as xs:time?) as xs:dateTime? - the function will return the empty sequence if either of the parameters are the empty sequence Please close this bug report if you agree with our resolution.
Thanks.
*** Bug 1471 has been marked as a duplicate of this bug. ***