X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Feval.mli;fp=src%2Feval.mli;h=40a4de83589d42856af220e39634c738b750c521;hb=976bb1b35d77f3058df3c25c1e2a4767147d606b;hp=e1d73f0e1a401fa34ea426636215c564dfd27eb2;hpb=84972c63d0dbc5a0da05ae08a5b99a9ad81baadc;p=goals.git

diff --git a/src/eval.mli b/src/eval.mli
index e1d73f0..40a4de8 100644
--- a/src/eval.mli
+++ b/src/eval.mli
@@ -36,3 +36,7 @@ val to_shell_script : Ast.env -> Ast.loc -> Ast.substs -> string
 (** Evaluate a goal argument.  This substitutes any variables found,
     and recursively calls functions. *)
 val evaluate_goal_arg : Ast.env -> Ast.expr -> Ast.expr
+
+(* Call a function. *)
+val call_function : Ast.env -> Ast.loc -> Ast.id -> Ast.expr list -> Ast.func ->
+                    Ast.expr