CurryInfo: icurry-3.2.0 / ICurry.Interpreter.followPath

 
followPath :: Graph -> NodeID -> [Int] -> NodeID
followPath _ n [] = n
followPath g n (i:is) = case lookupNode n g of
  ConsNode _ ns      -> followPath g (selectArg ns) is
  FuncNode _ ns      -> followPath g (selectArg ns) is
  PartNode _ _ ns    -> followPath g (selectArg ns) is
  ChoiceNode _ n1 n2 -> followPath g (selectArg [n1,n2]) is
  FreeNode           -> error "followPath: FreeNode"
 where
  selectArg ns | i >= length ns = error "followPath: argument does not exist!"
               | otherwise      = ns !! i

 argument 3

 deterministic operation

 
Follows a path from a given node.

 <FAILING>

 referentially transparent operation

 no fixity defined

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

 followPath

 no precedence defined

 _

 ICurry.Graph.Graph -> Prelude.Int -> [Prelude.Int] -> Prelude.Int

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term