This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 15402 - hof-044
Summary: hof-044
Status: RESOLVED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XQuery 3 & XPath 3 Test Suite (show other bugs)
Version: Member-only Editors Drafts
Hardware: PC All
: P2 normal
Target Milestone: ---
Assignee: Benjamin Nguyen
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-01-03 15:30 UTC by Michael Kay
Modified: 2012-01-03 23:56 UTC (History)
1 user (show)

See Also:


Attachments

Description Michael Kay 2012-01-03 15:30:18 UTC
Test hof-044 in set misc-HigherOrderFunctions gives an unintended XPTY0004 error.

In the function

declare function local:ops() as (function(xs:double) as xs:double)* 
      	{ (abs#1, local:round#1, function($x as xs:float){$x+1}, round-half-to-even(?, 2)) }; 

the third item 

function($x as xs:float){$x+1} 

is not a valid instance of the required type

function(xs:double) as xs:double

because it will not accept xs:double arguments.
Comment 1 John Snelson 2012-01-03 15:54:54 UTC
I agree - I just found the same problem in the test suite, but haven't got around to reporting it yet. I suggest creating two versions of this test - one with the the fixed intended signature, and one that expects the error.
Comment 2 Michael Kay 2012-01-03 23:56:16 UTC
Fixed as suggested. hof-044 now delivers a success result; the original test which errors is retained as hof-919.