From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Okamsn via "Bug reports for GNU Emacs, the Swiss army knife of text editors" Newsgroups: gmane.emacs.bugs Subject: bug#52342: [PATCH] Add Texinfo support for Flymake Date: Sun, 19 Dec 2021 16:17:56 +0000 Message-ID: <10e97159-488f-2ade-52fa-82a0708d7237@protonmail.com> References: <3948b4c7-bd61-e2f8-6b02-6057631139cb@protonmail.com> Reply-To: Okamsn Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="b1_6kQzCCeZALNtqRWYoS1vIhCUPMDRbJUfQtSMp36GBc" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="19836"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Stefan Kangas , 52342@debbugs.gnu.org To: =?UTF-8?Q?Jo=C3=A3o_?= =?UTF-8?Q?T=C3=A1vora?= , Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sun Dec 19 17:19:18 2021 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 1myyu6-0004y7-AW for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 19 Dec 2021 17:19:18 +0100 Original-Received: from localhost ([::1]:50312 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1myyu5-0002P5-4J for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 19 Dec 2021 11:19:17 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:55292) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1myytq-0002Om-E7 for bug-gnu-emacs@gnu.org; Sun, 19 Dec 2021 11:19:02 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:36263) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1myytq-0007bG-67 for bug-gnu-emacs@gnu.org; Sun, 19 Dec 2021 11:19:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1myytp-00017T-Th for bug-gnu-emacs@gnu.org; Sun, 19 Dec 2021 11:19:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Okamsn Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 19 Dec 2021 16:19:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 52342 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch Original-Received: via spool by 52342-submit@debbugs.gnu.org id=B52342.16399307104263 (code B ref 52342); Sun, 19 Dec 2021 16:19:01 +0000 Original-Received: (at 52342) by debbugs.gnu.org; 19 Dec 2021 16:18:30 +0000 Original-Received: from localhost ([127.0.0.1]:47809 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1myytJ-00016h-Rk for submit@debbugs.gnu.org; Sun, 19 Dec 2021 11:18:30 -0500 Original-Received: from mail-40134.protonmail.ch ([185.70.40.134]:43464) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1myytH-00016R-5l for 52342@debbugs.gnu.org; Sun, 19 Dec 2021 11:18:28 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail2; t=1639930696; bh=TWR5JblHmOKhE2Sm1fPB/d3vr3XzEMFj+6Ln0Y+8Zfw=; h=Date:To:From:Cc:Reply-To:Subject:Message-ID:In-Reply-To: References:From:To:Cc; b=vxDo4kSz7UFMgY9YhwgmAMXYJEhStzdt9ShP/Nw4NJH7ceUUsJrwVvwfL+tFQaGSC WIP5sPwlAR2nRZ12iivCAnvKUI6IlbgJZVXuL1IZzeN35LAvxlgs2pNiFeV9FLLtte rpmDBBikQYjlIjR1AfncBJGL+xunnjdKKZNPXWSTpmuca4wBlToMhRfGj7FmOVRRK4 G4I7f43jYcNYy2Fh5R5T+tPzPKKOLm8u6B5iUGl43fzCaZJLvIPwqBe3YEWQl4mDLH HFDy0u7EYu/XQnCKxh4VqIlXwVDJDWbRVfAcssVcfX/qL/7d/FyBIfQTvrGwe4dIgh Jx+4O++Lu8/yQ== 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" X-ACL-Warn: , Okamsn Xref: news.gmane.io gmane.emacs.bugs:222711 Archived-At: This is a multi-part message in MIME format. --b1_6kQzCCeZALNtqRWYoS1vIhCUPMDRbJUfQtSMp36GBc Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 12/7/21 18:46, Jo=C3=A3o T=C3=A1vora wrote: > On Tue, Dec 7, 2021 at 11:43 PM Jo=C3=A3o T=C3=A1vora > wrote: > > > On Tue, Dec 7, 2021 at 11:39 PM Okamsn > wrote: > > On 12/7/21 09:23, Jo=C3=A3o T=C3=A1vora wrote: > > Not sure about the eval-when-compile for require.=C2=A0 It was= my > > expression that require is always "when compile". > > > > I've unfortunately been a little away from Emacs lately. > > > > Jo=C3=A3o > > My understanding is that `eval-when-compile` is used to make > sure that > macro definitions are available during compilation and that the > libraries are not loaded when `texinfo.el` is loaded.=C2=A0 The > macros in the > patch are `rx`, `cl-loop`, and `flymake-log`. > > > require is always `eval-and-compile` (sorry if I misled you earlier). > It's OK to use `eval-when-compile` when needing `cl-loop` from `cl-li= b` > if _all_ you need form `cl-lib` is indeed macros. > > But for flymake, you need the actual runtime things too, right? So > I think plain require is better and simpler > > > Hmmm, on second thought, it you're planning on relying on > autoloads for ultimate loading lazyness.... Hmm, maybe > you're right... > > Jo=C3=A3o Hello Stefan Monnier, Do you have any thoughts about the lazy loading of Flymake features used in the patch discussed in this thread (re-attached for convenience)? Thank you. --b1_6kQzCCeZALNtqRWYoS1vIhCUPMDRbJUfQtSMp36GBc Content-Type: text/x-patch; name=v2-0001-Add-basic-Texinfo-support-for-Flymake.patch Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename=v2-0001-Add-basic-Texinfo-support-for-Flymake.patch RnJvbSAyMjA5ZTg0Zjk4ZDc1ZWIzZGI1NTg5YmZlNmM2NGRlZDI2NmM2N2UyIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBFYXJsIEh5YXR0IDxva2Ftc25AcHJvdG9ubWFpbC5jb20+CkRh dGU6IE1vbiwgNiBEZWMgMjAyMSAyMTowNDoyNyAtMDUwMApTdWJqZWN0OiBbUEFUQ0ggdjJdIEFk ZCBiYXNpYyBUZXhpbmZvIHN1cHBvcnQgZm9yIEZseW1ha2UuCgoqIGxpc3AvdGV4dG1vZGVzL3Rl eGluZm8uZWwgKHRleGluZm8tZmx5bWFrZSwgdGV4aW5mby0tZmx5bWFrZS1wcm9jKQoodGV4aW5m by1tb2RlKToKQWRkIHRoZSBmdW5jdGlvbnMgdGV4aW5mby1mbHltYWtlIGFuZCBwcm9jZXNzIHZh cmlhYmxlCnRleGluZm8tLWZseW1ha2UtcHJvYy4gIE1vZGlmeSB0ZXhpbmZvLW1vZGUgdG8gYXV0 b21hdGljYWxseSBhZGQgdGhpcwpmdW5jdGlvbiB0byB0aGUgaG9vayBmbHltYWtlLWRpYWdub3N0 aWMtZnVuY3Rpb25zLgotLS0KIGxpc3AvdGV4dG1vZGVzL3RleGluZm8uZWwgfCA3OCArKysrKysr KysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKy0KIDEgZmlsZSBjaGFuZ2VkLCA3NyBpbnNl cnRpb25zKCspLCAxIGRlbGV0aW9uKC0pCgpkaWZmIC0tZ2l0IGEvbGlzcC90ZXh0bW9kZXMvdGV4 aW5mby5lbCBiL2xpc3AvdGV4dG1vZGVzL3RleGluZm8uZWwKaW5kZXggNzFkYjMzYmFlMy4uMjky ZDgxOWRjMiAxMDA2NDQKLS0tIGEvbGlzcC90ZXh0bW9kZXMvdGV4aW5mby5lbAorKysgYi9saXNw L3RleHRtb2Rlcy90ZXhpbmZvLmVsCkBAIC0zMiw2ICszMiwxNiBAQAogCiA7OzsgQ29kZToKIAor KGV2YWwtd2hlbi1jb21waWxlIChyZXF1aXJlICdjbC1saWIpCisgICAgICAgICAgICAgICAgICAg KHJlcXVpcmUgJ2ZseW1ha2UpCisgICAgICAgICAgICAgICAgICAgKHJlcXVpcmUgJ3J4KSkKKyhk ZWNsYXJlLWZ1bmN0aW9uIGZseW1ha2UtZGlhZy1yZWdpb24gImZseW1ha2UiCisgICAgICAgICAg ICAgICAgICAoYnVmZmVyIGxpbmUgJm9wdGlvbmFsIGNvbCkpCisoZGVjbGFyZS1mdW5jdGlvbiBm bHltYWtlLW1ha2UtZGlhZ25vc3RpYyAiZmx5bWFrZSIKKyAgICAgICAgICAgICAgICAgICggbG9j dXMgYmVnIGVuZCB0eXBlIHRleHQKKyAgICAgICAgICAgICAgICAgICAgJm9wdGlvbmFsIGRhdGEg b3ZlcmxheS1wcm9wZXJ0aWVzKSkKKyhkZWNsYXJlLWZ1bmN0aW9uIGZseW1ha2UtLWxvZy0xIChs ZXZlbCBzdWJsb2cgbXNnICZyZXN0IGFyZ3MpKQorCiAoZXZhbC13aGVuLWNvbXBpbGUgKHJlcXVp cmUgJ3RleC1tb2RlKSkKIChkZWNsYXJlLWZ1bmN0aW9uIHRleC1idWZmZXIgInRleC1tb2RlIiAo KSkKIChkZWNsYXJlLWZ1bmN0aW9uIHRleC1yZWdpb24gInRleC1tb2RlIiAoYmVnIGVuZCkpCkBA IC0zMzYsNiArMzQ2LDY5IEBAIHRleGluZm8tY3VycmVudC1kZWZ1bi1uYW1lCiAgICAgKGlmIChy ZS1zZWFyY2gtYmFja3dhcmQgIl5Abm9kZVsgXHRdK1xcKFteLFxuXStcXCkiIG5pbCB0KQogCSht YXRjaC1zdHJpbmctbm8tcHJvcGVydGllcyAxKSkpKQogCis7OzsgRmx5bWFrZSBzdXBwb3J0Ciso ZGVmdmFyLWxvY2FsIHRleGluZm8tLWZseW1ha2UtcHJvYyBuaWwpCisoZGVmdW4gdGV4aW5mby1m bHltYWtlIChyZXBvcnQtZm4gJnJlc3QgXykKKyAgIlRleGluZm8gY2hlY2tpbmcgZm9yIEZseW1h a2UuCisKK1JFUE9SVC1GTiBpcyB0aGUgY2FsbGJhY2sgZnVuY3Rpb24uIgorICAobGV0ICgoZXhl Y3V0YWJsZSAob3IgKGV4ZWN1dGFibGUtZmluZCAibWFrZWluZm8iKQorICAgICAgICAgICAgICAg ICAgICAgICAgKGV4ZWN1dGFibGUtZmluZCAidGV4aTJhbnkiKSkpCisgICAgICAgIChzb3VyY2Ug KGN1cnJlbnQtYnVmZmVyKSkpCisKKyAgICAodW5sZXNzIGV4ZWN1dGFibGUKKyAgICAgIChlcnJv ciAiRmx5bWFrZSBmb3IgVGV4aW5mbyByZXF1aXJlcyBgbWFrZWluZm8nIG9yIGB0ZXhpMmFueSci KSkKKworICAgICh3aGVuIChwcm9jZXNzLWxpdmUtcCB0ZXhpbmZvLS1mbHltYWtlLXByb2MpCisg ICAgICAoa2lsbC1wcm9jZXNzIHRleGluZm8tLWZseW1ha2UtcHJvYykpCisKKyAgICAoc2F2ZS1y ZXN0cmljdGlvbgorICAgICAgKHdpZGVuKQorICAgICAgKHNldHEgdGV4aW5mby0tZmx5bWFrZS1w cm9jCisgICAgICAgICAgICAobWFrZS1wcm9jZXNzCisgICAgICAgICAgICAgOm5hbWUgInRleGlu Zm8tZmx5bWFrZSIKKyAgICAgICAgICAgICA6bm9xdWVyeSB0CisgICAgICAgICAgICAgOmNvbm5l Y3Rpb24tdHlwZSAncGlwZQorICAgICAgICAgICAgIDpidWZmZXIgKGdlbmVyYXRlLW5ldy1idWZm ZXIgIiAqdGV4aW5mby1mbHltYWtlKiIpCisgICAgICAgICAgICAgOmNvbW1hbmQgYCgsZXhlY3V0 YWJsZSAiLW8iICxudWxsLWRldmljZSAiLSIpCisgICAgICAgICAgICAgOnNlbnRpbmVsCisgICAg ICAgICAgICAgKGxhbWJkYSAocHJvYyBfZXZlbnQpCisgICAgICAgICAgICAgICAod2hlbiAobWVt cSAocHJvY2Vzcy1zdGF0dXMgcHJvYykgJyhleGl0IHNpZ25hbCkpCisgICAgICAgICAgICAgICAg ICh1bndpbmQtcHJvdGVjdAorICAgICAgICAgICAgICAgICAgICAgKGlmIChlcSAoYnVmZmVyLWxv Y2FsLXZhbHVlICd0ZXhpbmZvLS1mbHltYWtlLXByb2MKKyAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICBzb3VyY2UpCisgICAgICAgICAgICAgICAgICAgICAg ICAgICAgIHByb2MpCisgICAgICAgICAgICAgICAgICAgICAgICAgKHdpdGgtY3VycmVudC1idWZm ZXIgKHByb2Nlc3MtYnVmZmVyIHByb2MpCisgICAgICAgICAgICAgICAgICAgICAgICAgICAoZ290 by1jaGFyIChwb2ludC1taW4pKQorICAgICAgICAgICAgICAgICAgICAgICAgICAgKGNsLWxvb3AK KyAgICAgICAgICAgICAgICAgICAgICAgICAgICB3aGlsZSAoc2VhcmNoLWZvcndhcmQtcmVnZXhw CisgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIChyeCBsaW5lLXN0YXJ0CisgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAiLToiCisgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAoZ3JvdXAtbiAxICgwKyBkaWdpdCkpIDsgTGluZQorICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgKG9wdGlvbmFsICI6IiAoZ3JvdXAt biAyICgwKyBkaWdpdCkpKSA7IGNvbAorICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgIjogIgorICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgKG9wdGlv bmFsIChncm91cC1uIDMgIndhcm5pbmc6ICIpKSA7IHdhcm4KKyAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgIChncm91cC1uIDQgKDArIG5vbmwpKSA7IE1lc3NhZ2UKKyAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGxpbmUtZW5kKQorICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICBuaWwgdCkKKyAgICAgICAgICAgICAgICAgICAgICAgICAg ICBmb3IgbXNnID0gKG1hdGNoLXN0cmluZyA0KQorICAgICAgICAgICAgICAgICAgICAgICAgICAg IGZvciAoYmVnIC4gZW5kKSA9IChmbHltYWtlLWRpYWctcmVnaW9uCisgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHNvdXJjZQorICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAoc3RyaW5nLXRvLW51bWJlciAobWF0Y2gtc3Ry aW5nIDEpKSkKKyAgICAgICAgICAgICAgICAgICAgICAgICAgICBmb3IgdHlwZSA9IChpZiAobWF0 Y2gtc3RyaW5nIDMpCisgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg Ondhcm5pbmcKKyAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgOmVycm9y KQorICAgICAgICAgICAgICAgICAgICAgICAgICAgIGNvbGxlY3QgKGZseW1ha2UtbWFrZS1kaWFn bm9zdGljCisgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgc291cmNlIGJlZyBl bmQgdHlwZSBtc2cpCisgICAgICAgICAgICAgICAgICAgICAgICAgICAgaW50byBkaWFncworICAg ICAgICAgICAgICAgICAgICAgICAgICAgIGZpbmFsbHkgKGZ1bmNhbGwgcmVwb3J0LWZuIGRpYWdz KSkpCisgICAgICAgICAgICAgICAgICAgICAgIChmbHltYWtlLWxvZyA6d2FybmluZyAiQ2FuY2Vs bGluZyBvYnNvbGV0ZSBjaGVjayAlcyIKKyAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgIHByb2MpKQorICAgICAgICAgICAgICAgICAgIChraWxsLWJ1ZmZlciAocHJvY2Vzcy1idWZm ZXIgcHJvYykpKSkpKSkKKyAgICAgIChwcm9jZXNzLXNlbmQtcmVnaW9uIHRleGluZm8tLWZseW1h a2UtcHJvYyAocG9pbnQtbWluKSAocG9pbnQtbWF4KSkKKyAgICAgIChwcm9jZXNzLXNlbmQtZW9m IHRleGluZm8tLWZseW1ha2UtcHJvYykpKSkKKworCiA7OzsgVGV4aW5mbyBtb2RlCiAKIDs7OyMj I2F1dG9sb2FkCkBAIC00NTUsNyArNTI4LDEwIEBAIHRleGluZm8tbW9kZQogCSAgICAgIChsZXQg KChwcmV2ZW50LWZpbGxpbmcgIl5AXFwoZGVmXFx8bXVsdGl0YWJsZVxcKSIpKQogCQkoaWYgKG51 bGwgYXV0by1maWxsLWluaGliaXQtcmVnZXhwKQogCQkgICAgcHJldmVudC1maWxsaW5nCi0JCSAg KGNvbmNhdCBhdXRvLWZpbGwtaW5oaWJpdC1yZWdleHAgIlxcfCIgcHJldmVudC1maWxsaW5nKSkp KSkKKwkJICAoY29uY2F0IGF1dG8tZmlsbC1pbmhpYml0LXJlZ2V4cCAiXFx8IiBwcmV2ZW50LWZp bGxpbmcpKSkpCisKKyAgOzsgU2V0IHVwIEZseW1ha2Ugc3VwcG9ydC4KKyAgKGFkZC1ob29rICdm bHltYWtlLWRpYWdub3N0aWMtZnVuY3Rpb25zICMndGV4aW5mby1mbHltYWtlIG5pbCB0KSkKIAog KGRlZnZhciB0ZXhpbmZvLWZpbGxhYmxlLWNvbW1hbmRzICcoIkBub2luZGVudCIpCiAgICJBIGxp c3Qgb2YgY29tbWFuZHMgdGhhdCBjYW4gYmUgZmlsbGVkLiIpCi0tIAoyLjI1LjEKCg== --b1_6kQzCCeZALNtqRWYoS1vIhCUPMDRbJUfQtSMp36GBc--