From 9fb5a1a98d5e57c145d7375c8dc66e3988497af8 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 14 Aug 2016 05:28:30 -0700 Subject: 3187 --- destructive-file-operations.mu | 18 ------------------ real-files.mu | 18 ++++++++++++++++++ 2 files changed, 18 insertions(+), 18 deletions(-) delete mode 100644 destructive-file-operations.mu create mode 100644 real-files.mu diff --git a/destructive-file-operations.mu b/destructive-file-operations.mu deleted file mode 100644 index d521b774..00000000 --- a/destructive-file-operations.mu +++ /dev/null @@ -1,18 +0,0 @@ -# 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 -] diff --git a/real-files.mu b/real-files.mu new file mode 100644 index 00000000..d521b774 --- /dev/null +++ b/real-files.mu @@ -0,0 +1,18 @@ +# 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 s='txt' type='search' size='10' name='q' value=''/>

path: root/.gitignore

blob: dca8eae548d5f2b88f89474d404778e810bf115a (plain) (blame)