From ae232fce69056eb332116d9b158c21ded26d4396 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Wed, 27 Jan 2016 19:05:36 +0100 Subject: Update CleanReadLine --- CleanReadLine | 2 +- iclean.icl | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/CleanReadLine b/CleanReadLine index a14be10..45b44a6 160000 --- a/CleanReadLine +++ b/CleanReadLine @@ -1 +1 @@ -Subproject commit a14be10326c468cf30a91e0cedd7d4060fa88c78 +Subproject commit 45b44a6423c29de73de77b39e1d7c6e309962844 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