CurryInfo: icurry-3.2.0 / ICurry.Interpreter.extendGraph

extendGraph :: Graph -> IEnv -> IExpr -> (Graph, Either NodeID Node)
extendGraph g0 env (IVar v) = (g0, Left $ lookupInEnv v env)
extendGraph g0 env (IVarAccess v path) =
  (g0, Left $ followPath g0 (lookupInEnv v env) path)
extendGraph g0 _ (ILit l) = (g0, Right $ ConsNode (showILit l) [])
extendGraph g0 env (IFCall (mn,c,_) es)
 | mn == "Prelude" && c == "unknown" && null es
 = (g0, Right FreeNode)
 | otherwise
 = let (g1,ns) = extendGraphL g0 env es
   in (g1, Right $ FuncNode c ns)
extendGraph g0 env (ICCall (_,c,_) es) =
  let (g1,ns) = extendGraphL g0 env es
  in (g1, Right $ ConsNode c ns)
extendGraph g0 env (IFPCall (_,c,_) m es) =
  let (g1,ns) = extendGraphL g0 env es
  in (g1, Right $ PartNode c (PartFuncCall m) ns)
extendGraph g0 env (ICPCall (_,c,_) m es) =
  let (g1,ns) = extendGraphL g0 env es
  in (g1, Right $ PartNode c (PartConsCall m) ns)
extendGraph g0 env (IOr e1 e2) =
  let (g1,[n1,n2]) = extendGraphL g0 env [e1,e2]
  in (g1, Right $ ChoiceNode (maxNodeID g1) n1 n2) -- TODO: better choice ids

argument 3

deterministic operation

-- Extends a graph w.r.t. a given environment and ICurry expression
-- so that a expression is represented in the graph.
-- The result is either a node identifier of an existing node (if the
-- expression already exists in graph)  or the contents of a new node
-- to be added.
-- Used for assignments and return statements (ISimpleBlock).

<FAILING>

referentially transparent operation

no fixity defined

{(_,_,{IVar}) |-> {(,)} || (_,_,{IVarAccess}) |-> {(,)} || (_,_,{ILit}) |-> {(,)} || (_,_,{IFCall}) |-> {(,)} || (_,_,{ICCall}) |-> {(,)} || (_,_,{IFPCall}) |-> {(,)} || (_,_,{ICPCall}) |-> {(,)} || (_,_,{IOr}) |-> {(,)}}

extendGraph

no precedence defined

{(,)}

ICurry.Graph.Graph -> [(Prelude.Int, Prelude.Int)] -> ICurry.Types.IExpr
-> (ICurry.Graph.Graph, Prelude.Either Prelude.Int ICurry.Graph.Node)

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term