about summary refs log tree commit diff stats
path: root/html/real_files.mu.html
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-09-17 15:01:51 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-09-17 15:01:51 -0700
commitf344b250f6f062a1a1902bf69b23ebf9b565de0e (patch)
tree199bd32a9aee198d5028b1c21b83d2cf0944b2b6 /html/real_files.mu.html
parent897ae8c1855f830d8819759ea327d147f28a09bf (diff)
downloadmu-f344b250f6f062a1a1902bf69b23ebf9b565de0e.tar.gz
3395
Diffstat (limited to 'html/real_files.mu.html')
-rw-r--r--html/real_files.mu.html4
1 files changed, 2 insertions, 2 deletions
diff --git a/html/real_files.mu.html b/html/real_files.mu.html
index 7046a633..90700144 100644
--- a/html/real_files.mu.html
+++ b/html/real_files.mu.html
@@ -35,9 +35,9 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 
 <span class="muRecipe">def</span> main [
   <span class="Constant">local-scope</span>
-  f:number/file<span class="Special"> &lt;- </span>$open-file-for-reading <span class="Constant">[/tmp/mu-x]</span>
+  f:num/file<span class="Special"> &lt;- </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:character, eof?:boolean<span class="Special"> &lt;- </span>$read-from-file f
+  c:char, eof?:boolean<span class="Special"> &lt;- </span>$read-from-file f
   $print <span class="Constant">[copying ]</span>, c, <span class="Constant">10/newline</span>
   f<span class="Special"> &lt;- </span>$close-file f
   $print <span class="Constant">[file after closing: ]</span>, f, <span class="Constant">10/newline</span>