[Bug 20407] allow attributes to have different types for their getter and setter from bugzilla@jessica.w3.org on 2012-12-17 (public-script-coord@w3.org from October to December 2012)

From: <bugzilla@jessica.w3.org>
Date: Mon, 17 Dec 2012 10:32:34 +0000
To: public-script-coord@w3.org
Message-ID: <bug-20407-3890-9OE7l0UMSf@http.www.w3.org/Bugs/Public/>

https://www.w3.org/Bugs/Public/show_bug.cgi?id=20407

David Bruant <bruant.d@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bruant.d@gmail.com

--- Comment #3 from David Bruant <bruant.d@gmail.com> ---
(In reply to comment #1)
> Feels ugly to me. 

I think one not ugly way would be to have one super-type and all types used in
the getter/setter use this super-type.
But retrofitting a super-type after things are already deployed on the web
doesn't feel like realistic.

-- 
You are receiving this mail because:
You are on the CC list for the bug.

Received on Monday, 17 December 2012 10:32:39 UTC