diff options
Diffstat (limited to 'html/real-files.mu.html')
| -rw-r--r-- | html/real-files.mu.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/real-files.mu.html b/html/real-files.mu.html index c65a88a5..2ffe5dfc 100644 --- a/html/real-files.mu.html +++ b/html/real-files.mu.html @@ -37,7 +37,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant">local-scope</span> f:num/file<span class="Special"> <- </span>$open-file-for-reading <span class="Constant">[/tmp/mu-x]</span> $print <span class="Constant">[file to read from: ]</span>, f, <span class="Constant">10/newline</span> - c:char, eof?:boolean<span class="Special"> <- </span>$read-from-file f + c:char, eof?:bool<span class="Special"> <- </span>$read-from-file f $print <span class="Constant">[copying ]</span>, c, <span class="Constant">10/newline</span> f<span class="Special"> <- </span>$close-file f $print <span class="Constant">[file after closing: ]</span>, f, <span class="Constant">10/newline</span> |