On Fri, 6 Oct 2023 at 20:14, Timur Doumler via Liaison
<liaison_at_[hidden]> wrote:
>
> Hi Martin,
>
> Since backwards-compatibility with older compilers isn't achievable in this case (every compiler I know of will reject the colon in the attribute-like P2935 syntax as a syntax error), and the best thing you can get is backwards-compatibility with older C standards on a new compiler that already knows about Contracts and implements the "colon tweak" that was mentioned earlier, do you still think that this limited kind of backwards-compatibility is valuable enough to design the syntax around that?

There's a rather simple solution to this problem, though: don't use
the colon, rename 'assert' to something else like 'contract_assert' in
contract
annotations, and make contract annotations really be attributes.