W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2007

[Bug 3971] More XQTS static type errors

From: <bugzilla@wiggum.w3.org>
Date: Fri, 12 Jan 2007 13:36:23 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1H5MZz-00034D-41@wiggum.w3.org>

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





------- Comment #9 from tim@cbcl.co.uk  2007-01-12 13:36 -------
The errors found in:

K-FilterExpr-82
K-FilterExpr-83
K-FilterExpr-84
K-FilterExpr-85

stem from the differences between the descriptions of fn:boolean in F+O and FS.
 This is discuessed in bug 4024.

If we implement the xs:boolean static typing rule in Formal Semantics we found
about 120 further errors over those that we have already reported, including
ST-WhereExpr001, ST-WhereExpr002 and statictyping-7.
Received on Friday, 12 January 2007 13:36:30 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:32 UTC