CurryInfo: icurry-3.2.0 / ICurry.Interpreter.addAssigns

addAssigns :: Graph -> IEnv -> [IAssign] -> (Graph,IEnv)
addAssigns g env [] = (g,env)
addAssigns g env (IVarAssign v e : asgns) =
  let (g1,ne)  = extendGraph g env e
      (g2,nid) = either (\ni -> (g1,ni)) (\nd -> addNode nd g1) ne
  in addAssigns g2 (updateEnv env v nid) asgns
addAssigns _ _ (INodeAssign _ [] _ : _) =
  error "addAssigns: empty path"
addAssigns g env (INodeAssign v path@(_:_) e : asgns) =
  let n        = followPath g (lookupInEnv v env) (init path)
      (g1,ne)  = extendGraph g env e
      (g2,nid) = either (\ni -> (g1,ni)) (\nd -> addNode nd g1) ne
  in addAssigns (replaceNodeArg g2 n (last path) nid) env asgns

argument 3

deterministic operation

-- Adds assignments to the graph and environment.

<FAILING>

referentially transparent operation

no fixity defined

{(_,_,{[]}) |-> {(,)} || (_,_,{:}) |-> {(,)}}

addAssigns

no precedence defined

{(,)}

ICurry.Graph.Graph -> [(Prelude.Int, Prelude.Int)] -> [ICurry.Types.IAssign]
-> (ICurry.Graph.Graph, [(Prelude.Int, Prelude.Int)])

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term