From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: =?UTF-8?Q?Jo=C3=A3o_?= =?UTF-8?Q?T=C3=A1vora?= Newsgroups: gmane.emacs.bugs Subject: bug#55811: 29.0.50; No flymake diagnostics for no-byte-compile files Date: Tue, 07 Jun 2022 07:41:41 +0100 Message-ID: <87k09t561m.fsf@gmail.com> References: <87k09u26ls.fsf@gnus.org> 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="16274"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) Cc: Lars Ingebrigtsen , 55811@debbugs.gnu.org To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Tue Jun 07 08:42:18 2022 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 1nySuu-0003zM-9Y for geb-bug-gnu-emacs@m.gmane-mx.org; Tue, 07 Jun 2022 08:42:16 +0200 Original-Received: from localhost ([::1]:47640 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nySuq-0005Bh-HY for geb-bug-gnu-emacs@m.gmane-mx.org; Tue, 07 Jun 2022 02:42:14 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:42250) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nyStp-0004yi-BE for bug-gnu-emacs@gnu.org; Tue, 07 Jun 2022 02:41:12 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:43458) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nySti-0002vc-Ee for bug-gnu-emacs@gnu.org; Tue, 07 Jun 2022 02:41:03 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nySti-0003vk-7G for bug-gnu-emacs@gnu.org; Tue, 07 Jun 2022 02:41:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: =?UTF-8?Q?Jo=C3=A3o_?= =?UTF-8?Q?T=C3=A1vora?= Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 07 Jun 2022 06:41:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55811 X-GNU-PR-Package: emacs Original-Received: via spool by 55811-submit@debbugs.gnu.org id=B55811.165458403615065 (code B ref 55811); Tue, 07 Jun 2022 06:41:02 +0000 Original-Received: (at 55811) by debbugs.gnu.org; 7 Jun 2022 06:40:36 +0000 Original-Received: from localhost ([127.0.0.1]:37355 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nyStI-0003uu-A9 for submit@debbugs.gnu.org; Tue, 07 Jun 2022 02:40:36 -0400 Original-Received: from mail-wm1-f54.google.com ([209.85.128.54]:45933) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nyStF-0003ue-2M for 55811@debbugs.gnu.org; Tue, 07 Jun 2022 02:40:35 -0400 Original-Received: by mail-wm1-f54.google.com with SMTP id n124-20020a1c2782000000b003972dfca96cso8942942wmn.4 for <55811@debbugs.gnu.org>; Mon, 06 Jun 2022 23:40:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-transfer-encoding; bh=keNKtyIX8Bp3gSDrCDy/4d2kYkWXOqkAzK97qYZ3U+s=; b=Lm5FMCaqa4xft/YRxAykiJLjmkQAGAYSaJxUFcyy/7+riscCpZHNjTrr4IPZTtltza ALvwn3IQAE4Wz5ZKvbxBhjeMd2YsmIxZwqYeO4uZfJaHaZczBEaPUyqQsINpp14y/VRl z4GtauanZuQfYk6OOXKc1bWvFxPBo4HE35MMf+qGOo3hgJrGqoUoe34i8P3krFwM7+/7 +J1lVTuj2Z9UL5cl4BfdSyfYug1l1fJpS6qbl80L69AWSi2ODuNHqdQVYQ4TqXZPk/qf RfSaNp7qwa3yS+WrgtlxGLrx5Zc4Gymzal7fX+DHCWAPYEMl+fQ1C23aMgiSXbEXZrOZ Ka5A== 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:references:date:in-reply-to :message-id:user-agent:mime-version:content-transfer-encoding; bh=keNKtyIX8Bp3gSDrCDy/4d2kYkWXOqkAzK97qYZ3U+s=; b=22vjtTsl+eUMSgcYTJ4hE8+9OEr458akB+iw15cnD0M6B0AhO8hdNW1W9fl6IV7ZJ9 S2nxP3t79C0jmReOdFWNT2VgRV/SXpbs+0RQ7XiwjeWqaXMWjTB82n+TcKsVlb34M+YV 6RFSddLfjOEFqElvln0OqLQkVCgWb66E1K5i51xcfJ+krwayuGebCeemEB7VpFeAWl44 gcLIAUwT+fsB5PF1df/sxWj3np2Twsb4g+7DsNfnW+4jgUMmBPcBl7S8Gdry+2PRa0/E gk8x3vifOlnDBRuIEUtfiuMPmAf89AHJFGOSoDuwFX/XuwwKL9HnUdYVdowi6VoFCO/D 4CVg== X-Gm-Message-State: AOAM530LYPdLF48d5RXQimnw51bWjTHLvDw1ar4y52zAeaPRTn5B/NSX OXap2IiZ5/WIcVbFTrq9wbBrp1zA7t0PrA== X-Google-Smtp-Source: ABdhPJwQx+fiyNoaCzzkugrlsG1fa2ol49DsRk6pMV/SRyoff4gW7OcwbtUw1MwUemK0z34Wv2AQ0g== X-Received: by 2002:a05:600c:3c8f:b0:39b:808c:b5cb with SMTP id bg15-20020a05600c3c8f00b0039b808cb5cbmr27680166wmb.11.1654584026775; Mon, 06 Jun 2022 23:40:26 -0700 (PDT) Original-Received: from krug ([87.196.73.138]) by smtp.gmail.com with ESMTPSA id h1-20020a056000000100b0020c5253d8casm17084108wrx.22.2022.06.06.23.40.25 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 06 Jun 2022 23:40:26 -0700 (PDT) In-Reply-To: (Stefan Monnier's message of "Sun, 05 Jun 2022 19:09:17 -0400") 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:233836 Archived-At: Hi Stefan, Stefan Monnier writes: > That's a slightly different case from mine: the `no-byte-compile` is > often used either because the user really only ever wants to load the > `.el` or because the compilation is known to fail (e.g. because it > requires macros defined in a package that's not marked as a strict > dependency, very common in tests). By this you mean that the provider of such macros is not `require`d? Then I don't understand what Flymake's byte-compilation backend could do about this either... As far as I understand it would just red-underline all the unknown macro-using forms, their bodies wouldn't be checked. Is this what you want? To check the rest of the file regardless? Of course you know this -- but just to clarify -- the byte-compilation backend works by launching a Emacs -Q which is asked to byte-compile only a file containing the current buffer's contents. During that byte-compilation nothing more is loaded apart from what is preloaded or explicitly loaded by the file at compile-time (via require or eval-when/and-compile stuff). A related issue is that when there _is_ an explicit require, then the load-path support is pretty poor: only the current directory is added to it. If the `require`'d file lives somewhere else, there's no way to hint that to the byte-comp backend, with a particular load-path. Anyway, maybe you could give small example of such a file containing such a cookie where you think Flymake's "I refuse to lint this" behavior could be improved. Jo=C3=A3o