CurryInfo: benchmark-papers-3.0.0 / ExecuteBenchmarkPaper.processArgs

 
processArgs :: Bool -> [String] -> IO ()
processArgs runlatex args = case args of
  [] -> showError
  ["-h"]      -> showHelp
  ["-?"]      -> showHelp
  ["--help"]  -> showHelp
  "-c":rargs  -> invokeCurry rargs
  ["-l",prog] -> invokeCurry [":load",prog]
  "-f":rargs  -> processArgs True rargs
  [infile]    -> if head infile == '-'
                   then showError
                   else let texfile = if takeExtension infile == ".tex"
                                        then infile
                                        else infile ++ ".tex"
                        in mainExec texfile runlatex
  _ -> showError
 where
  showError =
    error ("Illegal arguments (use '--help' for description):\n" ++ unwords args)

 argument 2

 deterministic operation

 <FAILING>

 referentially transparent operation

 no fixity defined

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

 processArgs

 no precedence defined

 _

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

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term