From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Philipp Stephani Newsgroups: gmane.emacs.bugs Subject: bug#42147: 28.0.50; pure vs side-effect-free, missing optimizations? Date: Thu, 2 Jul 2020 21:09:04 +0200 Message-ID: References: <3A9CC2A3-8307-47B2-8D80-795C0AF020E1@acm.org> <0433A879-C98D-4B1A-B85C-A15DA9289099@acm.org> <1621669100.2102667.1593639091621@mail.yahoo.com> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="22473"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Paul Eggert , Stefan Monnier , Andrea Corallo , 42147@debbugs.gnu.org To: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Thu Jul 02 21:10:10 2020 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jr4b4-0005jX-8r for geb-bug-gnu-emacs@m.gmane-mx.org; Thu, 02 Jul 2020 21:10:10 +0200 Original-Received: from localhost ([::1]:60336 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jr4b3-00035K-7j for geb-bug-gnu-emacs@m.gmane-mx.org; Thu, 02 Jul 2020 15:10:09 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:44158) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jr4aw-000358-5X for bug-gnu-emacs@gnu.org; Thu, 02 Jul 2020 15:10:02 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:44136) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jr4av-00028L-Rk for bug-gnu-emacs@gnu.org; Thu, 02 Jul 2020 15:10:01 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jr4av-0007IQ-KP for bug-gnu-emacs@gnu.org; Thu, 02 Jul 2020 15:10:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Philipp Stephani Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 02 Jul 2020 19:10:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42147 X-GNU-PR-Package: emacs Original-Received: via spool by 42147-submit@debbugs.gnu.org id=B42147.159371696427986 (code B ref 42147); Thu, 02 Jul 2020 19:10:01 +0000 Original-Received: (at 42147) by debbugs.gnu.org; 2 Jul 2020 19:09:24 +0000 Original-Received: from localhost ([127.0.0.1]:55680 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jr4aK-0007HJ-Cp for submit@debbugs.gnu.org; Thu, 02 Jul 2020 15:09:24 -0400 Original-Received: from mail-oi1-f175.google.com ([209.85.167.175]:39708) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jr4aH-0007H4-PX for 42147@debbugs.gnu.org; Thu, 02 Jul 2020 15:09:23 -0400 Original-Received: by mail-oi1-f175.google.com with SMTP id w17so23845964oie.6 for <42147@debbugs.gnu.org>; Thu, 02 Jul 2020 12:09:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=x4S31wNhTpGkiWlwDKEfitxFEb7Gk1ORsbE1uSmpeAI=; b=pwXVs4BtEvAv9wKemI4hDlmB9CiGmUNgHjU8PjaUoEd1PT8GpOxC8yzxzH+6BJQSf4 oOf35p5BqNPMOD8nO25H29aNPK5TqWfZ3Xk2VDdnfFy2lXZ+Z4lZpbNbDPvQI41ot1LO 589WELbdj7+Ayem2tvjqNGlt2m4GGjFkKOaMhtyEsgC15nlaCz6UwlwZBviNegan3/b9 vcvmRLfqFFA2/w7ar4b5C0W+c0S5V+YLhu/HkvSya20ZEVJS5d2N9qlDC55+ba8fvMns if4ugbmlGmettb08uGhWmvyCjOgFDhFSEG4ZJZq8s0yj5SxUccXrQ+JUwDLQCvZ3mZ/l GfoQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=x4S31wNhTpGkiWlwDKEfitxFEb7Gk1ORsbE1uSmpeAI=; b=QwJqaKV+aTYj6QaOoERYUKvmlnabfa9AGOoDFhTxAumNQkkfBTO6m3PVpvUxXb2l8w dCt2sLLxU32V6VOMnyPncl1agg6FaTjNE2GFtjAEqDD9hulnAxcTwKsUbuWSoQr3F9DJ n2lT4BuN0duXwJmn/AaDFSj6gYKVFl5FbbpNiOdv9e+tnIdB0vqTrk/SygvxB9YnC6OB l0VNMLjkLYw1GrVfZJTy4KUuAzroiKnpFyStYlRTYqj4agqcXqC63MGQeHhgiHa+806n m4Fq4cGQGQ4hSiIVCKTDL1aI7TidS/8M66tTMO8Ka9Qv9d1Y5hINndfxSOwnz7EhIb89 pwaw== X-Gm-Message-State: AOAM530aw+1PLVyo6fGX4FFlsoEwpE79R4ZD1pX2Mw0vfAS3jtoj1fkg SdJltBg4mwaHlnwiUOdJ0ZlkeiPsCsEzHFsq1Ic= X-Google-Smtp-Source: ABdhPJy+K3ecNpbXZ8+fifzSj1ImqAUYte/onLvXz1LJ3JFugC28xJQ7qn9/oo45GLMzr/4GduAxHb7bJI4j+XRxM4c= X-Received: by 2002:aca:b883:: with SMTP id i125mr25460052oif.65.1593716956073; Thu, 02 Jul 2020 12:09:16 -0700 (PDT) In-Reply-To: X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:182644 Archived-At: Am Do., 2. Juli 2020 um 12:28 Uhr schrieb Mattias Engdeg=C3=A5rd : > > 1 juli 2020 kl. 23.31 skrev Andrea Corallo : > > > Another reason why I'm interested is that I reuse these > > definitions in the native compiler. > > In that case there are probably more functions you may want to consider f= or purity -- what about: > > < > <=3D >=3D =3D /=3D > string< string=3D string-equal > eq eql equal > proper-list-p > identity > memq memql member > assq assql assoc I don't think most of those are pure, as they have to "look into" an object. For example, the result of "equal" does not only depend on the argument objects, but also the objects they refer to.