io: change with-output-stream* example to unchecked.

db4
John Benediktsson 2014-04-15 13:35:35 -07:00
parent 8fc9b823e3
commit bc655bc061
1 changed files with 6 additions and 3 deletions

View File

@ -284,9 +284,12 @@ HELP: with-output-stream*
{ $values { "stream" "an output stream" } { "quot" quotation } } { $values { "stream" "an output stream" } { "quot" quotation } }
{ $description "Calls the quotation in a new dynamic scope, with " { $link output-stream } " rebound to " { $snippet "stream" } "." } { $description "Calls the quotation in a new dynamic scope, with " { $link output-stream } " rebound to " { $snippet "stream" } "." }
{ $examples { $examples
{ $example { $unchecked-example
"USING: destructors io.encodings.utf8 ;" "USING: destructors io io.encodings.utf8 io.files prettyprint ;"
"\"/tmp/test.txt\" utf8 <file-writer> dup [ \"Hello!\" write ] with-output-stream* dispose" } "\"/tmp/test.txt\" utf8 <file-writer> dup [ \"Hello!\" write ] with-output-stream* dispose"
"\"/tmp/test.txt\" utf8 file-contents ."
"\"Hello!\""
}
} }
{ $notes "This word does not close the stream. Compare with " { $link with-output-stream } "." } ; { $notes "This word does not close the stream. Compare with " { $link with-output-stream } "." } ;