CurryInfo: residuation-analysis-3.0.0 / AnalyzeResiduation.writeResInfoFile

 
writeResInfoFile :: Options -> [(QName,ResiduationInfo)] -> IO ()
writeResInfoFile opts resinfo = do
  let rifile = optOutput opts
  createDirectoryIfMissing True (takeDirectory rifile)
  writeFile rifile (show (map fri2term resinfo) ++ "\n")
  printWhenStatus opts $ "Residuation info written into '" ++ rifile ++ "'"
 where
  fri2term (qn,ri) = (showQName qn,  ri2term ri)
   where
    ri2term MayResiduate       = [0]
    ri2term NoResInfo          = [0]
    ri2term (NoResiduateIf xs) = xs

 no demanded arguments

 deterministic operation

 
Writes a file containing residuation information in Curry term format.
The term is a list of pairs consisting of the qualified function name
together with the list of argument positions which must be ground values
to ensure that the function call does not residuate and yields a
ground value. If the function might always residuate, the argument
position list is [0].

 referentially transparent operation

 no fixity defined

 {(_,_) |-> _}

 writeResInfoFile

 no precedence defined

 _

 ToolOptions.Options
-> [((String, String), Analysis.Residuation.ResiduationInfo)] -> Prelude.IO ()

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term