[Bug 1554] [FS] technical: 3.3.3 Handling Dynamic Errors

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


simeon@us.ibm.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED




------- Additional Comments From simeon@us.ibm.com  2005-07-20 23:10 -------
This is a very good comment. We have clearly some inconsistencies in at least
two ways.

First there are cases where we give special case rule instead of relying on the
general rule, at least 4.6 and 4.11 that you point out.

Second there are cases where we should give special cases instead of relying on
the general rule:

        4.7.3 Computed Constructors
        4.7.3.2 Computed Attribute Constructors
        4.8.3 Let Expression
        4.12.2 Typeswitch

In addition, we should make sure that:

3.3.4 is consistent with the XQuery spec
3.3.3 should be changed to point to the error and optimization section directly.

A more drastic approach would be to remove the material on error propagation
entirely from the Formal Semantics document. This would be ok considering that
this part of the text is not necessary for static typing and therefore is non
normative.

Do you have preferences either way?

Thanks,
- Jerome and Michael

Received on Wednesday, 20 July 2005 23:10:07 UTC