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

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





------- 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
errors.)

-- It would eliminate a fair bit of bulk, and some of the ickier rules.

Received on Thursday, 21 July 2005 00:25:55 UTC