Bug 4448 - [FO] Return type of op:subtract-dateTimes, op:subtract-dates, op:subtract-times
Summary: [FO] Return type of op:subtract-dateTimes, op:subtract-dates, op:subtract-times
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Functions and Operators 1.0 (show other bugs)
Version: Recommendation
Hardware: PC Windows NT
: P2 normal
Target Milestone: ---
Assignee: Michael Kay
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
: 4927 (view as bug list)
Depends on:
Blocks:
 
Reported: 2007-04-03 10:24 UTC by Tim Mills
Modified: 2007-11-16 09:12 UTC (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Tim Mills 2007-04-03 10:24:24 UTC 
The signatures of:

op:subtract-dateTimes
op:subtract-dates
op:subtract-times

all have xs:dayTimeDuration? return type.  Unless I'm mistaken, these functions can never return the empty sequence and should therefore have return type xs:dayTimeDuration,
Comment 1 Michael Kay 2007-04-04 12:23:06 UTC 
I think you are correct.

Of course, these functions are only an internal formalism so there is no direct effect on users.
Comment 2 Michael Kay 2007-04-16 21:25:14 UTC 
The WGs agreed today to make the change of removing the "?" from the result type signature of these functions. I am therefore closing the bug report.

Michael Kay
for the XSL and XQuery WGs
Comment 3 Michael Kay 2007-05-01 22:15:38 UTC 
For the record, op:subtract-times appears to have the correct signature already; the other two are wrong.

Michael Kay
Comment 4 Michael Kay 2007-08-09 15:34:03 UTC 
*** Bug 4927 has been marked as a duplicate of this bug. ***
Comment 5 Michael Kay 2007-11-16 09:12:56 UTC 
This will appear as erratum FO.E5

  翻译：