3600 2006-08-15 15:37:43 +0000 K-InternalVariablesWith-17 and K-InternalVariablesWith-18 don't use erroneous part 2006-08-17 16:58:12 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite 0.9.4 Macintosh All RESOLVED INVALID P2 normal --- 1 martin andrew.eisenberg public-qt-comments oldest_to_newest 11123 0 martin 2006-08-15 15:37:43 +0000 The queries K-InternalVariablesWith-17 and K-InternalVariablesWith-18 expect an error because of a recursive reference to a variable/function. However both queries don't actually use any of the offending code, the main query simply contains a "1", so it's possible to optimise the whole functions/variables thing away. Implementations are free not to evaluate stuff they don't need to evaluate the query (this is why X-Hive doesn't give an error), even if this means they swallow an error. I think the queries should be re-formulated to actually use the function or the variable. 11128 1 frans.englich 2006-08-15 19:35:40 +0000 A fix is attempted in CVS, feel free to change status to CLOSED if it is satisfactory. XQTS_current.zip is updated. At this point I do not know whether this fix will make it into XQTS 1.0. One test was changed to allow both both output and error, while the other was changed to use the variable. Thanks for the report. Frans 11141 2 martin 2006-08-16 12:42:41 +0000 Thanks, that fixed it. 11193 3 mike 2006-08-17 09:37:05 +0000 Surely a circular reference to a variable or a function is a static error, and implementations are required to report all static errors in a query whether the code is executed or not? I think the tests were correct as written. 11198 4 frans.englich 2006-08-17 11:35:32 +0000 Yes, I believe you are correct, Mike. Martin's second paragraph on that implementations are free to evaluate without errors if they can, clearly applies to only dynamic errors: <quote> 2.3.3 Handling Dynamic Errors Except as noted in this document, if any operand of an expression raises a dynamic error, the expression also raises a dynamic error. If an expression can validly return a value or raise a dynamic error, the implementation may choose to return the value or raise the dynamic error. [...] </quote> However, I understand one can have an interest in detecting this dynamically, since it requires static analysis. I will undo my changes and close as INVALID. Frans 11199 5 martin 2006-08-17 12:13:15 +0000 That's correct, I didn't see that. 11204 6 frans.englich 2006-08-17 16:58:12 +0000 This original state should be back in the latest XQTS_current.zip.