- From: <bugzilla@jessica.w3.org>
- Date: Wed, 12 Jan 2011 10:15:56 +0000
- To: public-qt-comments@w3.org
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