From 0e265215e3f2c9bde5ffa019c0d97fca931d09d4 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 18 Aug 2012 13:51:41 -0400
Subject: Better error message for funky command lines

---
 src/main.mlton.sml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/main.mlton.sml')

diff --git a/src/main.mlton.sml b/src/main.mlton.sml
index 6ecb2f92..34dd6382 100644
--- a/src/main.mlton.sml
+++ b/src/main.mlton.sml
@@ -169,7 +169,11 @@ fun oneRun args =
         val job =
             case !sources of
                 [file] => file
-              | _ => printVersion ()
+              | _ =>
+                if List.exists (fn s => s <> "-version") args then
+                    raise Fail "Zero or multiple input files specified; only one is allowed."
+                else
+                    printVersion ()
     in
         case (!css, !demo, !tutorial) of
             (true, _, _) =>
-- 
cgit v1.2.3