Mercurial > urweb

diff src/compiler.sml @ 1393:802c179dac1f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
alwaysInline .urp setting
author Adam Chlipala <adam@chlipala.net>
date Thu, 13 Jan 2011 18:15:04 -0500
parents bf58ca871c00
children d328983dc5a6
line wrap: on
line diff
--- a/src/compiler.sml	Thu Jan 13 13:20:14 2011 -0500
+++ b/src/compiler.sml	Thu Jan 13 18:15:04 2011 -0500
@@ -754,6 +754,7 @@
                                     (case Int.fromString arg of
                                          NONE => ErrorMsg.error ("invalid min heap '" ^ arg ^ "'")
                                        | SOME n => minHeap := n)
+                                  | "alwaysInline" => Settings.addAlwaysInline arg
 
                                   | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'");
                                 read ()