220 35535 <9d64f8ff-ae72-433f-a5ac-c621348ede3f@isocpp.org> article Path: news.gmane.org!.POSTED!not-for-mail From: federico.kircheis@gmail.com Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: safe integrals comparison Date: Sun, 26 Nov 2017 07:50:04 -0800 (PST) Lines: 102 Approved: news@gmane.org Message-ID: <9d64f8ff-ae72-433f-a5ac-c621348ede3f@isocpp.org> References: <66f9bab2-7220-4bf1-afb7-77c5efa1bac3@isocpp.org> <4c552140-4029-4b28-af22-9e2843993516@isocpp.org> <10063dea-8668-4096-a0da-58a142229e13@isocpp.org> <033c6637-44bc-4dd7-8770-a8473834f483@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_19697_206156943.1511711404118" X-Trace: blaine.gmane.org 1511711409 12243 195.159.176.226 (26 Nov 2017 15:50:09 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 26 Nov 2017 15:50:09 +0000 (UTC) To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBCZ3PBGHYEBBBLGF5PIAKGQEDKLVFYA@isocpp.org Sun Nov 26 16:50:05 2017 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ua0-f198.google.com ([209.85.217.198]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eIzBv-0002WN-8P for gclcip-std-proposals@m.gmane.org; Sun, 26 Nov 2017 16:49:59 +0100 Original-Received: by mail-ua0-f198.google.com with SMTP id 49sf13018635uat.8 for ; Sun, 26 Nov 2017 07:50:06 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=4akL6M5zPjg6yHaCWZ0poQ1S5aKylia31rmFRMLkK3g=; b=rkWyMIXoIKrWfn5kRHx8mQHd9OljW1L7+b2ewZH+uF6C+WXNZbByaxG7ZEicHM1vFf Q3q6DvvpFTaWqiB1y4+Rm3I9NESsjNB3Ml+XaZCzGHJmfTztBIwHA2HUyLVezagi9Rtb EvzLbRYXSrjN3F/1dQVlU/rx89/Dyzo5YgsXu5cAxwk/CK7aSi9mRwV89dUqSwT8cLN/ D/Jzn8oNDmyiQxcSYZiMDeGo4JPWn8+NnsVSaVes+Mw1qcjbX+GEqQv4QHj0zkJeN0te 4296khI4GuNNPUATSU4yoI683D64BG7twfDYq9cYjok4UEmJrbgx8DFRwWOMYlUWwO98 ygfg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=4akL6M5zPjg6yHaCWZ0poQ1S5aKylia31rmFRMLkK3g=; b=ezuIIcQIegNoNdWymzkoOahtFlRfIeYO7WRc7LGJZk06PvwVPv/S0MH9cDPDzvJXTS pjHFhV6k/nAQAeCz7NuC5v6Aez3lISMTXE5BOV/urxXoAIr06bYoTT8lI3yfoeQjdy7N HerdzQKlfaVFv66/cCXznRbxibjs6pYUC/zKX29r0LgpKXNLe5aLnVSIdOls3LLXP9i+ 5OFhTZmXhBTOwPBwJfbTSK9BtEOIXnhAMShoEaZC2DGX8md5xzd8Fqs1OEKwE9+m4j6L B+BsRayvxsLe8KwlZU0fEucWLqqXB6VbVEkfi445x1qA8Em3XZwIMYsUSO8r1wK3+o4e TIzw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to: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=4akL6M5zPjg6yHaCWZ0poQ1S5aKylia31rmFRMLkK3g=; b=K35FodMXBWytsSeFsOfW0jPE3ddhLkTbvgptWhoXRCM6GDUWslvg2jJRqzB43g3MuO 3NBgm6kKJd9m1lHfHpylPx2bzH5YcyPYyxyvjviIDNjadxcXBvs/Md+VuQA5lOSxF4y7 kV8dHVwIXCnLEGIGz21bPj/LLW1pqcbaqFwiYODK6Ii2limWZ5k2TO+xP9VEybBzkf5w WmHA+janzcF3DOxB10Oy68M1GdY4XWl0N9v2eIGumv6+3CCSOJnZRoBYnFYyvaJPo9J+ 8X+RLmuUHLszdmUln5Jdap2UE/VHRGY6Uxlki9nCadgazQ/gG2Vf6gnn80ZGxMSk2p9g Xpew== X-Gm-Message-State: AJaThX5KEhyQQkTOdXpz1Ue3DN7GtMezn4E+spDOz1VDFNU+Rb6ENA2s r577Hh52vIhgAuJ1JQpPOex6xQ== X-Google-Smtp-Source: AGs4zMYodNnBM2l6XrG4miAm26CxP8URSCwHLa9S3Q4M+RhSWEOnAGMzu/zGIpVuB8M+W8yIZ5q+AQ== X-Received: by 10.31.208.131 with SMTP id h125mr16044760vkg.105.1511711406294; Sun, 26 Nov 2017 07:50:06 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.176.72.205 with SMTP id y13ls3054826uac.17.gmail; Sun, 26 Nov 2017 07:50:04 -0800 (PST) X-Received: by 10.31.61.142 with SMTP id k136mr3258760vka.5.1511711404710; Sun, 26 Nov 2017 07:50:04 -0800 (PST) In-Reply-To: <033c6637-44bc-4dd7-8770-a8473834f483@isocpp.org> X-Original-Sender: federico.kircheis@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:35535 Archived-At: ------=_Part_19697_206156943.1511711404118 Content-Type: multipart/alternative; boundary="----=_Part_19698_650160517.1511711404118" ------=_Part_19698_650160517.1511711404118 Content-Type: text/plain; charset="UTF-8" Hi, thank you for your feedback. If you look at the history of the "bug", it has been closed by Titus Winters with your same motivation: op<=> did the safe comparison with different int types. In its current state, op<=> does not compare different integral types at all, it provides only comparison semantic for the same type. This is the reason why the bug was reopened and Nathan Myers asked me for wording. I'll not be able to attend Jacksonville, but I've probably already found someone that could discuss the paper for me. On Sunday, November 26, 2017 at 2:59:15 PM UTC+1, Ben Craig wrote: > > This paper was discussed briefly in Albuquerque. It was the opinion of > lewg that this was largely supplanted by op<=>, which was voted into c++20. > Of you want to continue supporting this paper, you should devote more text, > much earlier in the paper, discussing why this is sufficiently valuable > compared to op<=>. > > It was lewgs understanding that op<=> did the safe comparison with > different int types. > > If possible, you should also attend Jacksonville, or find a champion to > discuss the paper for you. > > -- 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/9d64f8ff-ae72-433f-a5ac-c621348ede3f%40isocpp.org. ------=_Part_19698_650160517.1511711404118 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi,

thank you for your feedback.

If you look= at the history of the "bug", it has been closed by Titus Winters with your same motivation: op<=3D> did the safe comparison= with different int types.

In its current state, op<=3D> does = not compare different integral types at all, it provides only comparison se= mantic for the same type.

This is the reason why the bug was reopene= d and Nathan Myers asked me fo= r wording.

I'll not be able to attend Jackson= ville, but I've probably already found someone that could discuss the p= aper for me.


On Sunday, November 26, 2017 a= t 2:59:15 PM UTC+1, Ben Craig wrote:
This paper was discussed briefly in Albuquerque. It was the opinion o= f lewg that this was largely supplanted by op<=3D>, which was voted i= nto c++20. Of you want to continue supporting this paper, you should devote= more text, much earlier in the paper, discussing why this is sufficiently = valuable compared to op<=3D>.

It was lewgs understanding that op<= ;=3D> did the safe comparison with different int types.

If possibl= e, you should also attend Jacksonville, or find a champion to discuss the p= aper for you.

--
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/9d64f8ff-ae72-433f-a5ac-c621348ede3f= %40isocpp.org.
------=_Part_19698_650160517.1511711404118-- ------=_Part_19697_206156943.1511711404118-- .