Re: Uniform block scoping

2014-08-13 Thread Brendan Eich
Andreas Rossberg wrote: In particular, function f(a) { ... // TDZ let a = ...; ... } and function g() { try { ... } catch (e) { ... // TDZ let e = ...; ... } } should be early errors because there's no useful shadowing

Re: Uniform block scoping

2014-08-06 Thread Andreas Rossberg
On 31 July 2014 00:05, Brendan Eich bren...@mozilla.org wrote: Andreas Rossberg wrote: I think this subtle discrepancy is both unfortunate and unnecessary [1]. Moreover, with ES7 do expressions, I would like it to hold that (...) = {...}≡(...) = do {...} I channeled you as best

Re: Uniform block scoping

2014-08-01 Thread Brendan Eich
The general problem is that body blocks are not exactly blocks, due to legacy cruft -- and this legacy cannot be separated from 'let' ideals because we want programmers to refactor from 'var' to 'let'. So we must give greater weight (compared to the ideal case of a body block just being a

Re: Uniform block scoping

2014-07-30 Thread Brendan Eich
Andreas Rossberg wrote: I think this subtle discrepancy is both unfortunate and unnecessary [1]. Moreover, with ES7 do expressions, I would like it to hold that (...) = {...}≡(...) = do {...} I channeled you as best I could, and Dmitry Lomov kindly channeled you on this point,

Re: Uniform block scoping

2014-07-18 Thread Andreas Rossberg
On 17 July 2014 19:29, Brendan Eich bren...@mozilla.org wrote: Andreas Rossberg wrote: On 16 July 2014 18:38, Allen Wirfs-Brockal...@wirfs-brock.com wrote: (Note that this topic is on the agenda for this month's TC39 meeting) Unfortunately, I won't be at the meeting. Do you think we can

Re: Uniform block scoping

2014-07-18 Thread Mark S. Miller
Does anyone see any impediment to scheduling this Thursday morning? If not, we will do so. On Fri, Jul 18, 2014 at 1:33 AM, Andreas Rossberg rossb...@google.com wrote: On 17 July 2014 19:29, Brendan Eich bren...@mozilla.org wrote: Andreas Rossberg wrote: On 16 July 2014 18:38, Allen

Re: Uniform block scoping

2014-07-17 Thread Andreas Rossberg
On 16 July 2014 18:38, Allen Wirfs-Brock al...@wirfs-brock.com wrote: (Note that this topic is on the agenda for this month's TC39 meeting) Unfortunately, I won't be at the meeting. Do you think we can afford to defer this until September? (Also, note that as far as I can tell, the

Re: Uniform block scoping

2014-07-16 Thread Rick Waldron
Here are some relevant discussions from past meetings: https://github.com/rwaldron/tc39-notes/blob/master/es6/2012-11/nov-29.md#proposal-part-2 https://github.com/rwaldron/tc39-notes/blob/master/es6/2013-09/sept-18.md#510-function-parameter-scoping-and-instantiation

Re: Uniform block scoping

2014-07-16 Thread Allen Wirfs-Brock
(Note that this topic is on the agenda for this month's TC39 meeting) (Also, note that as far as I can tell, the disagreement is only about the early errors described below. The use of a separate parameter scope that limits what closures in parameter expressions can capture has been agreed upon