220 29654 article Path: news.gmane.org!.POSTED!not-for-mail From: Giovanni Piero Deretta Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: compiler should infer last semicolon of culy brace block... it makes lambas look better.... Date: Sun, 4 Dec 2016 15:37:18 -0800 (PST) Lines: 88 Approved: news@gmane.org Message-ID: References: <99df401b-562e-424f-9c17-01575f8b47e1@isocpp.org> <5876fa59-f31f-4b93-969a-8ab0437f2f55@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_1291_1052106847.1480894638975" X-Trace: blaine.gmane.org 1480894646 24710 195.159.176.226 (4 Dec 2016 23:37:26 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 4 Dec 2016 23:37:26 +0000 (UTC) Cc: wm2015email@gmail.com To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBDEP3I7TGEIK7UMSYICRUBBA2U7CE@isocpp.org Mon Dec 05 00:37:17 2016 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-qk0-f200.google.com ([209.85.220.200]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cDgLM-0004o6-7S for gclcip-std-proposals@m.gmane.org; Mon, 05 Dec 2016 00:37:16 +0100 Original-Received: by mail-qk0-f200.google.com with SMTP id q128sf252943342qkd.3 for ; Sun, 04 Dec 2016 15:37:20 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=date:from:to:cc:message-id:in-reply-to:references:subject :mime-version:x-original-sender:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=rak3MwbbiNrmcMcfGFW5kY3Rwr7bnUO1Yq1xRf2oqMo=; b=0z7CkmL4L/V2eW8300NYZP67hJ+M4Y2aaay+zXr8UvttyE8Gl4Q31cLqe6MX9dyrIq 0EwiTOcz3Bc+OoDwkrsVmYqH8GocGUaYTc3/R3BOJtxamPQYejZ3wZH4Swxht/qEnba6 oXIXEN0e6tHtWoHB8QlB553EdNLhs0MpoqLfkUib/21m/0jJErOsiBG0Y8e6ihLSSCaa UI/ey194hPd+OqIkSEi/FHePrbtPfrd469GvkuLYubfyTXzb4Z2397S8BZ18BZQ4Ns8l w300UkiY517xPKlNUqlPcBzUmNhjiZMM31/VQq3zi4PYobTp7AghAhDKZnUO4f5wn6/8 s6Xg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:cc:message-id:in-reply-to:references:subject :mime-version:x-original-sender:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=rak3MwbbiNrmcMcfGFW5kY3Rwr7bnUO1Yq1xRf2oqMo=; b=M304YYb1/uNJg8CgG03u4++/fXXPeLrZTeovoU1tRyG09Hpho0yp90/AfEbofsJ26j SaYSurJ74jR3zYxAV7xm9jgEfro6CPhZFg88Rp8uUelaXqmCBnecr36iWzLkuT2jp7Vl zpYSmK8CytgAeP00bDGiGGn0eaG8YCP7yjpyCk0C74zHIWbQzKdHu9crc+xY3iHeeGu7 tMuhXp8mvv54vAO+e9INZ9RjQFIvZ3MReKmeCakfYQFkt10W3xOhD6FD5MgA22F9GbfE NgY8hV3ee1FBio9mUc+RKpX2uJT2g1fkrQ0qbALq+zWRfB0Qwpefefh3fLFvCi//xlgG oSDw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:date:from:to:cc:message-id:in-reply-to :references:subject:mime-version:x-original-sender:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=rak3MwbbiNrmcMcfGFW5kY3Rwr7bnUO1Yq1xRf2oqMo=; b=FNhlAEtnMnKmY7MqbhIp1R257nhZjMiZJ6qZJUet88Mop56z5kPV3XkLJ3VqH62e6E H0ACrHhw46WH08fNLB3lO2O97Q7TT7dAPn9zk0bI+LsmXZOHwPaRHTX/Et/NxN9oqgBf G3uuf9mHQ0jTilvNwm8GZaLtZPVYjLs2jm3PLHeilMgDXBcmzP71IMa7pLEoDJsKN4Y3 dphicn9qs5nhAHWbAD/vG1XyM+Sq0l1MkennhGt/KdnDihpNRfEK5HpLt2/5poiwZNJs 7dhfrMTsheCJ2k/bxZ68zAKQ8W4jQ4cQ4WhL78RKyQet+Jxifr1kDeZJ6O02PCopuP/b xbFA== X-Gm-Message-State: AKaTC03s0wK6WAKS55icZG5RtsjdZht830Dp8weBK8LKs9EoACR4HzQE1uPQIX08e+DjKg== X-Received: by 10.200.58.1 with SMTP id w1mr11751465qte.19.1480894640036; Sun, 04 Dec 2016 15:37:20 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.157.1.164 with SMTP id e33ls24630451ote.43.gmail; Sun, 04 Dec 2016 15:37:19 -0800 (PST) X-Received: by 10.157.11.120 with SMTP id p53mr3559317otd.19.1480894639367; Sun, 04 Dec 2016 15:37:19 -0800 (PST) In-Reply-To: X-Original-Sender: gpderetta@gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: 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:29654 Archived-At: ------=_Part_1291_1052106847.1480894638975 Content-Type: multipart/alternative; boundary="----=_Part_1292_1401740628.1480894638975" ------=_Part_1292_1401740628.1480894638975 Content-Type: text/plain; charset=UTF-8 On Friday, December 2, 2016 at 8:20:46 PM UTC, Nicol Bolas wrote: > > On Friday, December 2, 2016 at 3:15:43 PM UTC-5, Jakob Riedle wrote: >> >> That might be `void` or it might not. There's no way to tell. >> >> >> Well, there is also no way to tell, whether "return dosomething2()" is >> void. >> Look here for an Example . >> Does this even answer the concerns that you had? >> > > My point is that it isn't clear whether the user *wanted* "return > dosomething2()` or whether they just wanted to *call* `dosomething2()`. > That's why, if we're going to elide the last semicolon in the block, doing > that should not change the meaning of the last statement. > > why is that an issue? if the lambda was not supposed to return anything the result would be dropped anyway. If it is, then either the code works as intended or the compiler will complain loudly if the returned type is not of the expected type. -- 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. To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/c86e8800-702a-40a0-aa95-d139bbf88d62%40isocpp.org. ------=_Part_1292_1401740628.1480894638975 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On Friday, December 2, 2016 at 8:20:46 PM UTC, Nicol Bolas= wrote:
On Fri= day, December 2, 2016 at 3:15:43 PM UTC-5, Jakob Riedle wrote:
That might be `void` or it might not. There's no way= to tell.

Well, there is also no way to tel= l, whether "return dosomething2()" is void.
Look here f= or an=C2=A0Exa= mple.
Does this even answer the concerns that you had?
<= /div>

My point is that it isn't clear whether the = user wanted "return dosomething2()` or whether they just wanted= to call `dosomething2()`. That's why, if we're going to eli= de the last semicolon in the block, doing that should not change the meanin= g of the last statement.


why is that a= n issue? if the lambda was not supposed to return anything the result would= be dropped anyway. If it is, then either the code works as intended or the= compiler will complain loudly if the returned type is not of the expected = type.

--
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.
To view this discussion on the web visit https://groups.google.= com/a/isocpp.org/d/msgid/std-proposals/c86e8800-702a-40a0-aa95-d139bbf88d62= %40isocpp.org.
------=_Part_1292_1401740628.1480894638975-- ------=_Part_1291_1052106847.1480894638975-- .