3782 2006-10-02 13:38:09 +0000 K-TraceFunc-4 2007-01-15 09:26:51 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite 1.0 PC Windows XP CLOSED FIXED P2 normal --- 3784 1 tim frans.englich public-qt-comments oldest_to_newest 12231 0 tim 2006-10-02 13:38:09 +0000 The query: trace(\"a string\", \"trace message\") eq \"a string\"" fails static typechecking, since trace returns item()*. However, this could be rectified by the addition of a Formal Semantics typechecking rule: --------------------------------------------------- statEnv |- (FN-URI,"trace")(Type1, Type2) : Type1 12232 1 tim 2006-10-02 13:41:51 +0000 Make that: statEnv |- Type2 can be promoted to xs:string --------------------------------------------------- statEnv |- (FN-URI,"trace")(Type1, Type2) : Type1 13493 2 frans.englich 2007-01-12 18:52:34 +0000 An attempted fix has been committed to CVS, and should be part of XQTS_current.zip. Feel free to verify that the fix is acceptable, and if so, change status to CLOSED. If the attempted fix is not acceptable, reopen this report. If no opinion about this resolution is expressed within two weeks, it will be closed. Along with the fix for this report, was committed fixes for other reports as well. Also, a significant amount of new tests were added to cover missing areas and changes in the specifications. 13535 3 tim 2007-01-15 09:26:51 +0000 We have implemented an extended static type checking rule for fn:trace. I'm sure anyone else implementing static type checking will also have to do so, as otherwise fn:trace is otherwise too painful to use in practice. I'll close the bug report anyway.