From ae232fce69056eb332116d9b158c21ded26d4396 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 27 Jan 2016 19:05:36 +0100
Subject: Update CleanReadLine

---
 iclean.icl | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'iclean.icl')

diff --git a/iclean.icl b/iclean.icl
index 84f0dc5..13e7f5e 100644
--- a/iclean.icl
+++ b/iclean.icl
@@ -46,7 +46,9 @@ where
     loop :: *World -> *World
     loop w
     # (s,w) = readLine "λ. " True w
-    | s == "" = print "\n" w
+    | isNothing s = print "\n" w
+    # s = fromJust s
+    | s == "" = w
     # w = writemodule s w
     # (r,w) = compile temp_path temp_module w
     | r <> 0 = loop w
-- 
cgit v1.2.3