diff options
Diffstat (limited to 'html/real-files.mu.html')
-rw-r--r-- | html/real-files.mu.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/real-files.mu.html b/html/real-files.mu.html index 3ebd8fbb..3ca6dc32 100644 --- a/html/real-files.mu.html +++ b/html/real-files.mu.html @@ -60,7 +60,7 @@ if ('onhashchange' in window) { <span id="L3" class="LineNr"> 3 </span><span class="Comment"># before running it, put a character into /tmp/mu-x</span> <span id="L4" class="LineNr"> 4 </span><span class="Comment"># after running it, check /tmp/mu-y</span> <span id="L5" class="LineNr"> 5 </span> -<span id="L6" class="LineNr"> 6 </span><span class="muRecipe">def</span> main [ +<span id="L6" class="LineNr"> 6 </span><span class="muRecipe">def</span> <a href='real-files.mu.html#L6'>main</a> [ <span id="L7" class="LineNr"> 7 </span> <span class="Constant">local-scope</span> <span id="L8" class="LineNr"> 8 </span> f:num/file <span class="Special"><-</span> $open-file-for-reading <span class="Constant">[/tmp/mu-x]</span> <span id="L9" class="LineNr"> 9 </span> $print <span class="Constant">[file to read from: ]</span>, f, <span class="Constant">10/newline</span> @@ -69,7 +69,7 @@ if ('onhashchange' in window) { <span id="L12" class="LineNr">12 </span> f <span class="Special"><-</span> $close-file f <span id="L13" class="LineNr">13 </span> $print <span class="Constant">[file after closing: ]</span>, f, <span class="Constant">10/newline</span> <span id="L14" class="LineNr">14 </span> f <span class="Special"><-</span> $open-file-for-writing <span class="Constant">[/tmp/mu-y]</span> -<span id="L15" class="LineNr">15 </span> $print <span class="Constant">[file to write to: ]</span>, f, <span class="Constant">10/newline</span> +<span id="L15" class="LineNr">15 </span> $print <span class="Constant">[file to <a href='075channel.mu.html#L67'>write</a> to: ]</span>, f, <span class="Constant">10/newline</span> <span id="L16" class="LineNr">16 </span> $write-to-file f, c <span id="L17" class="LineNr">17 </span> f <span class="Special"><-</span> $close-file f <span id="L18" class="LineNr">18 </span>] |