From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: akater Newsgroups: gmane.emacs.devel Subject: Re: Some improvements for cl-flet Date: Thu, 07 Oct 2021 02:32:15 +0000 Message-ID: <87sfxdr2ds.fsf@gmail.com> References: <87bl4zqnqn.fsf@gmail.com> <87czpe4rj2.fsf@web.de> <874kaqqxe7.fsf@gmail.com> <87y281cowz.fsf@web.de> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="29765"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Stefan Monnier , emacs-devel@gnu.org To: Michael Heerdegen Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Thu Oct 07 04:44:48 2021 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 1mYJOp-0007dS-MT for ged-emacs-devel@m.gmane-mx.org; Thu, 07 Oct 2021 04:44:47 +0200 Original-Received: from localhost ([::1]:48876 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mYJOo-0003tW-6F for ged-emacs-devel@m.gmane-mx.org; Wed, 06 Oct 2021 22:44:46 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:44032) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mYJNv-0003DR-L6 for emacs-devel@gnu.org; Wed, 06 Oct 2021 22:43:51 -0400 Original-Received: from mail-ed1-x52d.google.com ([2a00:1450:4864:20::52d]:33317) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mYJNu-00081F-5B for emacs-devel@gnu.org; Wed, 06 Oct 2021 22:43:51 -0400 Original-Received: by mail-ed1-x52d.google.com with SMTP id p13so17635219edw.0 for ; Wed, 06 Oct 2021 19:43:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:in-reply-to:references:date:message-id :mime-version; bh=JqIA6zj30GRJXwdWS1mK3dJT88I9mRpjGUai2VhFp14=; b=Sgm8UrS7TuJxEJt+cKfSEKRWD0TH7YzS7k/5/dV0bugHYxcdhvvA0I8uDeYCWJU5t3 FTDGOA2eZLjtjcsz1LPw2QzwEw1rBz33hTYnhV6anvLiFustusta73WB/VdIaMWryaMo Xu4IhbEKt8FTBepDNQEjmTH4PeYGBrf0IUV5Q3wHdGvQg4RHWnlI1Kl9pdyet97Eh3cF d2nTQrrrTyYOxYvsx4p4nnlxIdIN84BPv8P0E4RHeY95qq0RyuUazGOkY1wugXXVXmZ0 AJZxlwNG5HBxGXAbF09xyziRKrlybZiCfCE0Gp031Eb91VXLU88smSxCNBplyQXZQWpZ U7SQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:in-reply-to:references:date :message-id:mime-version; bh=JqIA6zj30GRJXwdWS1mK3dJT88I9mRpjGUai2VhFp14=; b=fgS89orb7xm063/jEGI1Sp9MxCuD32nu2+QnBHYYoJlRkcPppqDPmOC3QFX4PS3SpE Cm7Du9Ow9AFBpfh2SRBZR8jgn9PdFmJE4l6rGPDqO0x8OYGcNr5baUtysooYWBLsS3DY OkWB2xpD6PLm9N/WzuFGPPUTat6PMKHd7Y5ibdQcUAZYOzeCuwzjBpFZcEPfd510lW9q NyzQRTvHnr/v1JIU4bFW0d7TCOiKoYjRhLImRJFCmLftUZKjhBm+JukG3YuBNPw/kZDA RYgebkDXLvS3h5Z084YSp4/zxqzg3+zGP7wv61TlG7Kevftx9yYTBEwukVp7MO2dId7B hrLw== X-Gm-Message-State: AOAM530tj1rRyWierf/mYPXUO+iJXJOfiwqjTXQHAKkoGThF7i7i4cB/ 9wfkys1OnA3sOVj5fbmwgqw= X-Google-Smtp-Source: ABdhPJxOOX0Br3VpBlY9XlfAJectp2xxMqg4krKRGGh9iIxKCueRYYrpncQ8U+z3viB0azYdGDmDVg== X-Received: by 2002:a17:906:2706:: with SMTP id z6mr2321729ejc.551.1633574628187; Wed, 06 Oct 2021 19:43:48 -0700 (PDT) Original-Received: from localhost ([5.2.69.50]) by smtp.googlemail.com with ESMTPSA id v10sm2854756edw.96.2021.10.06.19.43.46 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 06 Oct 2021 19:43:47 -0700 (PDT) In-Reply-To: <87y281cowz.fsf@web.de> Received-SPF: pass client-ip=2a00:1450:4864:20::52d; envelope-from=nuclearspace@gmail.com; helo=mail-ed1-x52d.google.com X-Spam_score_int: -7 X-Spam_score: -0.8 X-Spam_bar: / X-Spam_report: (-0.8 / 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_BL_SPAMCOP_NET=1.347, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 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" Xref: news.gmane.io gmane.emacs.devel:276470 Archived-At: --=-=-= Content-Type: text/plain I must leave one more notice. What will the following forms return, with cl-flet being implemented as is? (let ((n 0)) (cl-symbol-macrolet ((f0 (progn (cl-incf n) #'identity))) (cl-flet ((f f0)) (f t) (f t) n))) (let ((n 0)) (cl-symbol-macrolet ((f0 (progn (cl-incf n) #'identity))) (cl-flet ((f (identity f0))) (f t) (f t) n))) Turns out, the value is not determined by cl-flet spec but rather by its implementation. If it is optimized in a certain way (which is the case right now), the values will diverge. While of course they shouldn't. > Personally I wouldn't mind when this functionality would be provided by > some other form, but there is backward compatibility. > > Don't you think that cl-lib (see Stefan's answer) differs from CL > much more in other aspects? No. The note was about cl- prefix. I can often write CL code easily portable to Elisp and back again by merely writing cl: prefixes in it. Of course, even without them, porting is trivial. The ability to share code is beneficial. I think we should aim to eliminate the difference between cl-lib and CL rather than extend it. > I see your point. OTOH, removing the expression syntax case would be a > backward incompatible change potentially break existing code - right? Introducing it potentially broke existing code in the first place. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJLBAEBCgA1FiEEgu5SJRdnQOF34djNsr6xYbHsf0QFAmFeXDAXHG51Y2xlYXJz cGFjZUBnbWFpbC5jb20ACgkQsr6xYbHsf0TWBBAAwXPfKIWIjmefiwTKcN/EzU+w g14uHPTnAo+/RW887TvsVlyQDK7bauoYLlvCxIEfpugz+PS9AuI6hbg1AA7UC8X+ Fa49OiEbE5e5Iw0vLGr5/dqUNgdoCwqZEcTxB5njL061Pj7AzY7iNeGUdw5lx4oa i+ljZq1OJmqVMmlci+VC1epM42yYCa+IeYpaHBWzRJUQRtKRyYBxoY/oenOybVlg 6dLPwomS9ajq0YvdOuwKSXX3FMyHSqw+13CKjrjMd1Xgo4+Fd354SXVGJAD308hh 2ErBpiAtaa3wRT/EaSQGx8fzJscZ3RHZgDXsKf33r2m5417wrfPoON1+VQ1EPNvi yL6mJ/VqeUJUSMEWqBaA9mMeZFQAvWfu6eCs2SujmGy6iNC2ZCdBSA2LlQMAq3Wk 6bDYWngrVD8STMeavVLsjAeLPmnPLaiMo0ApFDXH3lTBQOWloaZmXeDRAjufbCJ9 nD5E05f5oRedKvZrsAGu6pbNreOZS8D4mU8Vm89FyWNaZosoIOnNSTcKag8zR7uC SbjcLyFnAVUcHJMzp2QNMebl2JUbSKJEWCIvQlFDgJ+99tK6T2LqLGhmxrFv5BXw 1EYsop/OjyiNzjgHXZv8T8ibhHyeF7AndYmo+hez23L2XUAzuYiqufgMeXmMd4n2 BsUeX8nmOt+Lnm9evBQ= =FsRl -----END PGP SIGNATURE----- --=-=-=--