diff options
| author | David Elsing <david.elsing@posteo.net> | 2025-07-29 16:19:32 +0200 |
|---|---|---|
| committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-07-31 23:19:13 +0100 |
| commit | 3ac34584f141c981a1412724a602a20e8cdb89a1 (patch) | |
| tree | 475496858c6e6c996bc8741d2c2ea3a19b6054b8 | |
| parent | b94aae49b75478ec6eab937161fb994386099042 (diff) | |
gnu: sajson-for-gemmi: Report string type also for numbers.
This is required by gemmi, where some tests fail otherwise.
* gnu/packages/patches/sajson-for-gemmi-numbers-as-strings.patch: Adjust patch.
Change-Id: I260e964023b61876833c82ca3c59adf3b9a77b15
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
| -rw-r--r-- | gnu/packages/patches/sajson-for-gemmi-numbers-as-strings.patch | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/gnu/packages/patches/sajson-for-gemmi-numbers-as-strings.patch b/gnu/packages/patches/sajson-for-gemmi-numbers-as-strings.patch index 6f476b8583..796df7dc44 100644 --- a/gnu/packages/patches/sajson-for-gemmi-numbers-as-strings.patch +++ b/gnu/packages/patches/sajson-for-gemmi-numbers-as-strings.patch @@ -50,7 +50,19 @@ diff -ur a/include/sajson.h b/include/sajson.h /// Represents a JSON value. First, call get_type() to check its type, /// which determines which methods are available. /// -@@ -585,70 +548,10 @@ +@@ -469,9 +432,9 @@ public: + // at worst a table lookup. + switch (value_tag) { + case tag::integer: +- return TYPE_INTEGER; ++ return TYPE_STRING; + case tag::double_: +- return TYPE_DOUBLE; ++ return TYPE_STRING; + case tag::null: + return TYPE_NULL; + case tag::false_: +@@ -585,70 +548,10 @@ public: return length; } |