Lines Matching refs:function
48 (* Applied as a function - the list is where the result goes, the codetree list
62 | Eval of (* Evaluate a function with an argument list. *)
64 function: codetree,
85 | BeginLoop of (* Start of tail-recursive inline function. *)
88 | Loop of (codetree * argumentType) list (* Jump back to start of tail-recursive function. *)
131 inline function. Tuple entries are functions from an integer
132 offset to one of these pairs; inline function entries are a
138 includes a function from int, the index, to the (general, special) pair
140 reason is that if we have a function that contains a reference to, say a tuple,
141 in its closure we can pass in a EnvSpecTuple entry with a function that
259 Eval {function, argList, ...} =>
262 case function of
263 Extract _ => pretty function
264 | Constnt _ => pretty function
269 pretty function,
618 (* Mapping function to enable parts of the tree to be replaced. *)
642 | mapt (Eval { function, argList, resultType }) =
644 function = mapCodetree f function,
699 (* Fold a function over the tree. f is applied to the node and the input
702 examined further. Otherwise this function descends into the tree and
721 | ftree (Eval { function, argList, ...}, v) =
722 foldl(fn((c, _), w) => foldtree f w c) (foldtree f v function) argList