This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
There are missing dollar signs in the following module variable declarations. errata6-module4.xq:declare variable errata6_4:var as a:hatsize := a:hatsize(3); errata8-module1b.xq:declare variable errata8_1b:var := errata8_1a:fun(); errata8-module2b.xq:declare variable errata8_2b:var := errata8_2a:fun2();
Fixed.
Thanks. I suspect that the errata6-004.xq should omit the "import schema" declaration if XQST0036 is the expected result. (:*******************************************************:) (: Description: Test of XQST0036 for unknown simple type in imported global vari able :) (:********************************************************** :) (: insert-start :) import module namespace errata6_4="http://www.w3.org/TestModules/errata6-4"; import schema namespace a = "http://www.w3.org/XQueryTest/userDefinedTypes"; declare variable $input-context external; (: insert-end :) $errata6_4:var
Could you please explain why test errata8-002 does not exhibit a circularity? [Definition: A module M1 directly depends on another module M2 (different from M1) if a variable or function declared in M1 depends on a variable or function declared in M2.] It is a static error [err:XQST0093] to import a module M1 if there exists a sequence of modules M1 ... Mi ... M1 such that each module directly depends on the next module in the sequence (informally, if M1 depends on itself through some chain of module dependencies.) Module errata8_2a declares function errata8_2a:fun() which depends on $errata8_2b:var. Therefore errata8_2a depends on errata8_2b Module errata8_2b declared variable errata8_2b:var which depends on errata8_2a:fun2(). Therefore errata8_2b depends on errata8_2a. This gives us the sequence of modules: errata8_2a ... errata8_2b ... errata8_2a which exhibits the circularity. Or am I mistaken?
(In reply to comment #2) > I suspect that the errata6-004.xq should omit the "import schema" declaration > if XQST0036 is the expected result. Fixed. (In reply to comment #3) > Could you please explain why test errata8-002 does not exhibit a circularity? > > [Definition: A module M1 directly depends on another module M2 (different from > M1) if a variable or function declared in M1 depends on a variable or function > declared in M2.] It is a static error [err:XQST0093] to import a module M1 if > there exists a sequence of modules M1 ... Mi ... M1 such that each module > directly depends on the next module in the sequence (informally, if M1 depends > on itself through some chain of module dependencies.) > > > Module errata8_2a declares function errata8_2a:fun() which depends on > $errata8_2b:var. Therefore errata8_2a depends on errata8_2b > > Module errata8_2b declared variable errata8_2b:var which depends on > errata8_2a:fun2(). Therefore errata8_2b depends on errata8_2a. > > This gives us the sequence of modules: > > errata8_2a ... errata8_2b ... errata8_2a > > which exhibits the circularity. > > Or am I mistaken? You're correct, although I thought the test should pass. I'm keeping that test the way it is as it makes an interesting test case, and adding a new pass scenario.
errata6-004 is fixed - thanks. errata8-002 appears to have some excess whitespace in its expected result. Expected '10
', was '10'
(In reply to comment #5) > errata8-002 appears to have some excess whitespace in its expected result. > > Expected '10
', was '10' Fixed.