[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#70007: [PATCH] native JSON encoder
From: |
Mattias Engdegård |
Subject: |
bug#70007: [PATCH] native JSON encoder |
Date: |
Sat, 30 Mar 2024 15:22:34 +0100 |
30 mars 2024 kl. 14.22 skrev Eli Zaretskii <eliz@gnu.org>:
> This should be a call to memory_full, no? Or if we must signal this
> error here, at least make the error message more specific: mention
> JSON or somesuch.
It's academic, but memory_full is fine.
> I'd prefer a more specific error message here, like
>
> JSON does not allow Inf or NaN
Sure.
> Last, but not least: should we have a json-available-p function that
> always returns non-nil, for better backward-compatibility? Otherwise,
> code out there might decide to use json.elm which is not what we want.
Yes, keep json-available-p (that always returns t) for compatibility. We could
declare it obsolete but it's not very important.
I made the changes above and installed it on master, as well as a sweeping
removal of all things Jansson.
- bug#70007: [PATCH] native JSON encoder, (continued)
- bug#70007: [PATCH] native JSON encoder, Eli Zaretskii, 2024/03/26
- bug#70007: [PATCH] native JSON encoder, Mattias Engdegård, 2024/03/27
- bug#70007: [PATCH] native JSON encoder, Mattias Engdegård, 2024/03/27
- bug#70007: [PATCH] native JSON encoder, Eli Zaretskii, 2024/03/27
- bug#70007: [PATCH] native JSON encoder, Mattias Engdegård, 2024/03/27
- bug#70007: [PATCH] native JSON encoder, Eli Zaretskii, 2024/03/27
- bug#70007: [PATCH] native JSON encoder, Mattias Engdegård, 2024/03/28
- bug#70007: [PATCH] native JSON encoder, Eli Zaretskii, 2024/03/29
- bug#70007: [PATCH] native JSON encoder, Mattias Engdegård, 2024/03/30
- bug#70007: [PATCH] native JSON encoder, Eli Zaretskii, 2024/03/30
- bug#70007: [PATCH] native JSON encoder,
Mattias Engdegård <=
- bug#70007: [PATCH] native JSON encoder, Richard Copley, 2024/03/30
- bug#70007: [PATCH] native JSON encoder, Eli Zaretskii, 2024/03/30
- bug#70007: [PATCH] native JSON encoder, Richard Copley, 2024/03/30
- bug#70007: [PATCH] native JSON encoder, Andy Moreton, 2024/03/30
- bug#70007: [PATCH] native JSON encoder, Corwin Brust, 2024/03/30
- bug#70007: [PATCH] native JSON encoder, Eli Zaretskii, 2024/03/30
- bug#70007: [PATCH] native JSON encoder, Mattias Engdegård, 2024/03/30
bug#70007: [PATCH] native JSON encoder, Theodor Thornhill, 2024/03/28