CurryInfo: curry-repl-1.2.0 / REPL.Main.processInput

processInput :: ReplState -> String -> IO ()
processInput rst g
  | null g      = repLoop rst
  | isCommand g = do mbrst <- processCommand rst (strip (tail g))
                     maybe (repLoop (rst { exitStatus = 1 }))
                           (\rst' -> if quit rst' then cleanUpAndExitRepl rst'
                                                  else repLoop rst')
                           mbrst
  | "let " `isPrefixOf` g
  = getAcyOfExpr rst (g ++ "\n  in ()") >>=
    maybe (repLoop rst)
          (\_ -> repLoop rst { letBinds = letBinds rst ++ [g] })
  | otherwise   = evalExpression rst g >>= repLoop

argument 2

deterministic operation

<FAILING>

referentially transparent operation

no fixity defined

{(_,_) |-> _}

processInput

no precedence defined

_

REPL.State.ReplState -> String -> Prelude.IO ()

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term