From b4a74fc12de1c2d7fa38d03c2adf42b7db9ad6cb Mon Sep 17 00:00:00 2001
From: Jon Rafkind <rafkind@racket-lang.org>
Date: Thu, 15 Sep 2011 17:21:15 -0600
Subject: [PATCH] [honu] return eof at the repl if an eof-object is read

---
 collects/honu/core/runtime.rkt | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/collects/honu/core/runtime.rkt b/collects/honu/core/runtime.rkt
index 258b2f8702..e1423dd709 100644
--- a/collects/honu/core/runtime.rkt
+++ b/collects/honu/core/runtime.rkt
@@ -4,6 +4,8 @@
          "private/honu-typed-scheme.rkt"
          racket/port)
 
+;; at the repl, honu will only read a single line at a time regardless
+;; of how many expressions it contains
 (define (read-one-line name input)
   (define quit? #f)
   (define one-line
@@ -18,8 +20,7 @@
             (display next)
             (loop))))))
   (if quit?
-    ;; this isn't right, somehow communicate to the system that the repl should close
-    #'(exit)
+    eof
     (honu-read-syntax name (open-input-string one-line))))
 
 (provide configure)