W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2011

[Bug 11352] %nondeterministic and independent compilations of modules

From: <bugzilla@jessica.w3.org>
Date: Wed, 12 Jan 2011 10:15:56 +0000
To: public-qt-comments@w3.org
Message-Id: <E1PcxkC-0000rE-7Y@jessica.w3.org>

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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:45 UTC