X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Feval.mli;h=751246166cef806396d3641f811c246355a4bcd0;hb=eb96a7b791ac414a861a31e93e3336924daaecbe;hp=2e559810b6c525efa0e5d660753246bf20e82f05;hpb=4d0527cd7ced1d96720e3af56da29a19551944f7;p=goals.git

diff --git a/src/eval.mli b/src/eval.mli
index 2e55981..7512461 100644
--- a/src/eval.mli
+++ b/src/eval.mli
@@ -17,6 +17,7 @@
  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  *)
 
-val evaluate : Ast.file -> (string, Ast.expr) Hashtbl.t -> Ast.expr list -> unit
+val evaluate_targets : Ast.env -> Ast.expr list -> unit
 (** This drives evaluation of the list of expressions (in parallel)
-    until they are complete or we reach an error. *)
+    until they are complete or we reach an error.  The expressions
+    are either a list of dependencies or a list of initial targets. *)