We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
json.stringify
The following
l = [("f", 1), ("b", 4)] let json.stringify j = (l : [(string * int)] as json.object)
outputs
{ "f": 1, "b": 4 }
is there any good reason for the newline before the closing }?
}
The text was updated successfully, but these errors were encountered:
No good reason that I know of. I think it's been like that for a while.
Sorry, something went wrong.
Note: it's to_string_pp in src/tools/json.ml.
to_string_pp
src/tools/json.ml
Fix json pretty print indentation thanks to code borrowed from yojson. …
893fb4b
…Fixes: #2078
175a7ef
toots
No branches or pull requests
The following
outputs
is there any good reason for the newline before the closing
}
?The text was updated successfully, but these errors were encountered: