prettyprint.backend: fix performance problem when printing large arrays with length limit on
parent
bcbdc9e0c8
commit
218d1cdd31
|
@ -169,11 +169,10 @@ M: tuple pprint*
|
||||||
: do-length-limit ( seq -- trimmed n/f )
|
: do-length-limit ( seq -- trimmed n/f )
|
||||||
length-limit get dup [
|
length-limit get dup [
|
||||||
over length over [-]
|
over length over [-]
|
||||||
dup zero? [ 2drop f ] [ [ head ] dip ] if
|
dup zero? [ 2drop f ] [ [ head-slice ] dip ] if
|
||||||
] when ;
|
] when ;
|
||||||
|
|
||||||
: pprint-elements ( seq -- )
|
: pprint-elements ( seq -- )
|
||||||
>array
|
|
||||||
do-length-limit
|
do-length-limit
|
||||||
[ [ pprint* ] each ] dip
|
[ [ pprint* ] each ] dip
|
||||||
[ "~" swap number>string " more~" 3append text ] when* ;
|
[ "~" swap number>string " more~" 3append text ] when* ;
|
||||||
|
|
Loading…
Reference in New Issue