From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Lynn Winebarger Newsgroups: gmane.emacs.devel Subject: Re: jinx Date: Sat, 1 Apr 2023 09:11:16 -0400 Message-ID: References: <87sfdnyuxc.fsf@posteo.de> <83sfdl2z26.fsf@gnu.org> <86tty0ydnl.fsf@gnu.org> <83fs9k20tu.fsf@gnu.org> <86edp4yarm.fsf@gnu.org> <83sfdkysph.fsf@gnu.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="10857"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Arash Esbati , rms@gnu.org, m.eliachevitch@posteo.de, emacs-devel@gnu.org To: Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sat Apr 01 15:11:45 2023 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 1pib1F-0002az-48 for ged-emacs-devel@m.gmane-mx.org; Sat, 01 Apr 2023 15:11:45 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pib14-0006mu-Gh; Sat, 01 Apr 2023 09:11:34 -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 1pib13-0006mU-0t for emacs-devel@gnu.org; Sat, 01 Apr 2023 09:11:33 -0400 Original-Received: from mail-pl1-x62f.google.com ([2607:f8b0:4864:20::62f]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pib11-0007CU-GR; Sat, 01 Apr 2023 09:11:32 -0400 Original-Received: by mail-pl1-x62f.google.com with SMTP id iw3so23961171plb.6; Sat, 01 Apr 2023 06:11:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; t=1680354688; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=njH+7+mv1iPX5EHyFl85JehIluxs+BvoOSYmr9u+MX4=; b=KgEXoVzmDPi9leAPRcYgEQpYW3rgsdkQTLHYDOf1hHwjjc0bBds3Ypda8UAiL7Bz/K VNcenm4Ex/KH/5HR4e0SDIpvHbE9+cwLFZR5hIvbhq35Qgz/WHI8IB3vyOjUESgH2PQN KUbxTAWylLxgQoSNgCjkkO6OKls9MoBT6mWNAd6npqZdnloWdVLxbe4MUIVeQEx+npVy pKB96oryBxKwsQuQ9JG6pXHiuZrDZYNzyt1AVuYOVQcnJV5KLEwDY1Yxw0qMasW7onCF +Gr9NoAsIzOdYZMR0+UFSyZdrkHhb+H7nrgF3L8yRmEU97LoR2aoh/LQlCk2NiGj35R2 LpXA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1680354688; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=njH+7+mv1iPX5EHyFl85JehIluxs+BvoOSYmr9u+MX4=; b=5qAwkvg5qcLg9pEMVmaM/jhgx/ONsI6L/BaiI7T31g72QzVNqXi6ox/b4DYpk0AhAx 0pYSLEnclo3EMdqeWObXNtYSFD9FxUDFgiMg52jce2InQhdq1o63U+UnQVZx9X3DNW2u qPdWeEaBQWGJHyyljsHb+JNJM4HsCr7Z037nztCN0JNVCW6GLhlBp0IS/+woQ7O83SJB EYKn9guWd5weXBwY+UBo0w9dtLHIcHl+O7eHIuS7budhBDnLEGH19azMUnL5FYWZ1PvT I4+R4ppeAMvZ7V/wp9pBKk3csVwiFO+tZacw7p3L2xEu1gOA56QNs5xjpNeH8i7k7yOQ trFw== X-Gm-Message-State: AAQBX9d2FrYb2DqYT8lvohk5GVjYR1qJmyGzbrXZU9t4ywpT5+ga2ghr 3alxP0RqNZj7VjcjWBBsAuT+M8FE6wpSaPcmOIB8EbQd X-Google-Smtp-Source: AKy350aBptHBT7fpJ31qZ2KDuBxYPcA0hYoo1AKQ4tWohNC8lzH3LP7xNOTpJVlB9LsY5RM1BCgxm7x7QQ6i51AAbzg= X-Received: by 2002:a17:903:41c5:b0:1a1:b305:f891 with SMTP id u5-20020a17090341c500b001a1b305f891mr10540807ple.9.1680354688066; Sat, 01 Apr 2023 06:11:28 -0700 (PDT) In-Reply-To: <83sfdkysph.fsf@gnu.org> Received-SPF: pass client-ip=2607:f8b0:4864:20::62f; envelope-from=owinebar@gmail.com; helo=mail-pl1-x62f.google.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, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 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:304999 Archived-At: On Sat, Apr 1, 2023 at 3:20=E2=80=AFAM Eli Zaretskii wrote: > > From: Arash Esbati > > Cc: rms@gnu.org, m.eliachevitch@posteo.de, emacs-devel@gnu.org > > Date: Fri, 31 Mar 2023 21:35:25 +0200 > > > > > (I wonder why the built-in TeX support in the spell-checker doesn't d= o > > > this job, it's supposed to be adequate, and all Emacs needs to do is > > > to tell the speller it is working on TeX text. So I don't even > > > understand why we need to skip something on our own in these cases.) > > > > I can only tell for hunspell: It has built-in support for skipping of > > many macro arguments and environments[1], but: > > > > a) It is not complete (and probably will never be) > > b) It cannot work for user defined macros/environments, and this is > > where AUCTeX/ispell shine: AUCTeX can parse user defined > > macros/environments and add them automatically to > > `ispell-tex-skip-alists'. > > c) Another advantage of `ispell-tex-skip-alists' is that one can writ= e > > a function and put that in `ispell-tex-skip-alists' for certain > > macros/environments: That gives us a lot of flexibility to precisely > > skip or check. > > These issues are not TeX-specific, so they should be handled in a more > general way, not bound to TeX/LaTeX. In particular, any "tex-skip" > features should not supplant the TeX support built into the speller, > they should only _add_ skip regexps for stuff that the speller cannot > support, like user-defined macros. > > I'm not sure I understand item c), though: when and why would one want > to spell-check macros and environments? If's completely possible to have TeX files with typos in the macros or environments. I wouldn't mind having some mechanism for detecting such typos and suggesting correct possibilities. Whether that should be done through a spell-checking interface or not, I don't know. Obviously I'd want the dictionary for spell-checking those lexemes to be distinct from the ones used for checking ordinary text. Please note I am not advocating for such a feature, I am only responding to your question. Lynn