- From: <bugzilla@wiggum.w3.org>
- Date: Fri, 06 Feb 2009 19:47:28 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5332 --- Comment #10 from zhen hua liu <zhen.liu@oracle.com> 2009-02-06 19:47:28 --- in your comment #9, consider the xquery dev env where modules can be compiled and linked separately, without having 'vacuous' as keyword to describe a function, how could static analysis to determine the following expr is legal or not: import module namespace md = "http://foo.com" if ($a) then delete $x/a/b else md:raiseErr() >From the function signature of md:raiseErr() , I only know it is a simple expression, but I don't know if it is really vacuous or not and the source code for module "http//foo.com" is not available. I agree that determination of vacuous expression has to be done statically. However, depending on how sophisticated your static analysis is, the interoperability is not guaranteed. -- 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, 6 February 2009 19:54:05 UTC