CurryInfo: verify-non-fail-2.0.0 / Verify.WithSMT.readIncludeFile

 
readIncludeFile :: String -> IO String
readIncludeFile incfile = do
  ppinclude <- fmap (</> "include" </> incfile) getPackagePath
  exppinclude <- doesFileExist ppinclude
  if exppinclude
    then readFile ppinclude
    else do
      let localinclude = "include" </> incfile
      exlocalinclude <- doesFileExist localinclude
      if exlocalinclude
        then readFile localinclude
        else do printInfoLine $
                  "Warning: " ++ localinclude ++ " not found!\n" ++
                  "SMT script might be incomplete!"
                return ""

 no demanded arguments

 deterministic operation

 
Try to read a file in the `include` directory of the package
 or, if this does not exists, in a local `include` directory.

 <FAILING>

 referentially transparent operation

 no fixity defined

 {(_) |-> _}

 readIncludeFile

 no precedence defined

 _

 String -> Prelude.IO String

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term