From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Pip Cet Newsgroups: gmane.emacs.devel Subject: Re: Floating-point constant folding in Emacs byte compiler Date: Mon, 2 Apr 2018 19:39:13 +0000 Message-ID: References: <2ce39e5c-cd1b-65d6-b125-719caad67932@cs.ucla.edu> <83vadmgfbz.fsf@gnu.org> <87d0zr2n1u.fsf@gmail.com> <83h8p2g99p.fsf@gnu.org> <87370m3k4y.fsf@gmail.com> <838taeg6z5.fsf@gnu.org> <7a49cbdf-f2c3-0803-2ee8-3d9f55e405a5@cs.ucla.edu> <7a4f10ec-c1b9-953d-7a95-b2f1ff762735@cs.ucla.edu> <83y3i568i0.fsf@gnu.org> <058336f6-1b68-69c5-27ee-13edeb86f636@cs.ucla.edu> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1522697882 3254 195.159.176.226 (2 Apr 2018 19:38:02 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 2 Apr 2018 19:38:02 +0000 (UTC) Cc: emacs-devel@gnu.org To: Paul Eggert Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Apr 02 21:37:58 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 1f35HC-0000jl-2T for ged-emacs-devel@m.gmane.org; Mon, 02 Apr 2018 21:37:58 +0200 Original-Received: from localhost ([::1]:58421 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f35JF-0002wW-RS for ged-emacs-devel@m.gmane.org; Mon, 02 Apr 2018 15:40:05 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:50044) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f35J5-0002vi-Lf for emacs-devel@gnu.org; Mon, 02 Apr 2018 15:39:56 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1f35J5-0004KI-34 for emacs-devel@gnu.org; Mon, 02 Apr 2018 15:39:55 -0400 Original-Received: from mail-wm0-x22e.google.com ([2a00:1450:400c:c09::22e]:36316) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1f35J4-0004JS-Sk for emacs-devel@gnu.org; Mon, 02 Apr 2018 15:39:55 -0400 Original-Received: by mail-wm0-x22e.google.com with SMTP id x82so29515841wmg.1 for ; Mon, 02 Apr 2018 12:39:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=3cRB1cnUYweVEO2rbrtOw5pcbioqnagpEKfXo1NCfIo=; b=kFeBbcO7nsnpjA43lxpIwYKvFjJjz7VAINCQq6GklFJLxOXigcydzOZ20Bv/i2hXYH 5hUBYOCKu8OUbVDawcTr9koHJpLtqcVpkH7YhtzUNlvJ8+NYJS4ZBXy2mfdmZ+U4CXwT QIHmhTW2HOO7tV5m7tAs5U8dhNDliMtnx7cYOKkKaACQFrkPgkMgjzfn2tcwMaqueNS2 7LLuOsavEwfGdjLTl4XUZ72X0dMojEcepskncKgnOvEbQv/JTsVI8jszErn/h36rsM7i 6AZsD+c8se8IFokAVSXZeUpEeXG2vtFCxH49CZ3F9q2LQP9RNl5cYVGFGeFngg3SJDIF ob6Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=3cRB1cnUYweVEO2rbrtOw5pcbioqnagpEKfXo1NCfIo=; b=DHC3fu0jm5rT0pDv9Qa4Gd1fQsQzxwDrWeatNe3aqCbEnz7/Df8Is+ITLpQer+HFCQ W5d7lEsKKMYNdwG+SYRGtYG5GGBaHacU5O4SADVFuDW5ZAVEa4q181HEKblCuZuenOHT v7VWkzcp8gDWfdR2zKIyVm78saXeK3MqsasJUYP1+gKWCZsM4369aky8ZvLMT2n1dXnp AknoW1IfkP1G5yVivwNzsKutxkBzhcr7Dv+gPBSmZ0tap0o9aONpjV7OBuGQc8kVgmee 60YsmDkv/uHmQ7Soc5oMO/CQPZea0RKS4UldnwQuA3UUvCRqS4z3h27iFZ8XhmoJak8E WIDQ== X-Gm-Message-State: AElRT7EbRGVxOqRtJ/kLi5k3J5M4VDtL2AJ4+XjwJI71lWECOXY3UaRu 4foqacfaqweYDgA9Aueybbv4JF6zwRf8MxdUju4= X-Google-Smtp-Source: AIpwx4/35du6h0VSx19eUEJzIo1dzhC1O7Sv7zV+eHlpW0ox4utyXrqxefBOhyk7raz5PK04JFPy7n0bSg8SfdCJ8/g= X-Received: by 10.80.145.111 with SMTP id f44mr13724738eda.29.1522697993829; Mon, 02 Apr 2018 12:39:53 -0700 (PDT) Original-Received: by 10.80.129.230 with HTTP; Mon, 2 Apr 2018 12:39:13 -0700 (PDT) In-Reply-To: <058336f6-1b68-69c5-27ee-13edeb86f636@cs.ucla.edu> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2a00:1450:400c:c09::22e 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:224255 Archived-At: Actually, there's this bit in the documentation for eql: Floating-point numbers of equal value are =E2=80=98eql=E2=80=99, but they m= ay not be =E2=80=98eq=E2=80=99. I think that matches what I want (which is to be free to merge all floats of equal value right away), and it matches your change, but not what Eli suggested was legitimate.