On 06/10/2023 06:31, Martin Uecker via Liaison wrote:

> A syntax as proposed here (it seems, correct me if I am wrong) such
> as:
>
> void f(int x)
> pre <audit> (x > 0);
>
> would be a pretty bad choice for C.

What if the syntax were more C-ish?

void f(int x)
    pre[audit](x > 0);

Or:

void f(int x)
    pre_audit(x > 0);

Or:

void f(int x)
    pre(audit, x > 0);

Niall