From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Augusto Stoffel Newsgroups: gmane.emacs.devel Subject: Re: jinx Date: Sat, 01 Apr 2023 10:32:56 +0200 Message-ID: <87355kgfyf.fsf@gmail.com> References: <87sfdnyuxc.fsf@posteo.de> <83sfdl2z26.fsf@gnu.org> <86tty0ydnl.fsf@gnu.org> <83fs9k20tu.fsf@gnu.org> <86edp4yarm.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="26234"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Eli Zaretskii , rms@gnu.org, m.eliachevitch@posteo.de, emacs-devel@gnu.org To: Arash Esbati Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sat Apr 01 10:33:35 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 1piWg3-0006fo-6K for ged-emacs-devel@m.gmane-mx.org; Sat, 01 Apr 2023 10:33:35 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1piWfX-0007xe-SV; Sat, 01 Apr 2023 04:33:03 -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 1piWfW-0007xV-AA for emacs-devel@gnu.org; Sat, 01 Apr 2023 04:33:02 -0400 Original-Received: from mail-ed1-x52e.google.com ([2a00:1450:4864:20::52e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1piWfU-0007JV-Mi; Sat, 01 Apr 2023 04:33:01 -0400 Original-Received: by mail-ed1-x52e.google.com with SMTP id t10so98589458edd.12; Sat, 01 Apr 2023 01:32:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; t=1680337978; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=wMdAzJ1oecLQofHO/IvJeU6gK8Pirhox0wB3l3nsGKo=; b=KYN1/B6RAL4WLAYJB3qZHlLtrl9nbqWzCftsJWaOPDVqFt2mG3zNCTwL/FB8NH4D+s T6cnKbuc6z3evZBuSgxqfRkmfMl8ewwu/SSasX8K0MZ94gELAHuBowsXZ9VxVITFlwKG ivfjRqL8Op8QX/G6A7d6S5mSbe70W9dE0ViQooaXRmFqR6Ah0tWdoEnTbFgMJqb0qqQr iJyQLBu7jOYKsOkTz2RIVWm2KUK8FcQYm7HM5frwPXCO8omo3Baz3haRSsRdJdhrJ6d/ z8qehqdH8IUD0L1e4Ol0DyCXcvTl6CSgLGhGZ4vIXU/DOKoosEHXvRQIa8LJ0SrYKpWK eHxQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1680337978; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=wMdAzJ1oecLQofHO/IvJeU6gK8Pirhox0wB3l3nsGKo=; b=IKyTZlBhRoNl3KPIoz4txR7XD0kUQije4Row6WfxlsfnMEtST9RrUQ92+FkA/7W85j 6lkrs0yaEbsp5g+r1YmIsQ3mrOzv/yeP9zzmLoQfDZtLHlOzZ2kM0NPLXpZBmXL8YF/H 0n3DDjn5uZi7qEzKbB/t45gjHYRL6USgU7y6SPKHOAQEz+55wRgzoJauJxHmrXA+MIRM yS0jFImB6Wwu2sAV4x97cfo4mmRZuMkoTCNRcHn4HxSwLFHuzCGmGj5s6VZ6CZgbZBCC 3VimdG+RgQqT4Mk9scnyiMUNkqStELpsEdWJITVUF1GG463x6pTZuBT5x6ityK1QHjJt cNuA== X-Gm-Message-State: AAQBX9ckncebWv1sa6HT8/l9VQd87LsUN8dP/HWoizhJieJCeOZxLTEo KLH6G5YJhGyTW5WwWjG4+pTMvjHuh2t/RQ== X-Google-Smtp-Source: AKy350bvDrIiFdqLBLfUqhe3rQ3j4abmU+ISbh0K6nmiwFBTwuzOW0cvcKb3860NZGH/4MnufBBfcA== X-Received: by 2002:a17:907:6b06:b0:93f:50c7:2f5f with SMTP id rm6-20020a1709076b0600b0093f50c72f5fmr24473862ejc.63.1680337978144; Sat, 01 Apr 2023 01:32:58 -0700 (PDT) Original-Received: from ars3 ([2a02:8109:8ac0:56d0::f39f]) by smtp.gmail.com with ESMTPSA id jo25-20020a170906f6d900b0093408d33875sm1852052ejb.49.2023.04.01.01.32.57 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 01 Apr 2023 01:32:57 -0700 (PDT) In-Reply-To: <86edp4yarm.fsf@gnu.org> (Arash Esbati's message of "Fri, 31 Mar 2023 21:35:25 +0200") Received-SPF: pass client-ip=2a00:1450:4864:20::52e; envelope-from=arstoffel@gmail.com; helo=mail-ed1-x52e.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:304981 Archived-At: On Fri, 31 Mar 2023 at 21:35, Arash Esbati wrote: >> (I wonder why the built-in TeX support in the spell-checker doesn't do >> 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 write > 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. A more basic reason why this couldn't work is, the parser is stateful and you need to look at an arbitrary amount of preceding text to figure out the context at point. So you can't rely on the spellchecker TeX parser if you feed single words or lines into it, as Flyspell et al do.