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
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:26 UTC