From 7fe57e17a88bb8bdeac40b4bcffb887692856d97 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 31 Dec 2019 09:01:08 +0000 Subject: [PATCH] Add some more debugging. --- src/parse.ml | 2 ++ 1 file changed, 2 insertions(+) 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 = "" }; parse_expr lexbuf -- 1.8.3.1