W3C home > Mailing lists > Public > public-script-coord@w3.org > July to September 2011

Re: [WebIDL] Handling undefined in Overload Resolution Algorithm

From: Bjoern Hoehrmann <derhoermi@gmx.net>
Date: Tue, 09 Aug 2011 01:46:28 +0200
To: Jonas Sicking <jonas@sicking.cc>
Cc: public-script-coord@w3.org
Message-ID: <m6t047t395or181uieemm13l9e6bn25g0n@hive.bjoern.hoehrmann.de>
* Jonas Sicking wrote:
>But if document.write and window.alert are the only examples of this,
>I don't think we need to adjust all of WebIDL to it. It's easy enough
>to describe this exception in prose.

If the formal language implies one thing, and then the prose says some-
thing contradictory or unexpected, well I can't think of a case where I
saw that and where that did not lead to problems, but I can think of a
good number of cases where this lead to problems.
-- 
Björn Höhrmann · mailto:bjoern@hoehrmann.de · http://bjoern.hoehrmann.de
Am Badedeich 7 · Telefon: +49(0)160/4415681 · http://www.bjoernsworld.de
25899 Dagebüll · PGP Pub. KeyID: 0xA4357E78 · http://www.websitedev.de/ 
Received on Monday, 8 August 2011 23:46:57 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 8 May 2013 19:30:04 UTC