unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: Richard Stallman <rms@gnu.org>
To: Stefan Monnier <monnier@iro.umontreal.ca>
Cc: stefan@marxist.se, juri@linkov.net, rudalics@gmx.at,
	dgutov@yandex.ru, eliz@gnu.org, emacs-devel@gnu.org,
	larsi@gnus.org
Subject: Re: master ff4de1b: Fix quoting style in Lisp comments
Date: Thu, 16 Sep 2021 20:16:53 -0400	[thread overview]
Message-ID: <E1mR1Yj-0002iw-KN@fencepost.gnu.org> (raw)
In-Reply-To: <jwvk0jhd2r4.fsf-monnier+emacs@gnu.org> (message from Stefan Monnier on Wed, 15 Sep 2021 16:15:59 -0400)

[[[ To any NSA and FBI agents reading my email: please consider    ]]]
[[[ whether defending the US Constitution against all enemies,     ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

  > - We declare `...' as the official style.  This matches the historical
  >   use, so it requires no changes, AFAIK (other than reverting Eli's
  >   commit, obviously).

That IS the official style, in Emacs Lisp files, and we should not
change that.  We should use `...' in comments.

If the change make Font-Lock mode highlight '...' like `...' in Emacs
Lisp mode, that isn't necessarily a bad change.  It would highlight in
a useful way some code that doesn't follow our official style.  That
in itself is an improvement, all else being equal.

Would the change give wrong results in some cases?  Maybe.  I think
that depends on the details of in which cases it recognizes '...'.
If the cases are narrowly limited, maybe it won't give wrong results
very much.

Text files (whether Text mode or some other mode) are a different
issue.  Maybe it is ok to change to quote symbols in them with '..'.
I won't argue against that.

Still, I think we should make highlighting give correct results for
files that use `...' as well as for files that use '...'.  That should
be possible if the ... stands for a limited set of possible contents.

-- 
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)





  parent reply	other threads:[~2021-09-17  0:16 UTC|newest]

Thread overview: 159+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <20210912165141.9491.52637@vcs0.savannah.gnu.org>
     [not found] ` <20210912165143.5BC1E20A5E@vcs0.savannah.gnu.org>
2021-09-12 22:42   ` master ff4de1b: Fix quoting style in Lisp comments Dmitry Gutov
2021-09-13  8:06     ` Lars Ingebrigtsen
2021-09-13 12:01       ` Eli Zaretskii
2021-09-14  2:14         ` Phil Sainty
2021-09-13 11:34     ` Eli Zaretskii
2021-09-13 11:41       ` Lars Ingebrigtsen
2021-09-13 12:23         ` Eli Zaretskii
2021-09-13 12:36         ` martin rudalics
2021-09-13 16:53           ` Stefan Monnier
2021-09-13 18:25             ` Stefan Monnier
2021-09-15  9:27               ` martin rudalics
2021-09-15 12:42                 ` Stefan Monnier
2021-09-15 18:46                   ` martin rudalics
2021-09-15 16:02                 ` Juri Linkov
2021-09-15 16:30                   ` Eli Zaretskii
2021-09-15 18:07                     ` Dmitry Gutov
2021-09-15 18:16                       ` Eli Zaretskii
2021-09-15 18:20                         ` Dmitry Gutov
2021-09-15 21:12                           ` [External] : " Drew Adams
2021-09-15 18:40                         ` Stefan Kangas
2021-09-15 18:52                           ` Eli Zaretskii
2021-09-15 20:01                             ` Dmitry Gutov
2021-09-15 20:15                               ` Stefan Monnier
2021-09-15 21:24                                 ` [External] : " Drew Adams
2021-09-16  5:08                                 ` Eli Zaretskii
2021-09-16 10:39                                   ` Dmitry Gutov
2021-09-16 12:32                                     ` Lars Ingebrigtsen
2021-09-16 12:53                                       ` Eli Zaretskii
2021-09-16 13:37                                         ` Dmitry Gutov
2021-09-16 23:20                                           ` Phil Sainty
2021-09-18  0:15                                             ` Dmitry Gutov
2021-09-16 16:19                                         ` [External] : " Drew Adams
2021-09-17 14:12                                         ` Lars Ingebrigtsen
2021-09-17 15:58                                           ` Eli Zaretskii
2021-09-17 19:21                                             ` Stefan Kangas
2021-09-18  5:42                                               ` Eli Zaretskii
2021-09-18  8:17                                                 ` Stefan Kangas
2021-09-18  8:26                                                   ` Eli Zaretskii
2021-09-18 13:30                                             ` Lars Ingebrigtsen
2021-09-18 13:34                                               ` Eli Zaretskii
2021-09-18 16:03                                                 ` [External] : " Drew Adams
2021-09-18 16:13                                                   ` Eli Zaretskii
2021-09-18 16:52                                                     ` Drew Adams
2021-09-18 16:54                                                       ` Lars Ingebrigtsen
2021-09-18 17:07                                                         ` Drew Adams
2021-09-16 13:31                                       ` Eli Zaretskii
2021-09-16 16:20                                         ` [External] : " Drew Adams
2021-09-16 14:15                                       ` Eli Zaretskii
2021-09-16 14:18                                         ` Dmitry Gutov
2021-09-16 15:22                                           ` Eli Zaretskii
2021-09-16 16:20                                         ` [External] : " Drew Adams
2021-09-17  9:17                                       ` Gregory Heytings
2021-09-17 10:26                                         ` Stefan Kangas
2021-09-17 10:39                                           ` Eli Zaretskii
2021-09-17 22:46                                             ` Stefan Kangas
2021-09-18  6:19                                               ` Eli Zaretskii
2021-09-18  7:32                                                 ` Andreas Schwab
2021-09-18  8:20                                                   ` Eli Zaretskii
2021-09-18  8:37                                                     ` Adam Sjøgren
2021-09-18  8:44                                                     ` Gregory Heytings
2021-09-18  8:48                                                     ` Yuri Khan
2021-09-18 11:50                                                       ` Phil Sainty
2021-09-18 11:54                                                         ` Yuri Khan
2021-09-18 16:03                                                           ` [External] : " Drew Adams
2021-09-18 16:02                                                         ` Drew Adams
2021-09-18 16:02                                                       ` Drew Adams
2021-09-18 16:01                                                     ` Drew Adams
2021-09-18 16:01                                                   ` Drew Adams
2021-09-18  8:17                                                 ` Stefan Kangas
2021-09-18  8:25                                                   ` Eli Zaretskii
2021-09-18  9:18                                                     ` Stefan Kangas
2021-09-18 11:00                                                       ` Eli Zaretskii
2021-09-18 16:02                                                     ` [External] : " Drew Adams
2021-09-18  9:28                                                   ` Yuri Khan
2021-09-18 10:05                                                     ` Stefan Kangas
2021-09-18 10:27                                                       ` Yuri Khan
2021-09-18 10:51                                                         ` Stefan Kangas
2021-09-18 18:40                                                           ` Juri Linkov
2021-09-18 18:56                                                             ` Eli Zaretskii
2021-09-18 19:34                                                               ` Stefan Kangas
2021-09-18 23:22                                                                 ` [External] : " Drew Adams
2021-09-19  5:44                                                                   ` Eli Zaretskii
2021-09-19 10:00                                                                     ` Stefan Kangas
2021-09-19 17:30                                                                     ` Drew Adams
2021-09-19 17:42                                                                       ` Eli Zaretskii
2021-09-19 17:54                                                                         ` Drew Adams
2021-09-21 14:38                                                                           ` Jean Louis
2021-09-21 17:04                                                                             ` tomas
2021-09-21 17:09                                                                               ` tomas
2021-09-24 20:42                                                                               ` Richard Stallman
2021-09-19  5:30                                                                 ` Eli Zaretskii
2021-09-17 10:55                                           ` Gregory Heytings
2021-09-17 11:16                                             ` Eli Zaretskii
2021-09-17 11:30                                               ` Gregory Heytings
2021-09-17 12:11                                                 ` Eli Zaretskii
2021-09-17 12:30                                                   ` Gregory Heytings
2021-09-17 16:21                                                     ` Yuri Khan
2021-09-17 16:40                                                       ` João Távora
2021-09-17 16:44                                                       ` Alan Mackenzie
2021-09-17 17:47                                                       ` Eli Zaretskii
2021-09-17 18:42                                                         ` Yuri Khan
2021-09-17 18:51                                                           ` Eli Zaretskii
2021-09-17 19:14                                                       ` Gregory Heytings
2021-09-17 19:22                                                         ` Stefan Monnier
2021-09-17 20:32                                                           ` Manuel Giraud
2021-09-17 22:16                                                             ` [External] : " Drew Adams
2021-09-18 13:45                                                             ` Stefan Monnier
2021-09-18 16:03                                                               ` [External] : " Drew Adams
2021-09-18 17:25                                                                 ` Stefan Monnier
2021-09-18 17:46                                                                   ` Stefan Kangas
2021-09-18 23:11                                                                     ` Stefan Monnier
2021-09-18 23:22                                                                   ` Drew Adams
2021-09-19 12:26                                                                     ` Stefan Monnier
2021-09-18  5:43                                                           ` Eli Zaretskii
2021-09-18  8:33                                                             ` Stefan Kangas
2021-09-18  8:53                                                               ` Gregory Heytings
2021-09-17 18:09                                                   ` [External] : " Drew Adams
2021-09-17 18:09                                           ` Drew Adams
2021-09-16 16:18                                   ` Drew Adams
2021-09-16 10:50                                 ` Dmitry Gutov
2021-09-16 11:39                                   ` Eli Zaretskii
2021-09-16 14:12                                     ` Dmitry Gutov
2021-09-16 16:20                                       ` [External] : " Drew Adams
2021-09-16 16:18                                     ` Drew Adams
2021-09-16 11:25                                 ` Stefan Kangas
2021-09-17  0:16                                 ` Richard Stallman [this message]
2021-09-17  0:27                                   ` Alexandre Garreau
2021-09-17  6:34                                   ` Eli Zaretskii
2021-09-17 10:44                                     ` Dmitry Gutov
2021-09-17 11:11                                       ` Eli Zaretskii
2021-09-17 11:25                                         ` Dmitry Gutov
2021-09-17 12:09                                           ` Eli Zaretskii
2021-09-17 12:38                                             ` Phil Sainty
2021-09-17 12:59                                               ` Tassilo Horn
2021-09-17 15:45                                               ` Eli Zaretskii
2021-09-17 13:07                                             ` Dmitry Gutov
2021-09-17 13:44                                               ` João Távora
2021-09-17 15:49                                               ` Eli Zaretskii
2021-09-17 16:33                                                 ` Dmitry Gutov
2021-09-17 18:10                                               ` [External] : " Drew Adams
2021-09-17 13:18                                           ` Amin Bandali
2021-09-17 18:09                                       ` [External] : " Drew Adams
2021-09-16  4:53                               ` Eli Zaretskii
2021-09-16  8:51                                 ` Dmitry Gutov
2021-09-16  9:11                                   ` Eli Zaretskii
2021-09-16 10:34                                     ` Dmitry Gutov
2021-09-16 11:35                                       ` Eli Zaretskii
2021-09-16 13:38                                         ` Dmitry Gutov
2021-09-15 18:48                     ` martin rudalics
2021-09-15 19:05                       ` Eli Zaretskii
2021-09-16  6:56                         ` martin rudalics
2021-09-16  7:11                           ` Eli Zaretskii
2021-09-16 16:18                             ` [External] : " Drew Adams
2021-09-13 11:51       ` Dmitry Gutov
2021-09-13 12:05         ` Lars Ingebrigtsen
2021-09-13 12:28           ` Eli Zaretskii
2021-09-13 12:29             ` Lars Ingebrigtsen
2021-09-13 12:26         ` Eli Zaretskii
2021-09-13 12:56           ` Dmitry Gutov

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=E1mR1Yj-0002iw-KN@fencepost.gnu.org \
    --to=rms@gnu.org \
    --cc=dgutov@yandex.ru \
    --cc=eliz@gnu.org \
    --cc=emacs-devel@gnu.org \
    --cc=juri@linkov.net \
    --cc=larsi@gnus.org \
    --cc=monnier@iro.umontreal.ca \
    --cc=rudalics@gmx.at \
    --cc=stefan@marxist.se \
    /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).