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

compileMainExpression :: ReplState -> String -> Bool -> IO Int
compileMainExpression rst exp runrmexec = do
  if safeExec rst
    then do -- check for imports of Unsafe
      unsafeused <- importUnsafeModule rst
      if unsafeused
        then do writeErrorMsg "Import of 'Unsafe' not allowed in safe mode!"
                return 1
        else compileProgExp
    else compileProgExp
 where
  compileProgExp = do
    (ecg, freevars) <- generateMainExpFile
    let mainexpmod = mainExpMod rst
    if ecg /= 0
      then do cleanModule rst mainexpmod
              return ecg
      else do
        when (verbose rst > 3) $ do
          putStrLn "GENERATED MAIN MODULE:"
          readFile (mainExpFile rst) >>= putStrLn
        let compilecmd = curryCompilerCommand (reduceVerbose rst) freevars ++
                         " " ++ (ccExecOpt (compiler rst)) mainexpmod
        timecompilecmd <- getTimeCmd rst "Compilation" compilecmd
        if ccCurryPath (compiler rst)
          then execCommandWithPath rst timecompilecmd [] >> return ()
          else do writeVerboseInfo rst 2 $ "Executing: " ++ timecompilecmd
                  system timecompilecmd >> return ()
        cleanModule rst mainexpmod
        if runrmexec
          then do
            timecmd <- getTimeCmd rst "Execution"
                         (unwords ["./" ++ mainexpmod, rtsArgs rst])
            getTimeoutCmd rst timecmd >>= execAndRemove rst mainexpmod
          else return 0

  generateMainExpFile = do
    unlessKeepFiles rst $ removeFileIfExists $ acyFileName rst (mainExpMod rst)
    writeSimpleMainExpFile rst exp
    getAcyOfMainExpMod rst >>=
      maybe (return (1, []))
            (\cprog -> makeMainExpMonomorphic rst cprog exp >>=
                       maybe
                         (return (1, []))
                         (\ (mprog,mexp) ->
                             insertFreeVarsShowInMainExp rst mprog mexp >>=
                             maybe (return (1, []))
                                   (\ (_,_,freevars) -> return (0, freevars))))

argument 1

deterministic operation

-- Compiles a main expression by creating a "main" module.
-- If the third argument is `True`, the generated executable is
-- invoked and then removed.

<FAILING>

referentially transparent operation

no fixity defined

{(_,_,_) |-> _}

compileMainExpression

no precedence defined

_

REPL.State.ReplState -> String -> Prelude.Bool -> Prelude.IO Prelude.Int

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term