From 1278e187ddc2aa3623002b1af2dc402eb735eb16 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Sat, 3 Jan 2015 09:28:41 +0100 Subject: PR#16: give option rules precedence over file pattern rules. Plus: simplify handling of -help and --help. Plus: error on unrecognized "-xxx" options so that "-foo.c" is not treated as a source file. --- driver/Commandline.mli | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'driver/Commandline.mli') diff --git a/driver/Commandline.mli b/driver/Commandline.mli index 7a18905f..79786678 100644 --- a/driver/Commandline.mli +++ b/driver/Commandline.mli @@ -34,8 +34,7 @@ type action = | String of (string -> unit) (** read next arg as a string, call function *) | Integer of (int -> unit) (** read next arg as an int, call function *) -val parse_cmdline: - (pattern * action) list -> string (* usage string *) -> unit +val parse_cmdline: (pattern * action) list -> unit (* Note on precedence: [Exact] patterns are tried first, then the other patterns are tried in the order in which they appear in the list. *) -- cgit