Update CleanReadLine

2 files changed, 3 insertions, 1 deletions

diff --git a/CleanReadLine b/CleanReadLine
-Subproject a14be10326c468cf30a91e0cedd7d4060fa88c7
+Subproject 45b44a6423c29de73de77b39e1d7c6e30996284
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