CurryInfo: benchmark-papers-3.0.0 / ExecuteBenchmarkPaper.extractCode

 
extractCode :: String -> IO Bool
extractCode texfile = do
  pid <- getPID
  let tmpname   = "tmpxxx" ++ show pid
      curryfile = tmpname ++ ".curry"
      macrofile = dropExtension texfile ++ ".currycode.tex"
  absmacrofile <- getAbsolutePath macrofile
  cnts <- readFile texfile
  hc <- openFile curryfile WriteMode
  hPutStrLn hc "import ExecuteBenchmarkPaper\n"
  codesnippets <- extractCurryCode hc cnts
  if null codesnippets
   then do
     hClose hc
     removeFile curryfile
     putStrLn "No code snippets found, nothing done"
     return False
   else do
     saveOldFile absmacrofile
     copyFile (packagePath </> "include" </> currycodeFile)
              (takeDirectory absmacrofile </> currycodeFile)
     hPutStrLn hc $
       concatMap genMacro (zip [1..] codesnippets) ++
       "\nmain :: IO ()" ++
       "\nmain = genMacroFile [" ++
                 intercalate "," (map (\i->macroOpName i)
                                      [1 .. length codesnippets]) ++
                 "] \"" ++ absmacrofile ++ "\"\n"
     hClose hc
     putStrLn "Computing results for Curry code snippets..."
     currypath  <- bmLoadPath
     let evalcmd = unwords [ currySystem
                           , ":set path", currypath
                           , ":load", curryfile
                           , ":eval main"
                           , ":quit" ]
     --putStrLn $ "EXECUTING: " ++ evalcmd
     ec <- system evalcmd
     system $ cleanCurry ++ " " ++ tmpname
     if ec==0
      then removeFile curryfile >> return True
      else error $
             "Something went wrong when executing Curry code snippets\n" ++
             "Inspect generated Curry program in \"" ++ curryfile ++ "\"\n"
 where
   macroOpName i = "runCurryMacro" ++ show i

   genMacro (i,m) =
     '\n':macroOpName i ++ " :: (String, IO String)\n" ++ 
          macroOpName i ++ " = (" ++ show m ++ "," ++ m ++ ")\n"

 no demanded arguments

 deterministic operation

 
Extract Curry code snippets from a latex file.
The code snippets are stored in a temporary Curry program as
pairs of the code snippet text and the code snippet.
Then the temporary Curry program is executed to generate
a latex macro file (with suffix `.currycode.tex`) defining
for each code snippet its execution result.

 <FAILING>

 referentially transparent operation

 no fixity defined

 {(_) |-> _}

 extractCode

 no precedence defined

 _

 String -> Prelude.IO Prelude.Bool

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term