220 21962 article Path: news.gmane.org!not-for-mail From: Oliver Kowalke Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: is await an extension of the do-notation? (was Re: Re: Resumable expressions p0114r0 vs async/await P0057R0) Date: Fri, 23 Oct 2015 10:57:02 +0200 Lines: 78 Approved: news@gmane.org Message-ID: References: <639f0012-8cb4-4db3-82a6-8d042a3497f9@isocpp.org> <401aa118-ed0b-4c7b-92cf-3fbd706eff9d@isocpp.org> <1d15dbc4-e0c1-4df1-86db-014e11f14d26@isocpp.org> <56114953.4030701@wanadoo.fr> <561B403D.4030403@gmail.com> <561C07D1.3080304@gmail.com> <561C213F.1060009@gmail.com> <561C3875.2050701@gmail.com> <86924069-44d0-447f-bf8a-a42e46579832@isocpp.org> <561D79A7.8080007@gmail.com> <894616d6-9609-4038-b2bc-d2c62df21e0f@isocpp.org> <99bdb3ae-9214-4440-8572-4c47a61eda46@isocpp.org> <58628096-14ae-42b2-89d3-c0bd2183bbc0@isocpp.org> <561DC957.8080603@gmail.com> <2e09660f-d688-474a-8811-85fb041f68b8@isocpp.org> <8b78abb4-16b6-4b65-8513-6e2c17317647@isocpp.org> <779be861-3b2a-427a-b36b-ad2874c81129@isocpp.org> <767364f8-785d-4f8f-9bc0-852df56ee4eb@isocpp.org> <0a728eee-e8e7-48ea-adf6-2a8dae63916e@isocpp.org> <6a4f863e-faf0-42ac-b85d-0951738350ab@isocpp.org> <1f818f79-1fe3-4e9f-b5c7-07836547dd74@isocpp.org> <5d4d4143-dcbb-401f-b809-6d1e50840fc4@isocpp.org> <0167264e-62fa-42bb-85b1-726c48650438@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=047d7b2e489ab506cf0522c1cc25 X-Trace: ger.gmane.org 1445590652 14783 80.91.229.3 (23 Oct 2015 08:57:32 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 23 Oct 2015 08:57:32 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBCLZHP5J7MHRB4XMU6YQKGQEOWKWYPY@isocpp.org Fri Oct 23 10:57:31 2015 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ig0-f200.google.com ([209.85.213.200]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1ZpYA8-0006OJ-I3 for gclcip-std-proposals@m.gmane.org; Fri, 23 Oct 2015 10:57:24 +0200 Original-Received: by igcg4 with SMTP id g4sf32174130igc.0 for ; Fri, 23 Oct 2015 01:57:23 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:content-type:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=dRqw5HUg0UtujGuw0/IfIdEdUIzrC32VQ0WCmdX4u3I=; b=QiqWP9XgtBYEyLqyshzEN3n88M803rEhNkLxTWX0RDNM3/5zm968zlfKCvd5nRun0B C9Aw+QI11Tlgo0ZEamkAkITZIVvNojtb22tMFWa3U/gSRhSUENm8wXlXu9D/hAWhJ77F HRMSIB/nALUaN0j0WzLI5nHyenFKmYPMKH3gQEb1oDczVsEnACR0LgAdADbg6Sfvrhru X8vV63Yok3nQvEyW9p3aPWKw+uzf3TbXoKDMI7g0bQ61+B1Wiq+WSMach69XqIfOYOFv sqV/zpxuwk4BofR1ZIiMOIz0E9IMAtwisHj0+KQlKtbR4Lgi22YNd2QuCW3Rg/2FeBWX yDtg== X-Gm-Message-State: ALoCoQl03dkHoe0rNJy1MIedlquGewPTheWwAIzgmy7f32yQVkkvDMIrDtfvECHrxtKKgen06OLa X-Received: by 10.50.152.102 with SMTP id ux6mr2507988igb.3.1445590643195; Fri, 23 Oct 2015 01:57:23 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.182.28.41 with SMTP id y9ls912574obg.67.gmail; Fri, 23 Oct 2015 01:57:22 -0700 (PDT) X-Received: by 10.60.42.105 with SMTP id n9mr13766216oel.1.1445590642354; Fri, 23 Oct 2015 01:57:22 -0700 (PDT) Original-Received: from mail-ob0-x22f.google.com (mail-ob0-x22f.google.com. [2607:f8b0:4003:c01::22f]) by mx.google.com with ESMTPS id q5si11572736oih.5.2015.10.23.01.57.22 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 23 Oct 2015 01:57:22 -0700 (PDT) Received-SPF: pass (google.com: domain of oliver.kowalke@gmail.com designates 2607:f8b0:4003:c01::22f as permitted sender) client-ip=2607:f8b0:4003:c01::22f; Original-Received: by obcqt19 with SMTP id qt19so88238361obc.3 for ; Fri, 23 Oct 2015 01:57:22 -0700 (PDT) X-Received: by 10.182.96.168 with SMTP id dt8mr13818993obb.36.1445590641991; Fri, 23 Oct 2015 01:57:21 -0700 (PDT) Original-Received: by 10.76.71.233 with HTTP; Fri, 23 Oct 2015 01:57:02 -0700 (PDT) In-Reply-To: X-Original-Sender: oliver.kowalke@gmail.com X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of oliver.kowalke@gmail.com designates 2607:f8b0:4003:c01::22f as permitted sender) smtp.mailfrom=oliver.kowalke@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Spam-Checked-In-Group: std-proposals@isocpp.org X-Google-Group-Id: 399137483710 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:21962 Archived-At: --047d7b2e489ab506cf0522c1cc25 Content-Type: text/plain; charset=UTF-8 > > Actually, to match the semantics I proposed earlier: > > R * operator()(T * p) { > struct payload { void * p; context_t current; } payload = {p}; > auto other = (payload*)jump_fcontext(& > payload.current, > std::exchange(to, 0), > &payload); > to = &other->current; > return (R*)other->p; > } > I'm feeling a little bit uncomfortable because context<> forces a special signature of the context-fn, e.g. void foo( context *, void *); while exception_context doesn't void foo(); -- --- You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group. To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org. To post to this group, send email to std-proposals@isocpp.org. Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/. --047d7b2e489ab506cf0522c1cc25 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Actually, to match = the semantics I proposed earlier:

=C2=A0=C2=A0=C2= =A0=C2=A0 R * operator()(T * p) {
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0 struct payload { void * p; context_t current;=C2= =A0 } payload =3D {p};
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0 auto other =3D (payload*)jump_fcontext(&
=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 payload.current,
=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0 std::exchange(to, 0),
=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 &payload);
=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 to =3D &other->current;
=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 return (R*)other-= >p;
=C2=A0=C2=A0=C2=A0 }

I'm feeling a little bit uncomfortable because context<> f= orces a special signature of the context-fn, e.g.

void fo= o( context *, void *);

while exception_context doesn'= t

void foo();

--

---
You received this message because you are subscribed to the Google Groups &= quot;ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposa= ls+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/<= /a>.
--047d7b2e489ab506cf0522c1cc25-- .