On 17-07-26 07:32 AM, T.J. Crowder wrote:
Second, the general: What's the significance of the indentation? Some productions are indented more than others, and I can't see meaning in it.
No significance, just a styling thing. See https://github.com/tc39/ecma262/issues/956 -Michael _______________________________________________ es-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es-discuss
