From 9516d781542f44754e38c6b411ddac10b02bd1c2 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Sat, 14 Jun 2008 04:00:40 -0500 Subject: [PATCH] Fix bootstrap --- extra/io/ports/ports-docs.factor | 4 ---- 1 file changed, 4 deletions(-) diff --git a/extra/io/ports/ports-docs.factor b/extra/io/ports/ports-docs.factor index 7420cac115..47485193cf 100755 --- a/extra/io/ports/ports-docs.factor +++ b/extra/io/ports/ports-docs.factor @@ -64,7 +64,3 @@ HELP: (wait-to-read) HELP: wait-to-read { $values { "port" input-port } { "eof?" "a boolean" } } { $description "If the port's buffer has unread data, returns immediately, otherwise suspends the current thread until some data is available for reading. If the buffer was empty and no more data could be read, outputs " { $link t } " to indicate end-of-file; otherwise outputs " { $link f } "." } ; - -HELP: can-write? -{ $values { "len" "a positive integer" } { "buffer" buffer } { "?" "a boolean" } } -{ $description "Tests if the port's output buffer can accomodate " { $snippet "len" } " bytes. If the buffer is empty, this always outputs " { $link t } ", since in that case the buffer will be grown automatically." } ;