io.streams.zeros: write only 'n' zeros.

2012-10-26 07:48:51 -07:00 · 2012-10-26 07:48:51 -07:00 · 8eb4d2723f
parent 8b87b0ab57
commit 8eb4d2723f
1 changed files with 2 additions and 1 deletions
--- a/extra/io/streams/zeros/zeros.factor
+++ b/extra/io/streams/zeros/zeros.factor
@ -10,7 +10,8 @@ C: <zero-stream> zero-stream

 M: zero-stream stream-element-type drop +byte+ ;

-M: zero-stream stream-read-unsafe drop [ drop 0 ] map! drop ;
+M: zero-stream stream-read-unsafe
+    drop over head-slice [ drop 0 ] map! drop ;

 M: zero-stream stream-read1 drop 0 ;