mathlib
9540a420 - chore(data/json): add a missing subtype parser for nullable types (#15486)

Commit

3 years ago

chore(data/json): add a missing subtype parser for nullable types (#15486) This instance is needed by `of_json (option (subtype p)) j`. There is now a test for this.

Author

eric-wieser

Parents

3557e4dc

mathlib 9540a420 - chore(data/json): add a missing subtype parser for nullable types (#15486)

mathlib
9540a420 - chore(data/json): add a missing subtype parser for nullable types (#15486)