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 3351 - K-FunctionProlog-15 and K-FunctionProlog-33 can be successful
Summary: K-FunctionProlog-15 and K-FunctionProlog-33 can be successful
Status: CLOSED FIXED
Alias: None
Product: XML Query Test Suite
Classification: Unclassified
Component: XML Query Test Suite (show other bugs)
Version: 0.9.4
Hardware: PC Windows XP
: P2 normal
Target Milestone: ---
Assignee: Frans Englich
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-06-18 20:42 UTC by Marc Van Cappellen
Modified: 2006-06-28 18:48 UTC (History)
0 users

See Also:

Attachments

Description Marc Van Cappellen 2006-06-18 20:42:46 UTC 
We believe that both of the following tests can be executed successful:
K-FunctionProlog-15 
K-FunctionProlog-33 

a) the errors being generated here are type errors. In http://www.w3.org/TR/xquery/#errors we read: A type error may be raised during the static analysis phase or the  dynamic evaluation phase.
b) assume an implementation raising it during the evaluation phase.
c) but the functions are never invoked, as such no error is reported and the query executes successful.

Thanks,
Marc
Comment 1 Frans Englich 2006-06-28 18:48:34 UTC 
Yes, fixed in CVS by also allowing an output, in addition to XPTY0004.

Since this report was resolved as suggested, I am changing status to CLOSED.
If the resolution is not satisfactory, feel free to change status to REOPENED.