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