diff options
| -rw-r--r-- | channel.mu | 1 | ||||
| -rw-r--r-- | real-files.mu | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/channel.mu b/channel.mu index e7415754..e2e1e758 100644 --- a/channel.mu +++ b/channel.mu @@ -16,6 +16,7 @@ def producer sink:address:sink:character -> sink:address:sink:character [ n <- add n, 1 loop } + close sink ] def consumer source:address:source:character -> source:address:source:character [ diff --git a/real-files.mu b/real-files.mu index d521b774..50137a0b 100644 --- a/real-files.mu +++ b/real-files.mu @@ -7,7 +7,7 @@ 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 + c:character, eof?:boolean <- $read-from-file f $print [copying ], c, 10/newline f <- $close-file f $print [file after closing: ], f, 10/newline |