[WIP] Fix id_ values unexpectedly taking higher precedence

Signed-off-by: Juan Cruz Viotti <jv@jviotti.com>

Author: jviotti

test/jsonschema/jsonschema_format_test.cc

@@ -65,6 +65,29 @@ TEST(JSONSchema_format, example_3) {
 })JSON");
 }
 
+TEST(JSONSchema_format, example_4) {
+ const sourcemeta::core::JSON document = sourcemeta::core::parse_json(R"JSON({
+ "$schema": "https://json-schema.org/draft/2020-12/schema",
+ "properties": {
+ "abc": true,
+ "id_key": false
+ }
+ })JSON");
+
+ std::ostringstream stream;
+ sourcemeta::core::prettify(document, stream,
+ sourcemeta::core::schema_format_compare);
+
+ // `id_key` must go _after_ `abc` given alphabetic ordering
+ EXPECT_EQ(stream.str(), R"JSON({
+ "$schema": "https://json-schema.org/draft/2020-12/schema",
+ "properties": {
+ "abc": true,
+ "id_key": false
+ }
+})JSON");
+}
+
 TEST(JSONSchema_format, compare_known_vs_unknown) {
  EXPECT_TRUE(sourcemeta::core::schema_format_compare("$id", "foo"));
  EXPECT_FALSE(sourcemeta::core::schema_format_compare("foo", "$id"));