From 7a84094adbf7570e0b9716d8f469458b901efec8 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Sat, 17 Sep 2016 10:28:25 -0700
Subject: 3385

---
 088file.mu | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

(limited to '088file.mu')

diff --git a/088file.mu b/088file.mu
index 4b1a5e23..63ab54f7 100644
--- a/088file.mu
+++ b/088file.mu
@@ -16,16 +16,16 @@ def start-reading fs:address:filesystem, filename:text -> contents:address:sourc
   {
     break-if fs
     # real file system
-    file:number <- $open-file-for-reading filename
+    file:num <- $open-file-for-reading filename
     assert file, [file not found]
     contents:address:source:char, sink:address:sink:char <- new-channel 30
     start-running transmit-from-file file, sink
     return
   }
   # fake file system
-  i:number <- copy 0
+  i:num <- copy 0
   data:address:array:file-mapping <- get *fs, data:offset
-  len:number <- length *data
+  len:num <- length *data
   {
     done?:boolean <- greater-or-equal i, len
     break-if done?
@@ -42,7 +42,7 @@ def start-reading fs:address:filesystem, filename:text -> contents:address:sourc
   return 0/not-found
 ]
 
-def transmit-from-file file:number, sink:address:sink:char -> sink:address:sink:char [
+def transmit-from-file file:num, sink:address:sink:char -> sink:address:sink:char [
   local-scope
   load-ingredients
   {
@@ -58,8 +58,8 @@ def transmit-from-file file:number, sink:address:sink:char -> sink:address:sink:
 def transmit-from-text contents:text, sink:address:sink:char -> sink:address:sink:char [
   local-scope
   load-ingredients
-  i:number <- copy 0
-  len:number <- length *contents
+  i:num <- copy 0
+  len:num <- length *contents
   {
     done?:boolean <- greater-or-equal i, len
     break-if done?
@@ -71,14 +71,14 @@ def transmit-from-text contents:text, sink:address:sink:char -> sink:address:sin
   sink <- close sink
 ]
 
-def start-writing fs:address:filesystem, filename:text -> sink:address:sink:char, routine-id:number [
+def start-writing fs:address:filesystem, filename:text -> sink:address:sink:char, routine-id:num [
   local-scope
   load-ingredients
   source:address:source:char, sink:address:sink:char <- new-channel 30
   {
     break-if fs
     # real file system
-    file:number <- $open-file-for-writing filename
+    file:num <- $open-file-for-writing filename
     assert file, [no such file]
     routine-id <- start-running transmit-to-file file, source
     reply
@@ -88,7 +88,7 @@ def start-writing fs:address:filesystem, filename:text -> sink:address:sink:char
   routine-id <- start-running transmit-to-fake-file fs, filename, source
 ]
 
-def transmit-to-file file:number, source:address:source:char -> source:address:source:char [
+def transmit-to-file file:num, source:address:source:char -> source:address:source:char [
   local-scope
   load-ingredients
   {
@@ -117,8 +117,8 @@ def transmit-to-fake-file fs:address:filesystem, filename:text, source:address:s
   curr-filename:text <- copy 0
   data:address:array:file-mapping <- get *fs, data:offset
   # replace file contents if it already exists
-  i:number <- copy 0
-  len:number <- length *data
+  i:num <- copy 0
+  len:num <- length *data
   {
     done?:boolean <- greater-or-equal i, len
     break-if done?
@@ -130,11 +130,11 @@ def transmit-to-fake-file fs:address:filesystem, filename:text, source:address:s
     reply
   }
   # if file didn't already exist, make room for it
-  new-len:number <- add len, 1
+  new-len:num <- add len, 1
   new-data:address:array:file-mapping <- new file-mapping:type, new-len
   put *fs, data:offset, new-data
   # copy over old files
-  i:number <- copy 0
+  i:num <- copy 0
   {
     done?:boolean <- greater-or-equal i, len
     break-if done?
-- 
cgit 1.4.1-2-gfad0