From 67cccc63b39e6fc2157a62b3443d24bebaf71f8a Mon Sep 17 00:00:00 2001 From: Joe Groff Date: Mon, 17 Oct 2011 21:12:48 -0700 Subject: [PATCH] formatting --- basis/io/backend/unix/unix.factor | 1 + basis/io/buffers/buffers.factor | 1 - core/io/io.factor | 5 ++++- 3 files changed, 5 insertions(+), 2 deletions(-) diff --git a/basis/io/backend/unix/unix.factor b/basis/io/backend/unix/unix.factor index 481edbce20..20799cbb4a 100755 --- a/basis/io/backend/unix/unix.factor +++ b/basis/io/backend/unix/unix.factor @@ -60,6 +60,7 @@ M: unix seek-handle ( n seek-type handle -- ) M: unix can-seek-handle? ( handle -- ? ) fd>> SEEK_CUR 0 lseek -1 = not ; + M: unix handle-length ( handle -- n/f ) fd>> \ stat [ fstat -1 = not ] keep swap [ st_size>> ] [ drop f ] if ; diff --git a/basis/io/buffers/buffers.factor b/basis/io/buffers/buffers.factor index ec064069ca..73b982705b 100644 --- a/basis/io/buffers/buffers.factor +++ b/basis/io/buffers/buffers.factor @@ -53,7 +53,6 @@ M: buffer dispose* ptr>> free ; HINTS: buffer-read fixnum buffer ; - : buffer-end ( buffer -- alien ) [ fill>> ] [ ptr>> ] bi ; inline diff --git a/core/io/io.factor b/core/io/io.factor index 70de7fa266..ae7235f5b6 100644 --- a/core/io/io.factor +++ b/core/io/io.factor @@ -113,16 +113,19 @@ PRIVATE> ERROR: invalid-read-buffer buf stream ; - : stream-read-into ( buf stream -- buf-slice/f ) [ stream-read-unsafe ] (read-into) ; inline + : stream-read-partial-into ( buf stream -- buf-slice/f ) [ stream-read-partial-unsafe ] (read-into) ; inline : read ( n -- seq ) input-stream get stream-read ; inline + : read-partial ( n -- seq ) input-stream get stream-read-partial ; inline + : read-into ( buf -- buf-slice/f ) input-stream get stream-read-into ; inline + : read-partial-into ( buf -- buf-slice/f ) input-stream get stream-read-partial-into ; inline