CurryInfo: currypp-3.2.0 / CPP.ICode.TransICode.tryReadParserInfoFile

 
tryReadParserInfoFile :: Int -> String -> String
                      -> IO (Either String ParserInfo)
tryReadParserInfoFile verb model orgfname = do
  if null model
   then do orgdir  <- getAbsolutePath (takeDirectory orgfname)
           fresult <- findParserInfoFile (splitDirectories orgdir)
           case fresult of
             Left err    -> return (Left err)
             Right fname -> readParserInfo verb (orgdir </> fname)
   else readParserInfo verb model

 argument 2

 deterministic operation

 
Try to read parser info file for the SQL preprocessor.

 <FAILING>

 referentially transparent operation

 no fixity defined

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

 tryReadParserInfoFile

 no precedence defined

 _

 Prelude.Int -> String -> String
-> Prelude.IO (Prelude.Either String CPP.ICode.Parser.SQL.ParserInfoType.ParserInfo)

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term