On Dec 11, 2013, at 2:44 PM, Mark S. Miller wrote: > Yes. I think the reasons for wanting the "*", whether you agree with them or > not, all apply equally to "!" (or whatever the syntax is). >
And if there is a syntactic flag like that, I don't see that we need to worry about preserving anything that would only valid within explicitly flag context. Allen _______________________________________________ es-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es-discuss

