W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2005

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

From: <bugzilla@wiggum.w3.org>
Date: Wed, 20 Jul 2005 23:10:02 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1DvNhS-00074c-3K@wiggum.w3.org>

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

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