Factor error message generation into a separate file; add '-tc' flag to domtool-client

[hcoop/domtool2.git] / src / main-client.sml

diff --git a/src/main-client.sml b/src/main-client.sml
index 29db1b4..f0a6f69 100644 (file)
--- a/src/main-client.sml
+++ b/src/main-client.sml
@@ -27,13 +27,18 @@ fun domtoolRoot () =
                             file = "domtool"}
     end
 
-val _ =
+val (doit, args) =
     case CommandLine.arguments () of
+       "-tc" :: args => (fn fname => (Main.setupUser (); ignore (Main.check fname)), args)
+      | args => (Main.request, args)
+
+val _ =
+    case args of
        [fname] =>
        if Posix.FileSys.access (fname, []) then
-           Main.request fname
+           doit fname
        else
-           Main.request (OS.Path.joinDirFile {dir = domtoolRoot (),
-                                              file = fname})
+           doit (OS.Path.joinDirFile {dir = domtoolRoot (),
+                                      file = fname})
       | [] => Main.requestDir (domtoolRoot ())
       | _ => print "Invalid command-line arguments\n"