From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Michael Heerdegen Newsgroups: gmane.emacs.devel Subject: Re: 7 logical-xor implementations in source tree Date: Wed, 31 Jul 2019 23:15:32 +0200 Message-ID: <87tvb17vnv.fsf@web.de> References: <87tvbd9a8p.fsf@oremacs.com> <87pnm14u95.fsf@tcd.ie> <87sgqvoz5c.fsf@tcd.ie> <87d0hz2e11.fsf@tcd.ie> <5B633129-B795-4BFA-AE81-FE9FD0A24CE9@acm.org> <0edfffbb-6f5a-a6b2-334a-9000e8f2eb3e@gmail.com> <20190728080417.GA5072@ACM> <875znm3q19.fsf@mbork.pl> <20190730093651.GA5427@ACM> <7n36iny4yq.fsf@ecube.ecubist.org> <7nftmmkz83.fsf@ecube.ecubist.org> <87y30eymw6.fsf@tcd.ie> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="73981"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) Cc: Stefan Monnier , Barry Fishman , emacs-devel@gnu.org To: "Basil L. Contovounesios" Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Jul 31 23:16:27 2019 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hsvxO-000J3H-Lu for ged-emacs-devel@m.gmane.org; Wed, 31 Jul 2019 23:16:23 +0200 Original-Received: from localhost ([::1]:44632 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hsvxN-0004LJ-KS for ged-emacs-devel@m.gmane.org; Wed, 31 Jul 2019 17:16:21 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:44943) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hsvwv-0004GM-6H for emacs-devel@gnu.org; Wed, 31 Jul 2019 17:15:54 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hsvwu-0005BA-7y for emacs-devel@gnu.org; Wed, 31 Jul 2019 17:15:53 -0400 Original-Received: from mout.web.de ([212.227.17.11]:56223) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hsvwt-000596-SK for emacs-devel@gnu.org; Wed, 31 Jul 2019 17:15:52 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1564607736; bh=pWgPY91PLSlM+Dwy1bNvFKyo/FGEazMxYM1pXBYztRU=; h=X-UI-Sender-Class:From:To:Cc:Subject:References:Date:In-Reply-To; b=SuPLjbrwLK/7J5W17OmfxmZ4JDUSZZKGAcCrH40IMD1EmYIprGUokoEW7SntBRdrX warvrtqKp8V0MV82meoYNHkG/CwiWfhasG8OdyijCA9VdBw9tjKKwaTtDWmakCi8YW iyBnM8XqHOQCEyv3Tc6Ft5Im1eB75NLLhDDUhEuk= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Original-Received: from drachen.dragon ([92.208.178.242]) by smtp.web.de (mrweb101 [213.165.67.124]) with ESMTPSA (Nemesis) id 0MFtH8-1i6jRJ3RBu-00EwvG; Wed, 31 Jul 2019 23:15:35 +0200 In-Reply-To: <87y30eymw6.fsf@tcd.ie> (Basil L. Contovounesios's message of "Wed, 31 Jul 2019 23:22:49 +0300") X-Provags-ID: V03:K1:meyO8mSH6CqQw1/DsKERPge8ZHq8G2ICzj0wPGZ0DFpzH+3s+r9 IeexYf/CZSO0JeFUbKNW434J+DaNBb7pwScjLRRt9mEFLRprQetvZPRpgEokZesByRiWTBA j1lwS694Y5vI/BCa8FrntLNww2T4FBrMdu4B6UnGWjJYTqgVe0Y2OYuWC+iwHnBBti7N+LG JEsDlVnFNc3OCGJOTSAFw== X-UI-Out-Filterresults: notjunk:1;V03:K0:Mk5vRiM0Qt4=:5mupdXw975KGEehtMcoGoH KlV6Nw8KwroBrDkqSh3vry7KjndxwavuYBIK1HyLg0tubHamO5M0aBSqxfEU4N80IK4n6amtc ckJGsMadBQo038sX7rlA8utOlwy+pD0Uy3OsXm0RlhcOGHzSp/eTo2vaSpa1dsYxOjstdsva5 4EUc+I77LWW8/vzus5Fpf25fsc4MrkIFmxf1DHcSSvCjHzo+staBxCInShpMswwvyXbjQwByx AFgFZhdOdj7Gy/+GRTSRKrFo1JnhQCqfeSAgxA4TuoBe4CplZsR1an6XB2/ajNG67ySxU3yAV ql3o6GPSfGnwf3RRBDLUBB8Qd0hiuLTBCctfTJJpMCqz83h1JV079SBY+pHc6xOsilg/IV0mD y61jut5B+bTGrIV64ZFsNZN5Qo2CFkNWoGF9YsHI8Yl8xuOzUq1MPaR0dp8rgzSq3ItEzxzyK bpEzbOJV2iN3OLbptJg8v5h2pit3IAMUe3Hb04PTjRvpbeUCi3OHuLjtx2QFSnErgg280iYCC WVNheXdRcPap/b7l8ISajRItwoFAvLz0O0my6IeLaL6kfWn7PZ/io2bSspfswkMZ2wz8FaUcl qzIyhwQn0pcgZWBdVlC3CG6kmkjNDvDUqv4HON/6V+IGhhOi2IhZeMoOUHJ2dixDIItwXPiFG +dR3VudS3DXS3xX2psuzmbzhVUllii6AZ5QqLIhmLsoRwW9k2GYC0EdPRF5MlcwMFfXE755qw JKfajJGAa4s8BcuH5O+wG8Z1R53wHjBA5Wzzjj2HyuEErDvmZdeXZcRpWb0RgwMh5LwUBjBl X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 212.227.17.11 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:239066 Archived-At: "Basil L. Contovounesios" writes: > If I had to pick one or the other, I would go with xor purely because it > is the one that has been copied several times. But I am also perfectly > happy with bool-equal, especially if it is the historically/classically > preferred function. I also prefer xor. bool-equal doesn't harmonize with the other prominent equivalence predicates "eq" and "equal" because it sounds similar to "equal" but is something totally different (actually "equal" already is a weird name, but it's what we have). OTOH, if you argue that "equal" is a superset of "eq", and "bool-equal" a superset of "equal" it would make some sense. But "bool-equal" still makes me think about testing equality of some data, while this is more about testing conditions, because the arguments will most likely already be the result of some test, instead of some data that has been constructed and we are inspecting. Michael.