[Bug 11352] %nondeterministic and independent compilations of modules

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

Martin Probst <Probst_Martin@emc.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |Probst_Martin@emc.com

--- Comment #9 from Martin Probst <Probst_Martin@emc.com> 2011-01-12 10:15:55 UTC ---
I just want to note that Dana is correct in her assessment that automatic
inference of %nondeterministic does require inspection of method bodies, and
together with cyclical dependencies between modules this means that requires to
inspect method bodies of other modules during compilation.

This cannot be resolved by just including the inferred %nondeterministic
property of a function in its signature, because of the cyclical dependency.

This could be resolved by including its non-local transitive dependencies in
its signature, but that feels to me like extending the concept of "function
signature" a bit too much.

-- 
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 Wednesday, 12 January 2011 10:15:57 UTC