On 12/20/2013 10:13 AM, Andrej Mitrovic wrote:
On 12/20/13, bearophile <[email protected]> wrote:
A new keyword is a flag that you have found something different.
It makes it simpler to learn.
It also steals a valid symbol name. E.g. there's tons of C code that
uses the symbol name "body", but I can't use this symbol because it's
used in DBC. It's a keyword that's used in literally just one feature,
and it's annoying. Plus DBC code just looks ugly to me (at least with
asserts in the actual body I can add diagnostic messages), so I don't
see how "body" has made DBC better.
We could get rid of the keyword easily without changing the syntax of
contracts.
