empty object as null in json parser

Stream: new members

[kana]

I think I found simple bug in core lib json parser

#eval json.parse "{}" -- some null
#eval json.unparse (json.object []) -- "null"

[Eric Wieser]

Bumping the version of the C++ json library might help - it's currently 4 years out of date

[Eric Wieser]

https://github.com/nlohmann/json/releases/tag/v2.0.8

[Eric Wieser]

https://github.com/leanprover-community/lean/pull/534 fixes the second one I think

[Eric Wieser]

Created a new thread in #general to discuss this here

[Eric Wieser]

Eric Wieser said:

https://github.com/leanprover-community/lean/pull/534 fixes the second one both I think

now merged, will be in the next lean release.