[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#23425: master branch: `message' wrongly corrupts ' to curly quote.
From: |
Paul Eggert |
Subject: |
bug#23425: master branch: `message' wrongly corrupts ' to curly quote. |
Date: |
Mon, 5 Jun 2017 17:14:37 -0700 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.1.0 |
>> Elisp code needed to use
>> (message "%s" STR) even before the change you're objecting to,
>
> Did it? When and why?
Yes, because one can’t pass arbitrary strings to the message function
and expect them to be displayed as-is. This has been true for years. For
example, lisp/ChangeLog.8 says this:
1999-02-23 Richard M. Stallman <rms@gnu.org>
* subr.el (with-temp-message): Use %s so % in old msg won't fool us.
This use of (message "%s" ...) is still in master, and would still be
needed even if we went back to Emacs 24-style message formatting.
> Somebody using message to output Lisp will use ' just as I did - and
suffer the
> same horrendous problems
Sure, like the “horrendous” problems with %. For example, in Emacs 24
your example, when used with data involving %:
(setq c-parse-state-state '((a '%%)))
(message
(concat "(setq "
(mapconcat
(lambda (arg)
(format "%s %s%s" (car arg)
(if (atom (cdr arg)) "" "'")
(if (markerp (cdr arg))
(format "(copy-marker %s)" (marker-position (cdr arg)))
(cdr arg))))
c-parse-state-state " ")
")"))
returns "(setq a '((quote %)))", which is obviously wrong and which
results in silent data corruption.
> Do you, perhaps, have another strategem for preventing this problem?
Sure: don’t pass arbitrary strings to the message function.
> How do you propose to prevent such puzzlement and anger in the future
Not by this:
>> (error "Can't find `%s' in %s" thing where)))
>> => (error "Can%'t find %`%s%' in %s" thing where)))
For Emacs code this would likely be a cure worse than the disease, by
causing more puzzlement and anger than it would prevent. It would make
formats significantly harder to read. And as Clément mentioned, it would
introduce compatibility problems of its own.
There is a better way if the primary goal is to avoid quote translation:
(error "Can't find `%s' in %s" thing where)))
=> (error "Can’t find ‘%s’ in %s" thing where)))
Compared to %` and %', this is simpler, easier to read, and more
compatible with current and older Emacs versions. A downside, though, is
that it would involve changing hundreds or thousands of strings in the
Emacs source (just as %` and %' would).
> You're not seriously
> telling me that any of your students who've written a message call with
> a "%s" in the format string remain unaware of the role of %, are you?
Sure, they learn about % after the message function doesn’t work the way
they naively expected. In that respect, % is like ` and '.
> There are around 275 calls to message which have a non-literal
> format argument.
Each one stands for possibly many other calls, and we don’t know how
many of these other calls might cause a problem.
> The consequences of surreptitious unwanted translation ...
>> It's not surreptitious: it's documented.
> And this documentation is useless for preventing the problems.
True, documentation by itself does not prevent programming problems.
However, this doesn’t change the fact that quote translation is
documented. It is not “surreptitious” or “implicit” or “vague” or
“stealthy” or “fuzzy”.
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., (continued)
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Alan Mackenzie, 2017/06/03
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Alan Mackenzie, 2017/06/03
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Paul Eggert, 2017/06/04
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Alan Mackenzie, 2017/06/05
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Paul Eggert, 2017/06/05
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Andreas Schwab, 2017/06/05
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Alan Mackenzie, 2017/06/05
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Clément Pit-Claudel, 2017/06/05
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Alan Mackenzie, 2017/06/07
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Clément Pit-Claudel, 2017/06/07
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote.,
Paul Eggert <=
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Andreas Schwab, 2017/06/06
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Clément Pit-Claudel, 2017/06/06
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Yuri Khan, 2017/06/06
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Clément Pit-Claudel, 2017/06/06
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Yuri Khan, 2017/06/06
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Clément Pit-Claudel, 2017/06/06
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Eli Zaretskii, 2017/06/07
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Paul Eggert, 2017/06/06
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Andreas Schwab, 2017/06/07
- bug#23425: master branch: `message' wrongly corrupts ' to curly quote., Paul Eggert, 2017/06/07