return when desugaring to closures
Brendan Eich
brendan at mozilla.com
Mon Oct 13 16:00:49 PDT 2008
On Oct 13, 2008, at 3:56 PM, Waldemar Horwat wrote:
> Brendan Eich wrote:
>> The agreement from the May TC39 meeting was that the declarations
>> implicit (:*) and explicit annotations must normalize to the same
>> type, or there's an error.
>
> That was back when the language had lots of requirements for compile-
> time expressions, including on all types. We agreed that that's not
> part of ES-Harmony, and this condition doesn't make sense when type
> expressions are evaluated at run time.
True enough -- but even without normalization, multiple equivalent (at
runtime, depending on flow) annotations could be allowed. Should they
be?
/be
More information about the Es-discuss
mailing list