From 2d22156b3814802c7f1c46db5f553af6904a794d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 1 Oct 2017 17:32:07 -0400 Subject: Small tweaks to new help text --- src/main.mlton.sml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/main.mlton.sml b/src/main.mlton.sml index 3d28acdc..1229d552 100644 --- a/src/main.mlton.sml +++ b/src/main.mlton.sml @@ -79,7 +79,7 @@ fun usage flag_info = | print_args (ONE (x, _)) = print (" " ^ x) | print_args (TWO (x, y, _)) = print (" " ^ x ^ " " ^ y) - fun print_flag (_, (flag, args, desc)) = + fun print_flag (flag, args, desc) = (print (" -" ^ flag); print_args args; print_desc desc) @@ -88,7 +88,7 @@ fun usage flag_info = print (" " ^ name ^ " daemon [stop|start]\n"); print (" " ^ name ^ " [flag ...] project-name\n"); print "Supported flags are:\n"; - ListUtil.appi print_flag flag_info; + app print_flag flag_info; raise Code OS.Process.success end @@ -172,7 +172,7 @@ fun oneRun args = SOME "set prefix used before all URI's"), ("db", ONE ("", Settings.setDbstring o SOME), SOME "database connection information"), - ("dbms", ONE ("[sqlite|mysql|postgrsql]", Settings.setDbms), + ("dbms", ONE ("[sqlite|mysql|postgres]", Settings.setDbms), SOME "select database engine"), ("debug", call_true Settings.setDebug, NONE), @@ -202,7 +202,7 @@ fun oneRun args = ("output", ONE ("", Settings.setExe o SOME), SOME "output executable as "), ("js", ONE ("", Settings.setOutputJsFile o SOME), - SOME "serve javascript as "), + SOME "serve JavaScript as "), ("sql", ONE ("", Settings.setSql o SOME), SOME "output sql script as "), ("static", call_true Settings.setStaticLinking, @@ -235,7 +235,7 @@ fun oneRun args = NONE), ("explainEmbed", set_true JsComp.explainEmbed, SOME ("explain errors about embedding of server-side "^ - "values in clinent code")) + "values in client code")) ] val () = case args of -- cgit v1.2.3