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: Thu, 21 Jul 2005 00:25:49 +0000
To: public-qt-comments@w3.org
Message-Id: <E1DvOsn-0001tt-Gz@wiggum.w3.org>


------- Additional Comments From jmdyck@ibiblio.org  2005-07-21 00:25 -------
(In reply to comment #1)
> A more drastic approach would be to remove the material on error propagation
> entirely from the Formal Semantics document.

Including the removal of all "Dynamic Errors" sections? That is drastic! But I'm
inclined to think it's a good idea:

-- The FS doesn't attempt to be complete on errors *anyway* (i.e., it doesn't
refer to specific error codes, and it totally ignores static errors).

-- I suspect that most of the 'Dynamic Error' rules cover cases where the
Dynamic Evaluation rules would simply fail to hold, and the inference would fail
to yield a value. So in a sense, the 'Dynamic Error' rules are redundant.
(Interestingly, I have a feeling that this is *not* true of many/most? static

-- It would eliminate a fair bit of bulk, and some of the ickier rules.
Received on Thursday, 21 July 2005 00:25:55 UTC

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