X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fparse.ml;h=d9210ff6306940a81ebd6d723c87e91c144eb5bd;hb=eaa22cca2ae85beff5b6f981e084fc9d9b57f202;hp=1a4c206844b8c161aa2bd8e4bf5c0e2c3cfc854b;hpb=6afdc65fcdb592dccb751849f65b1f482ef97cd6;p=goals.git

diff --git a/src/parse.ml b/src/parse.ml
index 1a4c206..d9210ff 100644
--- a/src/parse.ml
+++ b/src/parse.ml
@@ -54,6 +54,7 @@ let parse_expr lexbuf =
 
 (* This is used to parse the Goalfile. *)
 let parse_goalfile env filename =
+  Cmdline.debug "parse file: %s" filename;
   let fp = open_in filename in
   let lexbuf = Lexing.from_channel fp in
   lexbuf.lex_curr_p <- { lexbuf.lex_curr_p with pos_fname = filename };
@@ -63,6 +64,7 @@ let parse_goalfile env filename =
 
 (* This is used to parse dependency expressions on the command line. *)
 let parse_cli_expr str =
+  Cmdline.debug "parsing from command line: %S" str;
   let lexbuf = Lexing.from_string str in
   lexbuf.lex_curr_p <- { lexbuf.lex_curr_p with pos_fname = "<command line>" };
   parse_expr lexbuf