diff options
m--------- | CleanReadLine | 0 | ||||
-rw-r--r-- | iclean.icl | 4 |
2 files changed, 3 insertions, 1 deletions
diff --git a/CleanReadLine b/CleanReadLine -Subproject a14be10326c468cf30a91e0cedd7d4060fa88c7 +Subproject 45b44a6423c29de73de77b39e1d7c6e30996284 @@ -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 |