2943 2006-02-26 23:09:45 +0000 Can static typing report FORG0006? 2009-08-31 20:08:29 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite 0.8.6 PC Windows XP CLOSED FIXED P2 normal --- 1 marc.van.cappellen carmelo andrew.eisenberg nick oldest_to_newest 8459 0 marc.van.cappellen 2006-02-26 23:09:45 +0000 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 8644 1 marc.van.cappellen 2006-03-09 09:49:39 +0000 to complete the original list: ST-WhereExpr001.xq ST-WhereExpr002.xq statictyping-7.xq 8763 2 andrew.eisenberg 2006-03-16 19:10:09 +0000 I will go further and suggest that only FORG0006 be accepted. 8770 3 carmelo 2006-03-17 15:19:25 +0000 Marc: Correct. Changed the expected error to be "FORG0006". Please close the bug if in agreement and when able to verify. Thanks, Carmelo 9782 4 marc.van.cappellen 2006-05-12 23:05:10 +0000 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 9784 5 carmelo 2006-05-15 14:43:33 +0000 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 10076 6 marc.van.cappellen 2006-06-17 20:29:32 +0000 I confirm this is resolved in XQTS 0.9.4 22205 7 nick 2008-10-20 11:22:35 +0000 (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? 26762 8 andrew.eisenberg 2009-08-31 20:08:29 +0000 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.