On Friday, 23 June 2017 at 17:31:15 UTC, MysticZach wrote:
[...]
Yeah, my take is that the grammar for `assert`s applies to the
new syntax as well. If the grammar for asserts is this:
AssertExpression:
assert ( AssertParameters )
... then the grammar for the new syntax is:
InExpression:
in ( AssertParameters )
OutExpression:
out ( ; AssertParameters )
out ( Identifier ; AssertParameters )
I'm all for this syntax, just one spec/implementation question:
If the new contract syntax (formally) shares grammar rules with
assert, won't that cause more work for people who want to update
the assert syntax later (since they will have to take contracts
into account)?