[Bug 7921] [XQTS] CVS: errors in TestSources modules

http://www.w3.org/Bugs/Public/show_bug.cgi?id=7921





--- Comment #3 from Tim Mills <tim@cbcl.co.uk>  2009-10-16 15:27:46 ---
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?


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Friday, 16 October 2009 15:27:50 UTC