From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Kangas Newsgroups: gmane.emacs.bugs Subject: bug#66706: [PATCH] Automatic elisp dialect insertion Date: Mon, 23 Oct 2023 12:21:47 -0700 Message-ID: References: <17C83052-7946-45DE-B660-DA7EB82001B0@gmail.com> <83sf61mb54.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="18358"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 66706@debbugs.gnu.org To: Eli Zaretskii , Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Oct 23 21:22:55 2023 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 1qv0Vl-0004Oi-JR for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 23 Oct 2023 21:22:49 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qv0VY-0004rD-HY; Mon, 23 Oct 2023 15:22:36 -0400 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 1qv0VV-0004n7-EF for bug-gnu-emacs@gnu.org; Mon, 23 Oct 2023 15:22:34 -0400 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qv0VV-0004Ti-4U for bug-gnu-emacs@gnu.org; Mon, 23 Oct 2023 15:22:33 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qv0Vx-0001o8-Pd for bug-gnu-emacs@gnu.org; Mon, 23 Oct 2023 15:23:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Kangas Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 23 Oct 2023 19:23:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 66706 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch Original-Received: via spool by 66706-submit@debbugs.gnu.org id=B66706.16980889476902 (code B ref 66706); Mon, 23 Oct 2023 19:23:01 +0000 Original-Received: (at 66706) by debbugs.gnu.org; 23 Oct 2023 19:22:27 +0000 Original-Received: from localhost ([127.0.0.1]:51719 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qv0VP-0001nG-4q for submit@debbugs.gnu.org; Mon, 23 Oct 2023 15:22:27 -0400 Original-Received: from mail-lj1-x22b.google.com ([2a00:1450:4864:20::22b]:55504) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qv0VL-0001my-JK for 66706@debbugs.gnu.org; Mon, 23 Oct 2023 15:22:25 -0400 Original-Received: by mail-lj1-x22b.google.com with SMTP id 38308e7fff4ca-2b9338e4695so51313411fa.2 for <66706@debbugs.gnu.org>; Mon, 23 Oct 2023 12:21:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1698088908; x=1698693708; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:mime-version:references:in-reply-to :from:from:to:cc:subject:date:message-id:reply-to; bh=QXPJyetqldDZRo+4L3PMoB091BhlfKBwRfRVC2k6GqA=; b=RsGjTZ2FpfPw2jr4e3OhQgnQBVTrkdCcfP9wJo+KXfqcFx8DfmQfbPNFnd8ELqY8F8 og/im/zp+FOufm9/vvBeZcfARhFsLBG+u3Z5VsHlfnHYMgMnWHdvaYaR6BuSPJeaDTL7 nMSHh8FrGEcl3HgK1bKdtlvDiZ2AvFbY0nq0LUAc0ONkIDyOz8ReAo/x6/h7IG1+dD7c BdIIfqVHZ/T9ROH7sqnGTMglrAz365XbQpRIiTYpe2HjtuDCDgJUHw3rcErEmh6CWoPC 7kzLS/LoGbtc+pV81oCPuED0MwhJEQU1vR7GoXf9JHhAczFiMLJY1CCyuSiP+zH0WO3f t7eg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1698088908; x=1698693708; h=cc:to:subject:message-id:date:mime-version:references:in-reply-to :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=QXPJyetqldDZRo+4L3PMoB091BhlfKBwRfRVC2k6GqA=; b=jaNPB9RFKCcxCYC46CDOAf6HRHBj80DVAGKBahMfKV671BSgcA8SFAZ0+SfhXMZDHJ bk0Z38j6P4WhQKfr8vNxxHh+fL4g9u8wCOzAapf+zRi1lZEcZ9W4C4RPNAx3/RaE+sj0 E2lziZ12GCdtxeAvWoX8hbq/IURnGjrPjXqN9TxO6osESp4MaNPvcA+nwr9HPC8B4oQG KvmClDMJy94PpU+dW+rWorGM0IYCTpLpEmoauS1OcxPbVBKi658YZk341yKXmcE7kDs7 gBODk63zJVTfEZzZSTzhjYb+NAJOJjKVmcspgySpvOe4vPA2khROV50Cuffze3sULiE9 08rw== X-Gm-Message-State: AOJu0YwBZIb7pnqtrt+7NzhGK75vCmjEz9ihRrf4x/LjvlNBKJ732DIB opRjHVKy2QDhFiMtva4MohiUnFJTFYYsWO/NcyI= X-Google-Smtp-Source: AGHT+IEqNoyDy8Ete8oTAbn2ZP2E1BODF4RCp/Ka9tAz9r82WTQfC65v/nT40/NZ/GfNhFtzkV+/mxJV1Qiu84Hs0ZY= X-Received: by 2002:a2e:9a92:0:b0:2c5:106f:540f with SMTP id p18-20020a2e9a92000000b002c5106f540fmr8010192lji.43.1698088907960; Mon, 23 Oct 2023 12:21:47 -0700 (PDT) Original-Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Mon, 23 Oct 2023 12:21:47 -0700 In-Reply-To: <83sf61mb54.fsf@gnu.org> 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-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:273051 Archived-At: Eli Zaretskii writes: >> This patch inserts the lexical cookie in new Elisp files automatically. >> It helps users by making it less likely that they forget to add it, and eliminates some drudgery. >> Their code will be more future-safe, and more robust and performant here and now. Sounds good to me. > This could be an optional feature, but not the default. It is > un-Emacs'y to insert stuff into user files or buffers without an > explicit consent. We have several auto-insert features in Emacs, and > they are all optional, so this one must be optional as well. Yeah, it's not something we usually do. But we also don't change Emacs Lisp in such a fundamental way very often (once every 40 years, give or take?). So I think veering from what we usually do is justified. I also note that this can only help and will never hurt users. If anyone happens to hate this, they can easily disable it. Whereas, on the other hand, making the feature optional makes it much less useful. So my vote would be in favor of this change.