From 8f9dcb8418ac4db5cf3e4302f61d543d0c47cbdf Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 26 Oct 2018 12:34:24 +0200
Subject: [toplevel] Allow to specify default options.

In some cases, toplevel ML clients may want to modify the default set
of flags that is passed to the main initalization routine. This is for
example useful for `idetop` to suppress some undesired printing at
startup.

I would say that clients ought to have more control, but I do expect
that PRs such as #8690 will help providing a better separation thus a
mode orthogonal API.
---
 toplevel/coqargs.mli | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'toplevel/coqargs.mli')

diff --git a/toplevel/coqargs.mli b/toplevel/coqargs.mli
index b709788dde..f7801fb069 100644
--- a/toplevel/coqargs.mli
+++ b/toplevel/coqargs.mli
@@ -62,10 +62,15 @@ type coq_cmdopts = {
 
   print_emacs : bool;
 
+  (* Quiet / verbosity options should be here *)
+
   inputstate  : string option;
   outputstate : string option;
 
 }
 
-val parse_args : string list -> coq_cmdopts * string list
+(* Default options *)
+val default_opts : coq_cmdopts
+
+val parse_args : coq_cmdopts -> string list -> coq_cmdopts * string list
 val exitcode : coq_cmdopts -> int
-- 
cgit v1.2.3