From: Richard W.M. Jones <rjones@redhat.com>
Date: Tue, 31 Dec 2019 09:01:08 +0000 (+0000)
Subject: Add some more debugging.
X-Git-Tag: v'0.2'~117
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=7fe57e17a88bb8bdeac40b4bcffb887692856d97;p=goals.git

Add some more debugging.
---

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