+ "-tc" :: args => (fn fname =>
+ let
+ val _ : string = Main.setupUser ()
+ val env = Main.basis ()
+ val env =
+ case libnameOpt () of
+ NONE => env
+ | SOME libname => #1 (Main.check env libname)
+ in
+ ignore (Main.check env fname)
+ end,
+ Main.checkDir,
+ args)
+ | args => (fn fname => Main.request (fname, libnameOpt ()),
+ Main.requestDir,
+ args)
+
+val _ =
+ case args of