From 10bbca643f16daf640caf040a1f86eb93e3d66e2 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Sun, 21 Aug 2016 08:13:44 -0700
Subject: 3238

Clean up primitive for reading from file. Never return EOF character.
Stop using null character to indicate EOF as well. Instead, always use a
second product to indicate EOF, and require calls to use it.
---
 088file.mu | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to '088file.mu')

diff --git a/088file.mu b/088file.mu
index b18919d0..651f9e8a 100644
--- a/088file.mu
+++ b/088file.mu
@@ -45,8 +45,8 @@ def transmit-from-file file:number, sink:address:sink:character -> sink:address:
   local-scope
   load-ingredients
   {
-    c:character <- $read-from-file file
-    break-unless c
+    c:character, eof?:boolean <- $read-from-file file
+    break-if eof?
     sink <- write sink, c
     loop
   }
-- 
cgit 1.4.1-2-gfad0