Get holdeptool to handle lexer exceptions better (see ffab9eb)

HOL-Theorem-Prover · Mar 13, 2018 · a07fdf6 · a07fdf6
1 parent 61cbf43
commit a07fdf6
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/tools/Holmake/holdeptool.sml b/tools/Holmake/holdeptool.sml
@@ -19,7 +19,9 @@ fun main() = let
   end
   val results =
       case CommandLine.arguments() of
-          [] => stream_deps ("<stdin>", TextIO.stdIn)
+          [] => (stream_deps ("<stdin>", TextIO.stdIn)
+                 handle LEX_ERROR s => diewith("Lexical error: " ^ s)
+                      | e => diewith ("Exception: "^General.exnMessage e))
         | ["-h"] => usage ok
         | [fname] => (reader_deps (fname, QFRead.fileToReader fname)
                       handle LEX_ERROR s => diewith("Lexical error: " ^ s)