unofficial mirror of bug-gnu-emacs@gnu.org 
 help / color / mirror / code / Atom feed
From: Philip Kaludercic <philipk@posteo.net>
To: Augusto Stoffel <arstoffel@gmail.com>
Cc: 54296@debbugs.gnu.org, larsi@gnus.org,
	Stefan Monnier <monnier@iro.umontreal.ca>
Subject: bug#54296: Add buffer-matching functionality
Date: Sat, 12 Mar 2022 11:07:51 +0000	[thread overview]
Message-ID: <87v8wjjuns.fsf@posteo.net> (raw)
In-Reply-To: <878rtfwjtx.fsf@gmail.com> (Augusto Stoffel's message of "Sat, 12 Mar 2022 11:23:22 +0100")

Augusto Stoffel <arstoffel@gmail.com> writes:

>>> +  * `not': the cdr is interpreted as a negation of a condition.
>>> +  * `and': the cdr is a list of recursive condition, that all have
>>> +    to be met.                            ^^^^^^^^^
>>
>> Typo: should be "conditions".
>>
>>> +  * `or': the cdr is a list of recursive condition, of which at
>>> +    least one has to be met."            ^^^^^^^^^
>
> In 'font-lock-ignore' you can prefix an or-condition with !, with the
> gitignore semantics.  This seems very appropriate for a buffer-matching
> functionality.
>
> But then `or' is not the familiar short-circuiting
> operation, and you need to evaluate the conditions backwards...
>
> On a more bikesheddy note, I'm also debating a bit what is more
> readable:
>
>     (or cond1 cond2 ! cond2)
>
> or else
>   
>     (or cond1 cond2 (except cond2))

If this would be included, I would certainly prefer the latter.

-- 
	Philip Kaludercic





  reply	other threads:[~2022-03-12 11:07 UTC|newest]

Thread overview: 47+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-03-07 22:33 bug#54296: Add buffer-matching functionality Philip Kaludercic
2022-03-09 16:20 ` Lars Ingebrigtsen
2022-03-09 20:34   ` martin rudalics
2022-03-10 10:05   ` Philip Kaludercic
2022-03-10 11:53     ` Eli Zaretskii
2022-03-10 12:13       ` Philip Kaludercic
2022-03-10 14:52         ` bug#54296: [External] : " Drew Adams
2022-03-10 16:56         ` Eli Zaretskii
2022-03-11 16:21           ` Philip Kaludercic
2022-03-11 18:34             ` Eli Zaretskii
2022-03-13 20:40               ` Philip Kaludercic
2022-03-14  3:21                 ` Eli Zaretskii
2022-03-14  8:21                   ` Philip Kaludercic
2022-03-14 13:00                     ` Eli Zaretskii
2022-03-14 13:38                       ` Philip Kaludercic
2022-06-13  0:30                         ` Dmitry Gutov
     [not found]                         ` <add2d2d0-9cdf-9048-1a62-f34e585c582e@yandex.ru>
2022-06-13 12:04                           ` Eli Zaretskii
2022-06-14 18:43                             ` Dmitry Gutov
2022-06-14 18:47                               ` Eli Zaretskii
2022-06-14 19:36                                 ` Dmitry Gutov
2022-06-15  2:33                                   ` Eli Zaretskii
2022-06-15 11:48                                     ` Dmitry Gutov
2022-06-15 13:20                                       ` Eli Zaretskii
2022-06-15 15:56                                         ` Dmitry Gutov
2022-06-15 16:17                                           ` Eli Zaretskii
2022-06-15 16:51                                             ` Dmitry Gutov
2022-06-15 17:29                                               ` Eli Zaretskii
2022-06-16  0:47                                                 ` Dmitry Gutov
2022-06-16  5:51                                                   ` Eli Zaretskii
2022-06-17  1:21                                                     ` Dmitry Gutov
2022-06-17  5:48                                                       ` Eli Zaretskii
2022-06-17 13:39                                                         ` Dmitry Gutov
2022-06-15 16:59                                         ` Philip Kaludercic
2022-06-17  1:22                                           ` Dmitry Gutov
2022-04-14  8:25                       ` Philip Kaludercic
2022-04-15  6:56                         ` Eli Zaretskii
2022-04-15 10:57                           ` Philip Kaludercic
2022-06-13  0:30                   ` Dmitry Gutov
     [not found]                   ` <b4bf095c-7210-61ee-87af-3d8031caba89@yandex.ru>
2022-06-13 12:13                     ` Eli Zaretskii
2022-06-14 19:00                       ` Dmitry Gutov
2022-06-14 19:17                         ` Eli Zaretskii
2022-06-14 19:46                           ` Dmitry Gutov
2022-06-15  2:34                             ` Eli Zaretskii
2022-06-15 11:54                               ` Dmitry Gutov
2022-03-12 10:23       ` Augusto Stoffel
2022-03-12 11:07         ` Philip Kaludercic [this message]
2022-03-10 15:42     ` martin rudalics

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87v8wjjuns.fsf@posteo.net \
    --to=philipk@posteo.net \
    --cc=54296@debbugs.gnu.org \
    --cc=arstoffel@gmail.com \
    --cc=larsi@gnus.org \
    --cc=monnier@iro.umontreal.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).