From 226c05f2db7177cd33fffef6546d0385d6a1492f Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 18 Jan 2019 18:06:22 -0500 Subject: Give slightly more standard usage strings --- src/CLI.v | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'src/CLI.v') diff --git a/src/CLI.v b/src/CLI.v index b4ed87604..32cc3fd1e 100644 --- a/src/CLI.v +++ b/src/CLI.v @@ -293,7 +293,8 @@ Module ForExtraction. error | nil => error ["empty argv"] | prog::args - => error ["Expected arguments curve_description, n, s, c, machine_wordsize, [function_to_synthesize*] got " ++ show false (List.length args) ++ " arguments in " ++ prog; + => error ["USAGE: " ++ prog ++ " curve_description n s c machine_wordsize [function_to_synthesize*]"; + "Got " ++ show false (List.length args) ++ " arguments."; ""; curve_description_help; n_help; @@ -394,7 +395,8 @@ Module ForExtraction. error | nil => error ["empty argv"] | prog::args - => error ["Expected arguments curve_description, m, machine_wordsize, [function_to_synthesize*] got " ++ show false (List.length args) ++ " arguments in " ++ prog; + => error ["USAGE: " ++ prog ++ " curve_description m machine_wordsize [function_to_synthesize*]"; + "Got " ++ show false (List.length args) ++ " arguments"; ""; curve_description_help; m_help; @@ -490,7 +492,8 @@ Module ForExtraction. error | nil => error ["empty argv"] | prog::args - => error ["Expected arguments curve_description, s, c, machine_wordsize, [function_to_synthesize*] got " ++ show false (List.length args) ++ " arguments in " ++ prog; + => error ["USAGE: " ++ prog ++ " curve_description s c machine_wordsize [function_to_synthesize*]"; + "Got " ++ show false (List.length args) ++ " arguments"; ""; curve_description_help; s_help; -- cgit v1.2.3