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 3828 - Return typing of function-declaration-001 invalid for static typing
Summary: Return typing of function-declaration-001 invalid for static typing
Status: CLOSED FIXED
Alias: None
Product: XML Query Test Suite
Classification: Unclassified
Component: XML Query Test Suite (show other bugs)
Version: 1.0.1
Hardware: PC Windows XP
: P2 normal
Target Milestone: ---
Assignee: Andrew Eisenberg
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-10-13 14:12 UTC by Nick Jones
Modified: 2007-01-15 10:56 UTC (History)
0 users

See Also:

Attachments

Description Nick Jones 2006-10-13 14:12:55 UTC 
The function

declare function foo:price ($b as element()) as element()
{
  $b/price
};


has expected return type element()

but the body, $b/price, has a type of element()*, hence type checking fails.

Can the return type be changed to element()*
Comment 1 Nick Jones 2006-10-13 14:56:10 UTC 
Same issue in default_namespace-001
Comment 2 Carmelo Montanez 2006-12-12 18:47:55 UTC 
Nick:

I do not see why not.  Done as suggested.

Carmelo