3715 2006-09-13 11:16:01 +0000 Lack of coverage for static typing feature 2008-05-16 07:42:19 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite 1.0 Other Linux CLOSED WONTFIX P2 enhancement --- 1 frans.englich andrew.eisenberg public-qt-comments oldest_to_newest 11643 0 frans.englich 2006-09-13 11:16:01 +0000 The XQTS lacks coverage in several known areas(and probably unknown too), and here is a known one which I haven't written tests for locally: As of this writing there have been a lot of bugs reported on tests that aren't static typing safe. These tests haven't been reported previously despite static typing implementors have been reported other bugs, suggesting that their implementations aren't conformant is this area. I believe an improvement for this lack of coverage is to find all reports kindly reported by tim@cbcl.co.uk and write static typing tests that are similar, but intentionally cases type errors. So, this report can be addressed whenever a pickup-heat is done for XQTS, and new tests are added. That implementors seem to implement static typing so widely, really makes me wonder how useful spec'ing static typing is. (Another area where XQTS could use stronger coverage is regular expressions.) Frans 11734 1 marc.van.cappellen 2006-09-14 19:52:23 +0000 Such XQTS tests need to take into account possible Static Typing Extensions (http://www.w3.org/TR/xquery/#id-static-extensions). Consider for example http://www.w3.org/Bugs/Public/show_bug.cgi?id=3686. Implementing the Formal Semantics by the book makes the following expression fail: fn:matches(xs:string("This is a characte"), xs:string("This is a characte")) However, an implementation may infer statically that both arguments are guaranteed to be of type xs:string. As such a static typing implementation is not required to report a failure here. 11770 2 frans.englich 2006-09-15 09:21:22 +0000 Yes, forgot about that. It really sucks(pardon my french) that static typing errors aren't deterministic. No interoperability here. This could have been avoided by disallowing Static Typing Extensions that accept expressions which without the extension would yield a type error. Frans 12101 3 andrew.eisenberg 2006-09-27 15:12:53 +0000 I'm going to mark this as an enhancement and we can consider it after we publish XQTS 1.0.1. 12102 4 andrew.eisenberg 2006-09-27 15:13:25 +0000 I'm going to mark this as an enhancement and we can consider it after we publish XQTS 1.0.1. 20126 5 frans.englich 2008-05-16 07:42:14 +0000 I'm withdrawing this. We lack coverage in many areas, and at least I don't have the measures for fixing them. Maybe we'll stumble over more tests or methods to produce them.