You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hmm, any software that reads and writes JSON is very likely to remove duplicate keys, because the internal representation is typically a dictionary, which cannot have duplicate keys. We'd need to write our own data structure. However, such inputs are rare, and generally JSON with duplicate keys is discouraged (e.g. RFC 7493). So, I'll mark this as wontfix.
I happened upon some unexpected behaviour when I tried to indent a file that contained non-unique keys under
/definitions/Award
.To reproduce:
Result: one of the
properties
keys under/definitions/Award
is removed.The text was updated successfully, but these errors were encountered: