From f344b250f6f062a1a1902bf69b23ebf9b565de0e Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 17 Sep 2016 15:01:51 -0700 Subject: 3395 --- html/filesystem.mu.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'html/filesystem.mu.html') diff --git a/html/filesystem.mu.html b/html/filesystem.mu.html index d29130e8..fbc5cd20 100644 --- a/html/filesystem.mu.html +++ b/html/filesystem.mu.html @@ -37,10 +37,10 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color def main [ local-scope - source-file:address:source:character <- start-reading 0/real-filesystem, [/tmp/mu-x] - sink-file:address:sink:character, write-routine:number <- start-writing 0/real-filesystem, [/tmp/mu-y] + source-file:&:source:char <- start-reading 0/real-filesystem, [/tmp/mu-x] + sink-file:&:sink:char, write-routine:num <- start-writing 0/real-filesystem, [/tmp/mu-y] { - c:character, done?:boolean, source-file <- read source-file + c:char, done?:boolean, source-file <- read source-file break-if done? sink-file <- write sink-file, c loop -- cgit 1.4.1-2-gfad0