JSON escaping of quoted strings

2 views
Skip to first unread message

*...@speechcode.com

unread,
Dec 11, 2025, 8:01:20 PM (5 days ago) Dec 11
to chibi-scheme
I may have discovered a bug in how (chibi json) writes strings that contain double quotes:

> (json-write "foo\"bar" (current-output-port))
"foo"bar"

Shouldn't the output be this?:

"foo\"bar"

I'll fix this if you say that I'm right, but I want to make sure that I'm not missing something obvious.

Thanks for your patience.

Alex Shinn

unread,
Dec 11, 2025, 8:16:31 PM (5 days ago) Dec 11
to chibi-...@googlegroups.com
Thanks for the report!  I believe this was the case fixed in 3c0f5dddf, can you try the latest HEAD?

--
You received this message because you are subscribed to the Google Groups "chibi-scheme" group.
To unsubscribe from this group and stop receiving emails from it, send an email to chibi-scheme...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/chibi-scheme/ca3452b8-d1e4-438a-a434-84751ee3a72an%40googlegroups.com.

Arthur A. Gleckler

unread,
Dec 11, 2025, 8:29:25 PM (5 days ago) Dec 11
to chibi-...@googlegroups.com
On Thu, Dec 11, 2025 at 5:16 PM Alex Shinn <alex...@gmail.com> wrote:
Thanks for the report!  I believe this was the case fixed in 3c0f5dddf, can you try the latest HEAD?

Ha!  I'm so embarrassed that I didn't do a git pull before reporting that!  It worked beautifully, and fixed a bug many layers up the stack in a project I'm working on.

Thanks.
Reply all
Reply to author
Forward
0 new messages