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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:14:18 GMT