GNU logs - #22980, boring messages

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#22980: Something looks fishy in prettify-symbols-default-compose-p (it depends on (point))
Resent-From: =?UTF-8?Q?Cl=C3=A9ment?= Pit--Claudel <clement.pitclaudel@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Thu, 10 Mar 2016 17:31:02 +0000
Resent-Message-ID: <handler.22980.B.145763103523333 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 22980 <at> debbugs.gnu.org
From: =?UTF-8?Q?Cl=C3=A9ment?= Pit--Claudel <clement.pitclaudel@HIDDEN>
Message-ID: <56E1AF2B.2050902@HIDDEN>
Date: Thu, 10 Mar 2016 12:30:19 -0500
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.6.0
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
 protocol="application/pgp-signature";
 boundary="rlVke7HxlnO8VHcpI5kuSiR12lkSJmUTC"
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

This is an OpenPGP/MIME signed message (RFC 4880 and 3156)
--rlVke7HxlnO8VHcpI5kuSiR12lkSJmUTC
Content-Type: multipart/mixed; boundary="XrohNOT2o6Kh2qfagH1hreoO6Kaj6J5KC"
From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= <clement.pitclaudel@HIDDEN>
To: bug-gnu-emacs@HIDDEN
Message-ID: <56E1AF2B.2050902@HIDDEN>
Subject: Something looks fishy in prettify-symbols-default-compose-p (it
 depends on (point))

--XrohNOT2o6Kh2qfagH1hreoO6Kaj6J5KC
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

The docs of prettify-symbols-default-compose-p and prettify-symbols-compo=
se-predicate don't suggest that the function should depend on the point, =
but it looks like it does:

    (defun prettify-symbols-default-compose-p (start end _match)
      "Return true iff the symbol MATCH should be composed.
    The symbol starts at position START and ends at position END.
    This is the default for `prettify-symbols-compose-predicate'
    which is suitable for most programming languages such as C or Lisp."
      ;; Check that the chars should really be composed into a symbol.
      (message "%S %S %S %S" (point) start end _match)
      (print (let* ((syntaxes-beg (if (memq (char-syntax (char-after star=
t)) '(?w ?_))
                                      '(?w ?_) '(?. ?\\)))
                    (syntaxes-end (if (memq (char-syntax (char-before end=
)) '(?w ?_))
                                      '(?w ?_) '(?. ?\\))))
               (not (or (print (memq (char-syntax (or (char-before start)=
 ?\s)) syntaxes-beg))
                        (print (memq (char-syntax (or (char-after end) ?\=
s)) syntaxes-end))
                        (print (nth 8 (syntax-ppss))))))))
                                      ^ here

    (defvar-local prettify-symbols-compose-predicate
      #'prettify-symbols-default-compose-p
      "A predicate for deciding if the currently matched symbol is to be =
composed.
    The matched symbol is the car of one entry in `prettify-symbols-alist=
'.
    The predicate receives the match's start and end positions as well
    as the match-string as arguments.")

This means that calling (prettify-symbols-default-compose-p 1 2 nil) retu=
rns nil or t in the following example returns nil or t depending on the p=
oint in the following example:

  (* example *)
  ^ column 1 starts here

This makes it unreliable to prettify =E2=80=98*=E2=80=99 as =E2=80=98=C3=97=
=E2=80=99 in OCaml, for example.

Fixing this issue is not entirely trivial: calling syntax-ppss on end wil=
l work in some cases, and in other cases it would be better on beg. This =
is because for a two-characters comment starter, syntax-ppss is inconsist=
ent in what it call the =E2=80=9Cinside=E2=80=9D of the comment:

   (* comment *)
    ^ outside  ^ inside

This is a follow up to this ML thread: https://lists.gnu.org/archive/html=
/emacs-devel/2016-03/msg00415.html


--XrohNOT2o6Kh2qfagH1hreoO6Kaj6J5KC--

--rlVke7HxlnO8VHcpI5kuSiR12lkSJmUTC
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: OpenPGP digital signature
Content-Disposition: attachment; filename="signature.asc"

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)

iQIcBAEBAgAGBQJW4a8rAAoJEPqg+cTm90wjA1cQAIjt628P77x5vPfg8pz5TaGG
ZLBz8q9NpG1jZk9GRvNnZwQzwqbja9UHlL7fBjMjmPqPgNE7HVfDcTZ5388eAO2d
ASOgAor+A/xQJatRRKp0PitLXqTV3hb4Sb14DSKqLBlkuxKsgHOOaffg30GtJkyn
IBGa1EBZd4TROHIeSkouE9wOzJ3k9iJSQS7f5mh9zbXKHRxksTHhYuY6aNIU3Syg
A+bRfPZNGoCHbLV1sX2zG/mmwKldEf+sivpWjRGVlj6kJhoYutqDKJ7LZs5lIImx
zJChUq13Nryb4Z3gpDs6RwqNkiIJUVNEfCpt33hQQU/Fp0NHXJQnZjnF0h6PA7yO
KJiLcIeBwvRESLxqWUVMtUvfTPSBuEIB6mNRdebv6ZUYREQ+FIt0kDX4KwHKHWAv
03kbS2ZAkJ3aNEF73jsUevlDFjlDeruqaM7i40GTx1lynoNC1Iiiu2TIpNYFqlNr
Wd2njIdy0XUm5RhnAVUwjosg5qzhEfH8bYcyPtGTUxJuWmUGNpvKvSOU9nqBsol3
Ed+75iaB0no9XYw8LeXq1TEfUs79pzfLErC/eZqCc3nIOniTCBLKokmIKmR0n+HI
c1wnXfmMFwDmmvpXEaccU0Qjl5sEsymrH3Z93F5f11mBzm/QnMlG73HV0pCg7Hyw
1HiHU6XHpw313+kb+G9g
=3sBa
-----END PGP SIGNATURE-----

--rlVke7HxlnO8VHcpI5kuSiR12lkSJmUTC--

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: =?UTF-8?Q?Cl=C3=A9ment?= Pit--Claudel <clement.pitclaudel@HIDDEN>
Subject: bug#22980: Acknowledgement (Something looks fishy in
 prettify-symbols-default-compose-p (it depends on (point)))
Message-ID: <handler.22980.B.145763103523333.ack <at> debbugs.gnu.org>
References: <56E1AF2B.2050902@HIDDEN>
X-Gnu-PR-Message: ack 22980
X-Gnu-PR-Package: emacs
Reply-To: 22980 <at> debbugs.gnu.org
Date: Thu, 10 Mar 2016 17:31:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-gnu-emacs@HIDDEN

If you wish to submit further information on this problem, please
send it to 22980 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
22980: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D22980
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Last modified: Mon, 25 Nov 2019 12:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.