- From: <bugzilla@wiggum.w3.org>
- Date: Sat, 06 Feb 2010 03:26:24 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=8724 --- Comment #8 from Michael Dyck <jmdyck@ibiblio.org> 2010-02-06 03:26:23 --- (In reply to comment #7) > (In reply to comment #6) > > > > Consider a function item (A) whose function's body is basically a dynamic > > function invocation (DFI). Since the determinism of the function item (B) > > invoked by the DFI can't necessarily be determined statically, neither can the > > determinism of the original function item (A). > > But the determinism of a dynamic function invocation can always be statically > determined - just not always accurately. Right. And that inaccuracy propagates up to function item A. I.e., the determinism that one statically infers for A is not necessarily as precise as the actual determinism of A. I.e., you cannot always statically ascertain the determinism of a function item, which was my original point. -- 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 Saturday, 6 February 2010 03:26:26 UTC