From 7bf0a0124a6c8a834983a660af53d8789ac0a8ac Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 14 Oct 2010 11:06:26 -0400
Subject: Interface for setting memory limits

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

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

diff --git a/src/main.mlton.sml b/src/main.mlton.sml
index 09b53c58..a434ef12 100644
--- a/src/main.mlton.sml
+++ b/src/main.mlton.sml
@@ -91,6 +91,15 @@ fun doArgs args =
       | "-noEmacs" :: rest =>
         (Demo.noEmacs := true;
          doArgs rest)
+      | "-limit" :: class :: num :: rest =>
+        (case Int.fromString num of
+             NONE => raise Fail ("Invalid limit number '" ^ num ^ "'")
+           | SOME n =>
+             if n < 0 then
+                 raise Fail ("Invalid limit number '" ^ num ^ "'")
+             else
+                 Settings.addLimit (class, n);
+         doArgs rest)
       | arg :: rest =>
         (if size arg > 0 andalso String.sub (arg, 0) = #"-" then
              raise Fail ("Unknown flag " ^ arg)
-- 
cgit v1.2.3