From d2855bbf09b2ae9f0ebd836669b7669a0506e07c Mon Sep 17 00:00:00 2001 From: Joe Groff Date: Thu, 13 Oct 2011 10:17:30 -0700 Subject: [PATCH] io: remove each-block* because it's not useful --- core/io/io.factor | 7 ------- 1 file changed, 7 deletions(-) diff --git a/core/io/io.factor b/core/io/io.factor index 521d4b573d..93f8da0550 100644 --- a/core/io/io.factor +++ b/core/io/io.factor @@ -110,16 +110,9 @@ PRIVATE> : each-stream-block ( ... stream quot: ( ... block -- ... ) -- ... ) swap [ 65536 swap stream-read-partial ] curry each-morsel ; inline -: each-stream-block* ( ... buffer stream quot: ( ... n buffer -- ... ) -- ... ) - -rot [ [ length ] keep ] dip - [ [ stream-read-partial-unsafe ] curry keep ] 3curry each-morsel ; inline - : each-block ( ... quot: ( ... block -- ... ) -- ... ) input-stream get swap each-stream-block ; inline -: each-block* ( ... buffer quot: ( ... n ptr -- ... ) -- ... ) - input-stream get swap each-stream-block* ; inline - : stream-contents ( stream -- seq ) [ [ [ ] collector [ each-stream-block ] dip { } like ]