[Bug 3971] More XQTS static type errors

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