@@ -164,7 +164,7 @@ parseExpression = P.whiteSpace *> P.parseValue <* Parsec.eof
164164handleCommand :: Command -> StateT PSCI (InputT IO) ()
165165handleCommand Empty = return ()
166166handleCommand (Expression ls) =
167− case P.runIndentParser "" parseDoNotationBind (unlines ls) of
167+ case P.runIndentParser "" parseDoNotationLet (unlines ls) of
168168 Left _ ->
169169 case P.runIndentParser "" parseExpression (unlines ls) of
170170 Left err -> inputTToState $ outputStrLn (show err)
@@ -172,10 +172,6 @@ handleCommand (Expression ls) =
172172 Right binder -> modify (updateBinders binder)
173173handleCommand Help = inputTToState $ outputStrLn helpMessage
174174handleCommand (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)
179175handleCommand (LoadFile filePath) = do
180176 mf <- ioToState $ loadModule filePath
181177 case mf of