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 _______________________________________________ Es-discuss mailing list Es-discuss@mozilla.org https://mail.mozilla.org/listinfo/es-discuss