From d6b698a6ad00a5f707ae48af039388687ac9b4ba Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 27 May 2010 16:36:17 -0400 Subject: -moduleOf command-line option; compatibility fixes and better error messages for SQLite --- src/main.mlton.sml | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/main.mlton.sml') diff --git a/src/main.mlton.sml b/src/main.mlton.sml index f4f74be2..33838c93 100644 --- a/src/main.mlton.sml +++ b/src/main.mlton.sml @@ -85,6 +85,9 @@ fun doArgs args = | "-iflow" :: rest => (Compiler.doIflow := true; doArgs rest) + | "-moduleOf" :: fname :: _ => + (print (Compiler.moduleOf fname ^ "\n"); + OS.Process.exit OS.Process.success) | arg :: rest => (if size arg > 0 andalso String.sub (arg, 0) = #"-" then raise Fail ("Unknown flag " ^ arg) -- cgit v1.2.3