From e35e99e575adec48c7d2ce953298bf0940a62dd1 Mon Sep 17 00:00:00 2001 From: erg Date: Thu, 9 Nov 2006 06:58:22 +0000 Subject: [PATCH] fix stream-read1 on win32 --- library/io/windows/stream.factor | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/library/io/windows/stream.factor b/library/io/windows/stream.factor index 1dc7346357..d0c2267747 100644 --- a/library/io/windows/stream.factor +++ b/library/io/windows/stream.factor @@ -90,11 +90,15 @@ M: string do-write ( string stream -- ) dup win32-stream-eof? [ drop t ] [ - [ - dup win32-stream-file-size - swap win32-stream-fileptr - - zero? - ] keep set-win32-stream-eof? + dup win32-stream-file-size [ + [ + dup win32-stream-file-size + swap win32-stream-fileptr + - zero? + ] keep set-win32-stream-eof? + ] [ + drop + ] if f ] if ;