[Bug 3651] Argument types of fn:dateTime

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3651

           Summary: Argument types of fn:dateTime
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Functions and Operators
        AssignedTo: ashok.malhotra@oracle.com
        ReportedBy: oliver@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


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.

Received on Monday, 4 September 2006 14:45:02 UTC