diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-05-27 16:36:17 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-05-27 16:36:17 -0400 |
| commit | d6b698a6ad00a5f707ae48af039388687ac9b4ba (patch) | |
| tree | e323bae4aa24f7a07c4a5c0941b14dc88b97e75a /src/main.mlton.sml | |
| parent | 0091af30d2d24940404e49b30a6d0e2a0e4ba4e7 (diff) | |
-moduleOf command-line option; compatibility fixes and better error messages for SQLite
Diffstat (limited to 'src/main.mlton.sml')
| -rw-r--r-- | src/main.mlton.sml | 3 |
1 files changed, 3 insertions, 0 deletions
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) |