CurryInfo: runcurry-3.0.0 / RunCurry.checkFirstArg

checkFirstArg :: [String] -> [String] -> IO ()
checkFirstArg curryargs [] = do
  -- no program argument provided, use remaining input as program:
  putStrLn "Type in your program with an operation 'main':"
  hFlush stdout
  progname <- getNewProgramName
  getContents >>= writeFile progname
  execAndDeleteCurryProgram progname curryargs [] >>= exitWith
checkFirstArg curryargs (arg1:args) =
  if takeExtension arg1 `elem` [".curry",".lcurry"]
  then execCurryProgram arg1 curryargs args >>= exitWith
  else do
    isexec <- isExecutable arg1
    if isexec
     then do
       -- argument is not a Curry file but it is an executable, hence, a script:
       -- store it in a Curry program, where lines starting with '#' are removed
       progname <- getNewProgramName
       proginput <- readFile arg1
       let (proglines, hashlines) = partition noHashLine (lines proginput)
           progtext = unlines proglines
       if any isHashJITOption hashlines
        then execOrJIT arg1 progname progtext curryargs args >>= exitWith
        else do
          writeFile progname progtext
          execAndDeleteCurryProgram progname curryargs args >>= exitWith
     else checkFirstArg (curryargs ++ [arg1]) args

argument 2

deterministic operation

-- Check whether runcurry is called in script mode, i.e., the argument
-- is not a Curry program but an existing file:

<FAILING>

referentially transparent operation

no fixity defined

{(_,{[]}) |-> _ || (_,{:}) |-> _}

checkFirstArg

no precedence defined

_

[String] -> [String] -> Prelude.IO ()

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term