From bf37b4d56e0ff1c0eba338ff094c75762e3b1811 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 18 Sep 2016 09:55:49 -0700 Subject: 3401 --- html/real-files.mu.html | 52 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 52 insertions(+) create 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 new file mode 100644 index 00000000..3ef5bc3c --- /dev/null +++ b/html/real-files.mu.html @@ -0,0 +1,52 @@ + + + + +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:num/file <- $open-file-for-reading [/tmp/mu-x]
+  $print [file to read from: ], f, 10/newline
+  c:char, eof?:boolean <- $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