diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2018-01-25 22:39:31 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2018-01-25 22:39:31 -0800 |
commit | 805d58c6aeeeba3e4989c0eed6781b3861e8fae0 (patch) | |
tree | ea5225bdd7c5fbeea912671cdc5f1c4b2b2828d7 /html/filesystem.mu.html | |
parent | aefa8fec6a473be459a2ff33e6bd96e7c22ced20 (diff) | |
download | mu-805d58c6aeeeba3e4989c0eed6781b3861e8fae0.tar.gz |
4199
Diffstat (limited to 'html/filesystem.mu.html')
-rw-r--r-- | html/filesystem.mu.html | 23 |
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:&:<a href='075channel.mu.html#L43'>source</a>: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:&:<a href='075channel.mu.html#L47'>sink</a>: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="L8" class="LineNr"> 8 </span> source-file:&:source:char <span class="Special"><-</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:&:sink:char, write-routine:num <span class="Special"><-</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"><-</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#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"><-</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> 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> |