From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Po Lu Newsgroups: gmane.emacs.devel Subject: Re: Distinguishing `consp` and `functionp` Date: Sat, 27 Jan 2024 21:20:48 +0800 Message-ID: <87jznukj4f.fsf@yahoo.com> References: <86msssble8.fsf@gnu.org> <87h6iz39s1.fsf@daniel-mendler.de> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="19530"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Stefan Monnier , Daniel Mendler , =?utf-8?B?Sm/Do28gVMOhdm9yYQ==?= , Eli Zaretskii To: Daniel Mendler via "Emacs development discussions." Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sat Jan 27 14:21:28 2024 Return-path: Envelope-to: ged-emacs-devel@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 1rTich-0004tU-Ml for ged-emacs-devel@m.gmane-mx.org; Sat, 27 Jan 2024 14:21:27 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rTicL-0004fo-3B; Sat, 27 Jan 2024 08:21:05 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rTicJ-0004fX-EI for emacs-devel@gnu.org; Sat, 27 Jan 2024 08:21:03 -0500 Original-Received: from sonic301-31.consmr.mail.ne1.yahoo.com ([66.163.184.200]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rTicH-0004SW-Ip for emacs-devel@gnu.org; Sat, 27 Jan 2024 08:21:03 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1706361659; bh=/0Fg9azHpKbhW4PhZ6ypwwd7aJVrwjk32Ov1ivUknC4=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From:Subject:Reply-To; b=T59fJ4yUOL2P2B/ox5YBdXVkm7aYll5kKFbFwMWcCyMp+NXh21GpSt3mpwGCDpeBuZpzeBgjlm6Kvks7Qx38yW40u0i88DiYgVSkmkevekSu4JzPoAA7mQHuMhfbz97KmVodsfpchX16V9qdUX8GEh7IfYANJco9SikFS5I6kct4odQF1n3/hFMzEk9cCbNg9GlTLVyfrSUcT1M4fbxrXaqus6YSVVVESaS62jUIbo88RYK5XrDXY45NO8qUDQRQ7n/f/9i7gqvkzdiG46zHfXCylqR9fjSgDlU43mu/nRClF+e6lyNRGvrOE1S8oMiWWKKLZK5AUn1CJIvnl34hHQ== X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1706361659; bh=UXETmR6dcOJJ+NgWMlVdqmozjFnujagbgAP5hxL2OYs=; h=X-Sonic-MF:From:To:Subject:Date:From:Subject; b=dmUAnhvuDT6RdsfE+p83GOk1F6LZZ5K3QHaQ7kF2qr2Pb/89mGVfXu9cKv3lNI1w06C0XKTVfAtu7QXa0eTkxEYa7nsUQQUH+6urfDs3h5JeN4ZCHr+/DW+CnViNLSPRLP7Ja3U20PIRHiijbf3ApL/m2J0ofXP9guMiw4JNyvYZVVuVV+derV1amxCDmKyXpjlFh2lf/0iux9IBZn0eXGejN6mMiXWii/PvAzecejmCHwqqRZmdnCPqtHvdp3MFVXwdcQ7gSPDNUhIHdkLNhO7IZadGbKyJEzTObCTu2QoEkoNiLf9BjHbKR/2rEcNCDB59JgjppwBCJBOQZQDKSQ== X-YMail-OSG: TjjUp.EVM1mZ71iBSkZNig5YrCtRzm2cmqxFZehUHRf3MkjsyVzUvqd4e6Sq.eU bP9LQaUVeugoWfIymTywOHr95VcuG65rKadb.o88fkY5BFXMYSXV9pdVz1n.99bienVNF2lykJ5h mv9uc0UMRoWzGkem36XfTIeTKlQ2K3UAR_wxmSEY0QKyKAPX3qAiPM9KHpgPTqW6msCnq62ynMBT z2_8uRvODU0IC9vP2w_tQNrLI1opG7_NZRtLbpKkzCXTuvI5u51Hi4k99kjv.yrpIhAYy5EwseJD udyuQlB3_UHfZ6ch2ZmRCY9jGlIYrp3OfKWOrOU2dRNxLEAVE99m8bO.W3O0qmJelFdUjoTZv4Te feXl4Ehnfe8W6e0IVHDG2kKjcE6_230FNuSFmnBVo5GsU4.G6RO5CTgDsdHSt57.sgr.0fWJS6QS ayZwWcd2HWyamKd7fwwg2uz6ex0j7YsRC7mD_bEWLnyUiQESfq.L1NNOJfwoQHh04vS3DnUjZDy_ 6yh3a9jlfAY.9fh17ff3pc7p4wPiR2dL1seLQF_.p7l18BESfLLH0lx_XlnSs5pxDPD3RhAom0oL mLWuxhoajsF.oswu70MRHEqUkdaS3FxUXMeW.unp5G2kxTQR7I4ph5iVTef5YJvD99NvfXu7Kxji 4RFrjuzXXIPlEyvgDT9H_Slo2i1on2i2sbnmS3kLQMomMMpHUljEZ7w7mW84hl6T5_uLtIAu7s_l 3Jo9JJRi51gHTmYgAxTBB8a02fRUoSg2P15mJjwWvcEX35V7PYLlCbwfzXIkHDkWZLfbaPyGfFiw bxGu2obDKKodNGmLXdu6NVONfAs2kLCL5kj7JsWSLH X-Sonic-MF: X-Sonic-ID: f1c4010b-2e5d-43e9-b958-7203ffa4ae2a Original-Received: from sonic.gate.mail.ne1.yahoo.com by sonic301.consmr.mail.ne1.yahoo.com with HTTP; Sat, 27 Jan 2024 13:20:59 +0000 Original-Received: by hermes--production-sg3-6dc75bc8fb-zp62z (Yahoo Inc. Hermes SMTP Server) with ESMTPA ID 0aff92b3f99c06c25c455a915941753d; Sat, 27 Jan 2024 13:20:54 +0000 (UTC) In-Reply-To: <87h6iz39s1.fsf@daniel-mendler.de> (Daniel Mendler via's message of "Sat, 27 Jan 2024 01:22:22 +0100") X-Mailer: WebService/1.1.22046 mail.backend.jedi.jws.acl:role.jedi.acl.token.atz.jws.hermes.yahoo Received-SPF: pass client-ip=66.163.184.200; envelope-from=luangruo@yahoo.com; helo=sonic301-31.consmr.mail.ne1.yahoo.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 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-mx.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:315484 Archived-At: Daniel Mendler via "Emacs development discussions." writes: > What about only dropping the list-based closure representation as a > first step, switching it over to a vector-based one? > > (functionp '(closure (t) nil t)) => nil (currently t) > (funcall '(closure (t) nil t)) => error (currently t) > > Unfortunately quoted lambdas are still common in packages which have not > been updated for longer. There is definitely code in the wild which prints precisely these lists into files or provides them to subprocesses, so this is not acceptable. But AFAIU it's not what Stefan proposed either, only modifying the behavior of functionp and the types of objects generated by the byte compiler or `function'.