Distinguish EOF and () in read()

1 files changed, 2 insertions, 1 deletions

diff --git a/bin/actinide-repl b/bin/actinide-repl
index de19617..c4343b6 100755
--- a/bin/actinide-repl
+++ b/bin/actinide-repl
@@ -3,6 +3,7 @@
 import sys
 
 import actinide as a
+import actinide.reader as ar
 import actinide.ports as ap
 import actinide.types as at
 
@@ -12,7 +13,7 @@ def repl(session, port):
             sys.stdout.write("> ")
             sys.stdout.flush()
             form = session.read(port)
-            if form is None:
+            if form is ar.EOF:
                 print()
                 return 0
             results = session.eval(form)