Details
-
Improvement
-
Status: Closed
-
Major
-
Resolution: Fixed
-
None
Description
Despite the description, the "indent" parameter of Array.to_string indents the entire string, not the items as one might expect by analogy to (for instance) json.dump(s). It should pass this parameter to PrettyPrintOptions.indent_size, not indent.
Attachments
Issue Links
- links to