Mercurial > urweb
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