diff options
Diffstat (limited to 'html/filesystem.mu.html')
| -rw-r--r-- | html/filesystem.mu.html | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/html/filesystem.mu.html b/html/filesystem.mu.html index 6e04a561..b4613166 100644 --- a/html/filesystem.mu.html +++ b/html/filesystem.mu.html @@ -15,13 +15,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color a { text-decoration: none; } a:hover { text-decoration: underline; } * { font-size: 12pt; font-size: 1em; } -.Delimiter { color: #800080; } -.muControl { color: #c0a020; } +.muRecipe { color: #ff8700; } .Special { color: #c00000; } +.Conceal { color: #4e4e4e; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .LineNr { color: #444444; } -.muRecipe { color: #ff8700; } +.muControl { color: #c0a020; } --> </style> @@ -66,10 +67,10 @@ if ('onhashchange' in window) { <span id="L8" class="LineNr"> 8 </span> source-file:&:source:char <span class="Special"><-</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:&:sink:char, write-routine:num <span class="Special"><-</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="L10" class="LineNr">10 </span> <span class="Delimiter">{</span> -<span id="L11" class="LineNr">11 </span> c:char, done?:bool, source-file <span class="Special"><-</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"><-</span> <a href='075channel.mu.html#L66'>write</a> sink-file, c -<span id="L14" class="LineNr">14 </span> <span class="muControl">loop</span> +<span id="L11" class="LineNr">11 </span> <span class="Conceal">¦</span> c:char, done?:bool, source-file <span class="Special"><-</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"><-</span> <a href='075channel.mu.html#L66'>write</a> sink-file, c +<span id="L14" class="LineNr">14 </span> <span class="Conceal">¦</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> |