@@ -164,7 +164,7 @@ parseExpression = P.whiteSpace *> P.parseValue <* Parsec.eof
164handleCommand :: Command -> StateT PSCI (InputT IO) ()
164handleCommand :: Command -> StateT PSCI (InputT IO) ()
165handleCommand Empty = return ()
165handleCommand Empty = return ()
166handleCommand (Expression ls) =
166handleCommand (Expression ls) =
167− case P.runIndentParser "" parseDoNotationBind (unlines ls) of
167+ case P.runIndentParser "" parseDoNotationLet (unlines ls) of
168 Left _ ->
168 Left _ ->
169 case P.runIndentParser "" parseExpression (unlines ls) of
169 case P.runIndentParser "" parseExpression (unlines ls) of
170 Left err -> inputTToState $ outputStrLn (show err)
170 Left err -> inputTToState $ outputStrLn (show err)
@@ -172,10 +172,6 @@ handleCommand (Expression ls) =
172 Right binder -> modify (updateBinders binder)
172 Right binder -> modify (updateBinders binder)
173handleCommand Help = inputTToState $ outputStrLn helpMessage
173handleCommand Help = inputTToState $ outputStrLn helpMessage
174handleCommand (Import moduleName) = modify (updateImports moduleName)
174handleCommand (Import moduleName) = modify (updateImports moduleName)
175−handleCommand (Let line) =
176− case P.runIndentParser "" parseDoNotationLet line of
177− Left err -> inputTToState $ outputStrLn (show err)
178− Right binder -> modify (updateBinders binder)
179handleCommand (LoadFile filePath) = do
175handleCommand (LoadFile filePath) = do
180 mf <- ioToState $ loadModule filePath
176 mf <- ioToState $ loadModule filePath
181 case mf of
177 case mf of