[Bug 3715] Lack of coverage for static typing feature

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3715





------- Comment #1 from marc.van.cappellen@datadirect.com  2006-09-14 19:52 -------
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.

Received on Thursday, 14 September 2006 19:52:32 UTC