From 0ca56ed853c3d9bc8c26d1b014d8b665363fc2d0 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 15 Sep 2016 01:01:58 -0700 Subject: 3355 --- html/real-files.mu.html | 52 ------------------------------------------------- 1 file changed, 52 deletions(-) delete mode 100644 html/real-files.mu.html (limited to 'html/real-files.mu.html') diff --git a/html/real-files.mu.html b/html/real-files.mu.html deleted file mode 100644 index 48cddbb8..00000000 --- a/html/real-files.mu.html +++ /dev/null @@ -1,52 +0,0 @@ - - - - -Mu - real-files.mu - - - - - - - - - - -
-# example program: read a character from one file and write it to another
-# BEWARE: this will modify your file system
-# before running it, put a character into /tmp/mu-x
-# after running it, check /tmp/mu-y
-
-def main [
-  local-scope
-  f:number/file <- $open-file-for-reading [/tmp/mu-x]
-  $print [file to read from: ], f, 10/newline
-  c:character <- $read-from-file f
-  $print [copying ], c, 10/newline
-  f <- $close-file f
-  $print [file after closing: ], f, 10/newline
-  f <- $open-file-for-writing [/tmp/mu-y]
-  $print [file to write to: ], f, 10/newline
-  $write-to-file f, c
-  f <- $close-file f
-]
-
- - - -- cgit 1.4.1-2-gfad0