changeset 1815:28986cfac833

Added 'coreInline' and 'monoInline' .urp options
author Vladimir Shabanov <vshabanoff@gmail.com>
date Tue, 04 Sep 2012 03:32:59 +0400 (2012-09-03)
parents 2d9f831d45c9
children ae8b0e05522a
files src/compiler.sml
diffstat 1 files changed, 8 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/compiler.sml	Mon Sep 03 09:51:23 2012 -0400
+++ b/src/compiler.sml	Tue Sep 04 03:32:59 2012 +0400
@@ -853,6 +853,14 @@
                                      (case Int.fromString arg of
                                           NONE => ErrorMsg.error ("invalid min heap '" ^ arg ^ "'")
                                         | SOME n => minHeap := n)
+                                   | "coreInline" =>
+                                     (case Int.fromString arg of
+                                          NONE => ErrorMsg.error ("invalid core inline level '" ^ arg ^ "'")
+                                        | SOME n => Settings.setCoreInline n)
+                                   | "monoInline" =>
+                                     (case Int.fromString arg of
+                                          NONE => ErrorMsg.error ("invalid mono inline level '" ^ arg ^ "'")
+                                        | SOME n => Settings.setMonoInline n)
                                    | "alwaysInline" => Settings.addAlwaysInline arg
                                    | "noXsrfProtection" => Settings.addNoXsrfProtection arg
                                    | "timeFormat" => Settings.setTimeFormat arg