CurryInfo: benchmark-papers-3.0.0 / ExecuteBenchmarkPaper.extractCurryCode

 
extractCurryCode :: Handle -> String -> IO [String]
extractCurryCode _ [] = return []
extractCurryCode hc (c:cs) = case c of
  '\\' -> if take 9 cs == "runcurry{"
          then let (s,ds) = break (=='}') (drop 9 cs)
                in if null ds
                   then error ("UNCLOSED MACRO: " ++ c:take 50 cs ++ "...")
                   else do xs <- extractCurryCode hc (tail ds)
                           return (s:xs)
          else extractCurryCode hc cs
  '\n' -> if not (null cs) && head cs == '%'
          then skipLine cs
          else if take 17 cs == "\\begin{curryprog}"
               then copyCurryCode hc (drop 17 cs) >>=
                    extractCurryCode hc
               else extractCurryCode hc cs
  _    -> extractCurryCode hc cs
 where
  skipLine [] = return []
  skipLine (d:ds) = if d=='\n'
                    then extractCurryCode hc (d:ds)
                    else skipLine ds

 argument 2

 deterministic operation

 
Extract \begin{curryprog}...\end{curryprog} and \runcurry{...} from a text.
The "{...}" must not contain any further curly brackets.
The extracted `curryprog` code is written to the handle.

 <FAILING>

 referentially transparent operation

 no fixity defined

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

 extractCurryCode

 no precedence defined

 _

 System.IO.Handle -> String -> Prelude.IO [String]

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term