Subject: Re: bug#67180: 30.0.50; 'pp-to-string' emits extra newline

From: Eshel Yaron <[email-masked]>
Date: Tue, 14 Nov 2023 21:37:02 +0100

Eshel Yaron writes:

> On Emacs 29 and earlier, with `-Q`, we have:
>
> (pp-to-string "foo")
>   => "\"foo\""
>
> On master with `-Q`, we get an extra newline at the end of the string:
>
> (pp-to-string "foo")
>   => "\"foo\"
> "
>
> AFAICT this change in behavior breaks `agda2-mode` completely on master...

I see that the Agda developers worked around[0] this in the development
version of `agda2-mode`, but of course more code out there may be
affected by this change.  Perhaps it's worth mentioning in NEWS?

Best,

Eshel

[0] https://github.com/agda/agda/pull/6954