C++ Logo

liaison

Advanced search

Re: [wg14/wg21 liaison] P2961R1 syntax for Contracts: viable for C?

From: Aaron Ballman <aaron_at_[hidden]>
Date: Sat, 7 Oct 2023 08:52:17 -0400
On Sat, Oct 7, 2023 at 7:38 AM Ville Voutilainen
<ville.voutilainen_at_[hidden]> wrote:
> And the gist of what you're saying is that we should look into using
> such tags or any other
> techniques so that a a pre/post is always just "pre(whatever)" or
> "post(whatever)", and
> if we want to add bells and whistles, they should somehow go into the
> "whatever", not
> outside it, so no "[magic] pre(something)", no "pre<magic>(something)". Put that
> "magic" inside "something" and the syntax as a whole remains macroable
> and more C-friendly.

This summarizes my thinking very nicely, thank you Ville!

~Aaron

Received on 2023-10-07 12:52:32