diff options
author | Hans Bolinder <[email protected]> | 2017-02-16 16:50:23 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2017-02-21 13:13:37 +0100 |
commit | 9aabcf4151bd2552ac3a6115b5f1224ae14fadd8 (patch) | |
tree | 81743be7ca9cdb9593a697e2f9fc27ef357d8867 /lib/observer | |
parent | abef8aed9e0c016840a3193a65f1b5212a659da2 (diff) | |
download | otp-9aabcf4151bd2552ac3a6115b5f1224ae14fadd8.tar.gz otp-9aabcf4151bd2552ac3a6115b5f1224ae14fadd8.tar.bz2 otp-9aabcf4151bd2552ac3a6115b5f1224ae14fadd8.zip |
stdlib: Improve pretty-printing of terms with maps
As of committing this branch maps:fold/3 calls maps:to_list/1, which
means that the time and memory needed for printing maps is not always
proportional to the size of the generated deep list of characters.
Diffstat (limited to 'lib/observer')
0 files changed, 0 insertions, 0 deletions