about summary refs log tree commit diff stats
path: root/html/filesystem.mu.html
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2018-01-25 22:39:31 -0800
committerKartik K. Agaram <vc@akkartik.com>2018-01-25 22:39:31 -0800
commit805d58c6aeeeba3e4989c0eed6781b3861e8fae0 (patch)
treeea5225bdd7c5fbeea912671cdc5f1c4b2b2828d7 /html/filesystem.mu.html
parentaefa8fec6a473be459a2ff33e6bd96e7c22ced20 (diff)
downloadmu-805d58c6aeeeba3e4989c0eed6781b3861e8fae0.tar.gz
4199
Diffstat (limited to 'html/filesystem.mu.html')
-rw-r--r--html/filesystem.mu.html23
1 files changed, 11 insertions, 12 deletions
diff --git a/html/filesystem.mu.html b/html/filesystem.mu.html
index 0c9d72b8..1ab976e6 100644
--- a/html/filesystem.mu.html
+++ b/html/filesystem.mu.html
@@ -15,15 +15,14 @@ body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color
 a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
-.Conceal { color: #4e4e4e; }
+.muControl { color: #c0a020; }
+.muRecipe { color: #ff8700; }
 .LineNr { color: #444444; }
 .Delimiter { color: #800080; }
-.Comment { color: #9090ff; }
-.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
-.muControl { color: #c0a020; }
-.muRecipe { color: #ff8700; }
+.Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 -->
 </style>
 
@@ -63,15 +62,15 @@ if ('onhashchange' in window) {
 <span id="L3" class="LineNr"> 3 </span><span class="Comment"># before running it, put some text 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> <a href='filesystem.mu.html#L6'>main</a> [
+<span id="L6" class="LineNr"> 6 </span><span class="muRecipe">def</span> main [
 <span id="L7" class="LineNr"> 7 </span>  <span class="Constant">local-scope</span>
-<span id="L8" class="LineNr"> 8 </span>  source-file:&amp;:<a href='075channel.mu.html#L43'>source</a>:char <span class="Special">&lt;-</span> <a href='088file.mu.html#L21'>start-reading</a> <span class="Constant">0/real-filesystem</span>, <span class="Constant">[/tmp/mu-x]</span>
-<span id="L9" class="LineNr"> 9 </span>  sink-file:&amp;:<a href='075channel.mu.html#L47'>sink</a>:char, write-routine:num <span class="Special">&lt;-</span> <a href='088file.mu.html#L105'>start-writing</a> <span class="Constant">0/real-filesystem</span>, <span class="Constant">[/tmp/mu-y]</span>
+<span id="L8" class="LineNr"> 8 </span>  source-file:&amp;:source:char <span class="Special">&lt;-</span> start-reading <span class="Constant">0/real-filesystem</span>, <span class="Constant">[/tmp/mu-x]</span>
+<span id="L9" class="LineNr"> 9 </span>  sink-file:&amp;:sink:char, write-routine:num <span class="Special">&lt;-</span> start-writing <span class="Constant">0/real-filesystem</span>, <span class="Constant">[/tmp/mu-y]</span>
 <span id="L10" class="LineNr">10 </span>  <span class="Delimiter">{</span>
-<span id="L11" class="LineNr">11 </span>  <span class="Conceal">¦</span> c:char, done?:bool, source-file <span class="Special">&lt;-</span> read source-file
-<span id="L12" class="LineNr">12 </span>  <span class="Conceal">¦</span> <span class="muControl">break-if</span> done?
-<span id="L13" class="LineNr">13 </span>  <span class="Conceal">¦</span> sink-file <span class="Special">&lt;-</span> <a href='075channel.mu.html#L67'>write</a> sink-file, c
-<span id="L14" class="LineNr">14 </span>  <span class="Conceal">¦</span><span class="muControl"> loop</span>
+<span id="L11" class="LineNr">11 </span>    c:char, done?:bool, source-file <span class="Special">&lt;-</span> read source-file
+<span id="L12" class="LineNr">12 </span>    <span class="muControl">break-if</span> done?
+<span id="L13" class="LineNr">13 </span>    sink-file <span class="Special">&lt;-</span> write sink-file, c
+<span id="L14" class="LineNr">14 </span>   <span class="muControl"> loop</span>
 <span id="L15" class="LineNr">15 </span>  <span class="Delimiter">}</span>
 <span id="L16" class="LineNr">16 </span>  close sink-file
 <span id="L17" class="LineNr">17 </span>  <span class="Comment"># make sure to wait for the file to be actually written to disk</span>