Should the XQuery test suite pass the static typing rules defined in the
formal semantics document? If the answer is no, then an implementation which
supports static typing will not be able to pass the test suite.
A related question is, should the XQuery use cases pass static type checking?
Both the Use Case and XQTS documents are silent on the topic of static type
Checking the alignment of XQTS static typing results with the FS document
offers several benefits:
1) A set of well typed test cases can be identified as a reference.
2) Errors and omissions in the FS document can be identified.
3) The strictness of the FS typing rules can be studied and adjusted.
Note that it is easy to pass the test cases devoted explicitly to static
typing. The greater challenge (and better test of static typing) may be
successfully type checking the rest of the test cases.
Cognetic Systems, Inc.
2180 Satellite Blvd.
Duluth, GA 30097
This message uses a temporary e-mail address to defeat spammers. For the
latest contact information please call (678) 533-4405