CurryInfo: icurry-3.2.0 / ICurry.Interpreter.evalFun

 
evalFun :: IProg -> String -> [String]
evalFun (IProg _ _ _ ifuns) f =
  let (g,ni) = addNode (FuncNode f []) emptyGraph
  in evaluate (initState ifuns g ni)
 where
  evaluate st
    | null (tasks st) = []
    | otherwise
    = let st' = step st
      in maybe (evaluate st')
               (\nid -> showGraphExp (graph st') nid :
                        evaluate st' {currResult = Nothing})
               (currResult st')

 argument 1

 deterministic operation

 
Evaluates a 0-ary function w.r.t. an ICurry program and returns
the list of all results formatted as strings.
Used for testing.

 <FAILING>

 referentially transparent operation

 no fixity defined

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

 evalFun

 no precedence defined

 _

 ICurry.Types.IProg -> String -> [String]

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term