W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2006

[Bug 3715] Lack of coverage for static typing feature

From: <bugzilla@wiggum.w3.org>
Date: Thu, 14 Sep 2006 19:52:23 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GNxG3-0005Rv-9h@wiggum.w3.org> 

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:14:16 GMT