fix stream-read1 on win32

diff --git a/library/io/windows/stream.factor b/library/io/windows/stream.factor
index 1dc7346357de1a844fc9767cc68e418100a0baeb..d0c226774752b365c58fb56a291e4f4ae7939789 100644 (file)
--- 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 ;