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 2943 - Can static typing report FORG0006?
Summary: Can static typing report FORG0006?
Status: CLOSED FIXED
Alias: None
Product: XML Query Test Suite
Classification: Unclassified
Component: XML Query Test Suite (show other bugs)
Version: 0.8.6
Hardware: PC Windows XP
: P2 normal
Target Milestone: ---
Assignee: Carmelo Montanez
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-02-26 23:09 UTC by Marc Van Cappellen
Modified: 2009-08-31 20:08 UTC (History)
2 users (show)

See Also:

Attachments

Description Marc Van Cappellen 2006-02-26 23:09:45 UTC 
For the following tests:
  statictyping-3.xq
  statictyping-4.xq
  statictyping-5.xq
  statictyping-6.xq
Our static typing implementation reports FORG0006 iso. XPTY0004

As FORG0006 seems to be more accurate, we believe it should be added as second 
expected error.

Thanks,
Marc
Comment 1 Marc Van Cappellen 2006-03-09 09:49:39 UTC 
to complete the original list:
  ST-WhereExpr001.xq
  ST-WhereExpr002.xq
  statictyping-7.xq
Comment 2 Andrew Eisenberg 2006-03-16 19:10:09 UTC 
I will go further and suggest that only FORG0006 be accepted.
Comment 3 Carmelo Montanez 2006-03-17 15:19:25 UTC 
Marc:

Correct.  Changed the expected error to be "FORG0006".  Please
close the bug if in agreement and when able to verify.

Thanks,
Carmelo
Comment 4 Marc Van Cappellen 2006-05-12 23:05:10 UTC 
Reopened this bug.

All of the listed tests have been fixed, with the exception of one.
ST-WhereExpr002 still expects XPTY0004, where it should be FORG0006
Comment 5 Carmelo Montanez 2006-05-15 14:43:33 UTC 
Marc:

Thanks for reopening this.  The test case entry for ST-WhereExpr002
was changed to reflect correct code of "FORG0006".  Please close the
bug if in agreement.

Thanks,
Carmelo
Comment 6 Marc Van Cappellen 2006-06-17 20:29:32 UTC 
I confirm this is resolved in XQTS 0.9.4
Comment 7 Nick Jones 2008-10-20 11:22:35 UTC 
(In reply to comment #2)
> I will go further and suggest that only FORG0006 be accepted. 
> 

Could I query why FORG0006 is the only expected result not XPTY0004? (I was about to report these tests being wrong for returning FORG0006).

As a static typing test I'd have thought the static error would be correct, due to their failure to type check against the rules in 7.2.4 of the formal semantics?
Comment 8 Andrew Eisenberg 2009-08-31 20:08:29 UTC 
The XML Query and XSL WGs have revisited this in Bug #6914 and decided to accept both XPTY0004 and FORG0006 as expected errors for these test cases.