220 21992 article Path: news.gmane.org!not-for-mail From: Ville Voutilainen Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: About Concepts TS improvements for C++17. Date: Mon, 26 Oct 2015 11:53:47 +0200 Lines: 34 Approved: news@gmane.org Message-ID: References: Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1445853253 16339 80.91.229.3 (26 Oct 2015 09:54:13 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 26 Oct 2015 09:54:13 +0000 (UTC) To: "ISO C++ Standard - Future Proposals" Original-X-From: std-proposals+bncBC5JHI7A7ALRBK7QW6YQKGQEKZBECZY@isocpp.org Mon Oct 26 10:54:01 2015 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-io0-f199.google.com ([209.85.223.199]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1ZqeTS-00007g-Bm for gclcip-std-proposals@m.gmane.org; Mon, 26 Oct 2015 10:53:54 +0100 Original-Received: by iodz80 with SMTP id z80sf350270106iod.2 for ; Mon, 26 Oct 2015 02:53:48 -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:date :message-id:subject:from: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=dGad43d5UpeFIj4dP1liNKi7VVbnNf+fxAPTPGHOI4M=; b=QAD3Ve7pr/gUcNmvW4VgX5039PdY6b2nb6i1MJs4HxFTKFIIcHoWs1P3QjO0vSToVS fhfBnl3Lm2zBJtXnXP4rOy2DQs/IamfVJmBWpv+33isZq25220ysXHshKcN733EjITTI e1s8fknDOol178uK2EafCTMa0y112CcQIxsN00KiMftJSjwX2oSdkmqHyycJg3r8KMcB 2VHorudLBEiT7JmSfNqgrkHvSixesSXOOsv54UUdnzRYrv2YLEqwWJjjCQgYkp9sxM9A 0xomoao/QhqOGL8EnuVvWDEFbsbVUw/yAK4ayd31BHaimrW3/JJDaRm/wqw7/PhGGnRd nvNQ== X-Gm-Message-State: ALoCoQn+Ck4WisAl0PgXtKSE1euHDbdx75NxUGOJZG7KwIqiu9/jMM4mzLNjSkBUi8no2I6rVv33 X-Received: by 10.182.120.3 with SMTP id ky3mr28248221obb.6.1445853228620; Mon, 26 Oct 2015 02:53:48 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.140.103.182 with SMTP id y51ls1118722qge.30.gmail; Mon, 26 Oct 2015 02:53:47 -0700 (PDT) X-Received: by 10.31.142.142 with SMTP id q136mr23877476vkd.41.1445853227453; Mon, 26 Oct 2015 02:53:47 -0700 (PDT) Original-Received: from mail-vk0-x236.google.com (mail-vk0-x236.google.com. [2607:f8b0:400c:c05::236]) by mx.google.com with ESMTPS id p82si18612697vke.119.2015.10.26.02.53.47 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 26 Oct 2015 02:53:47 -0700 (PDT) Received-SPF: pass (google.com: domain of ville.voutilainen@gmail.com designates 2607:f8b0:400c:c05::236 as permitted sender) client-ip=2607:f8b0:400c:c05::236; Original-Received: by vkfw189 with SMTP id w189so94819556vkf.2 for ; Mon, 26 Oct 2015 02:53:47 -0700 (PDT) X-Received: by 10.31.165.132 with SMTP id o126mr24371298vke.101.1445853227193; Mon, 26 Oct 2015 02:53:47 -0700 (PDT) Original-Received: by 10.103.112.68 with HTTP; Mon, 26 Oct 2015 02:53:47 -0700 (PDT) In-Reply-To: X-Original-Sender: ville.voutilainen@gmail.com X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of ville.voutilainen@gmail.com designates 2607:f8b0:400c:c05::236 as permitted sender) smtp.mailfrom=ville.voutilainen@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:21992 Archived-At: On 26 October 2015 at 11:44, wrote: > Hello everyone, > > Concepts TS was published during Kona meeting: > > http://herbsutter.com/2015/10/25/2568/ It was sent to publication before the Kona meeting. > Looks like some refinements suggested by Walter E. Brown were left out. > I would like that, if included in C++17, since it is being considered to be > moved into > it quickly, concepts lite were updated with the tweaks proposed by his > paper: > http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4434.pdf > This is just kind of a reminder so that this > paper is not forgotten. I would not like this to be out of C++17 since the > changes are small, useful, and targeted, > in my opinion. The points in that paper were also captured by National Body comments when the TS was balloted. We had a discussion of the design points raised by that paper and the NB comments in Kona. The "evaluate concepts everywhere" was approved by EWG (and gcc already implements it), the "redundant bool" and "single syntax" were rejected. -- --- 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/. .