C++ Logo

liaison

Advanced search

Re: [wg14/wg21 liaison] SG22 discussion on two proposed syntax options for WG21 Contracts

From: Nina Dinka Ranns <dinka.ranns_at_[hidden]>
Date: Tue, 17 Oct 2023 15:52:21 +0100
Awesome, thanks!

Best,
Nina

On Mon, 16 Oct 2023 at 15:02, Aaron Ballman <aaron_at_[hidden]> wrote:

> FYI, I just advertised this poll at the WG14 meetings this week and
> asked folks interested in the topic to please sign up.
>
> ~Aaron
>
> On Mon, Oct 16, 2023 at 6:30 AM Nina Dinka Ranns via Liaison
> <liaison_at_[hidden]> wrote:
> >
> > Hi all,
> >
> > just a reminder to fill in the doodle poll with your availability for
> the upcoming SG22 discussion.
> >
> > Thank you !
> > Nina
> >
> > On Wed, 11 Oct 2023 at 17:17, Nina Dinka Ranns <
> dinka.ranns_at_[hidden]> wrote:
> >>
> >> Hi all,
> >>
> >> WG21 is hoping to have a decision on the syntax for C++ Contracts at
> the November meeting in Kona. It would be good if they can have official
> SG22 feedback regarding the two options before that meeting. I've set up a
> doodle poll with possible times for such a meeting, please take a moment to
> fill in your availability.
> >>
> >> https://doodle.com/meeting/participate/id/dLPJwJAd
> >>
> >> Whether you already gave feedback on this mailing list or not, we would
> appreciate your participation in the meeting. It allows us to better
> reflect the views and opinions of SG22 members (more specifically, those
> involved in WG14), and to get a more accurate feeling of what the group
> thinks.
> >>
> >> The papers we will discuss are :
> >> https://isocpp.org/files/papers/P2935R3.pdf
> >>
> >> https://isocpp.org/files/papers/P2961R1.pdf
> >>
> >> Any questions, please let me know.
> >>
> >> Thank you,
> >> Nina
> >
> > _______________________________________________
> > Liaison mailing list
> > Liaison_at_[hidden]
> > Subscription: https://lists.isocpp.org/mailman/listinfo.cgi/liaison
> > Link to this post: http://lists.isocpp.org/liaison/2023/10/1310.php
>

Received on 2023-10-17 14:52:33