From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Helmut Eller Newsgroups: gmane.emacs.devel Subject: Re: Making 'eq' == 'eql' in bignum branch Date: Mon, 20 Aug 2018 19:21:33 +0200 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> <83lg91dqd4.fsf@gnu.org> <3af4ccf0-df88-1c9f-7348-3d9696dd74b5@cs.ucla.edu> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1534785706 19175 195.159.176.226 (20 Aug 2018 17:21:46 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 20 Aug 2018 17:21:46 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Aug 20 19:21:42 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 1frns5-0004tm-FX for ged-emacs-devel@m.gmane.org; Mon, 20 Aug 2018 19:21:41 +0200 Original-Received: from localhost ([::1]:48295 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1frnuC-0003o0-0V for ged-emacs-devel@m.gmane.org; Mon, 20 Aug 2018 13:23:52 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:50599) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1frnsH-0003At-BC for emacs-devel@gnu.org; Mon, 20 Aug 2018 13:21:53 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1frnsC-0007Ok-Vr for emacs-devel@gnu.org; Mon, 20 Aug 2018 13:21:53 -0400 Original-Received: from [195.159.176.226] (port=60858 helo=blaine.gmane.org) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1frnsC-0007Nq-Nx for emacs-devel@gnu.org; Mon, 20 Aug 2018 13:21:48 -0400 Original-Received: from list by blaine.gmane.org with local (Exim 4.84_2) (envelope-from ) id 1frnq0-0002AM-2x for emacs-devel@gnu.org; Mon, 20 Aug 2018 19:19:32 +0200 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 15 Original-X-Complaints-To: usenet@blaine.gmane.org Cancel-Lock: sha1:QlXXH84v3oOJ7ZZBxizLO5scPSU= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 195.159.176.226 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:228749 Archived-At: On Mon, Aug 20 2018, Paul Eggert wrote: > As I recall, Gerd introduced most-positive-fixnum and > most-negative-fixnum to Emacs Lisp in 2001, as it was a good idea > taken from Common Lisp. However, fixnump and bignump are not in Common > Lisp, and we don't need them in Emacs Lisp either. When we're > reinventing the wheel why add unnecessary gizmos? Common Lisp doesn't have so many type predicates because it has TYPEP. Both FIXNUM and BIGNUM are standard types in Common Lisp. The BIGNUM type is actually defined as (AND INTEGER (NOT FIXNUM)). So if you remove fixnump then at least make typep (and typecase etc.) work with 'fixnum and 'bignum type specifiers. Helmut