From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Paul Eggert Newsgroups: gmane.emacs.devel Subject: Re: Making 'eq' == 'eql' in bignum branch Date: Mon, 20 Aug 2018 00:27:39 -0700 Organization: UCLA Computer Science Department Message-ID: References: <29f933ac-a6bf-8742-66a7-0a9d6d3e5a88@disroot.org> <49d8ba62-c9a5-9203-d882-8e900b441ff3@cs.ucla.edu> <8e0320d9-e0d0-2b57-57cc-2df4399f133c@cs.ucla.edu> <87lgaio7xd.fsf@tromey.com> <877em1cb0i.fsf@tromey.com> <765767b2-d2e5-a9a6-f724-d58ecf4847bb@cs.ucla.edu> <76081b5d-8c10-0a37-2c97-d4864c0faa80@cs.ucla.edu> <09153aed-361d-4f82-d9ac-b502314769ae@cs.ucla.edu> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: blaine.gmane.org 1534750790 15717 195.159.176.226 (20 Aug 2018 07:39:50 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 20 Aug 2018 07:39:50 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 Cc: Stefan Monnier , emacs-devel@gnu.org To: Pip Cet Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Aug 20 09:39:46 2018 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fremu-0003yT-AW for ged-emacs-devel@m.gmane.org; Mon, 20 Aug 2018 09:39:44 +0200 Original-Received: from localhost ([::1]:45385 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1frep0-00031s-Ti for ged-emacs-devel@m.gmane.org; Mon, 20 Aug 2018 03:41:54 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:46857) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1frent-0001Yy-Cu for emacs-devel@gnu.org; Mon, 20 Aug 2018 03:40:50 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1frebG-0007xA-LX for emacs-devel@gnu.org; Mon, 20 Aug 2018 03:27:45 -0400 Original-Received: from zimbra.cs.ucla.edu ([131.179.128.68]:37690) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1frebG-0007wy-Fy for emacs-devel@gnu.org; Mon, 20 Aug 2018 03:27:42 -0400 Original-Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 4C71E16087B; Mon, 20 Aug 2018 00:27:41 -0700 (PDT) Original-Received: from zimbra.cs.ucla.edu ([127.0.0.1]) by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id EdgYrxPVElfp; Mon, 20 Aug 2018 00:27:40 -0700 (PDT) Original-Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 805071610A0; Mon, 20 Aug 2018 00:27:40 -0700 (PDT) X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu Original-Received: from zimbra.cs.ucla.edu ([127.0.0.1]) by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id IjUG-2CF9mhE; Mon, 20 Aug 2018 00:27:40 -0700 (PDT) Original-Received: from [192.168.1.9] (unknown [47.154.30.119]) by zimbra.cs.ucla.edu (Postfix) with ESMTPSA id 28C5216087B; Mon, 20 Aug 2018 00:27:40 -0700 (PDT) In-Reply-To: Content-Language: en-US X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 131.179.128.68 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 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:228712 Archived-At: Pip Cet wrote: > I think too many places might still assume that most-positive-fixnum > is precisely either one of its current values (OTOH, I'm running with > most-positive-fixnum = 0x7fffffff and things appear to work). Older Emacs used different values, and we survived OK when we changed them. Plus, xemacs's values differ from both old and current Emacs, and people port scripts among these implementations. So I think we'd be all right if we changed these values again. > I think references to most-positive-fixnum (and implicit ones, like > using Frandom without an argument) should be eliminated. Fixnum range > is now an implementation detail. I tend to agree. Also, we should remove the fixnump and bignump functions; these functions certainly don't need to be in C code and I don't see why they even need to be present at all. We shouldn't be giving users the impression that the distinction between fixnums and bignums is important.