return when desugaring to closures

Brendan Eich brendan at
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  


More information about the Es-discuss mailing list