From 7520a9b95d2661cf40f6c1bf8be79f38ca632516 Mon Sep 17 00:00:00 2001
From: Mark H Weaver <mhw@netris.org>
Date: Mon, 8 Apr 2013 08:44:02 -0400
Subject: [PATCH] Consume a peeked EOF at the REPL.

* module/system/repl/repl.scm (meta-reader): Consume peeked EOF.
---
 module/system/repl/repl.scm | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/module/system/repl/repl.scm b/module/system/repl/repl.scm
index 7d2b7c836..16495560c 100644
--- a/module/system/repl/repl.scm
+++ b/module/system/repl/repl.scm
@@ -87,12 +87,9 @@
       (lambda ()
         (let ((ch (flush-leading-whitespace)))
           (cond ((eof-object? ch)
-                 ;; EOF objects are not buffered. It's quite possible
-                 ;; to peek an EOF then read something else. It's
-                 ;; strange but it's how it works.
-                 ch)
+                 (read-char))  ; consume the EOF and return it
                 ((eqv? ch #\,)
-                 (read-char port)
+                 (read-char)
                  meta-command-token)
                 ((read-comment lang port ch)
                  *unspecified*)