« Previous | Next » 

Revision c12a68e2

IDc12a68e23af460d7f1f20620610b1fb162035322
Parent 0d0ac025
Child 9abbb084

Added by Iustin Pop over 11 years ago

Improve error reporting in our JSON conversions

Reporting things such as the following in our error messages
(indentation added by me, not originally present, so it's even worse):

JSArray [JSArray [JSRational False (1 % 1),JSString
(JSONString {fromJSString = "a"})],
JSArray [JSRational False (2 % 1),
JSString (JSONString {fromJSString = "b"})]]

Is not really nice. This patch adds more 'pp_value' conversions so
that the above becomes:

[[1, "a"], [2, "b"]]

Signed-off-by: Iustin Pop <>
Reviewed-by: Agata Murawska <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences