Mercurial > urweb

diff src/compiler.sml @ 2010:403f0cc65b9c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New lessSafeFfi
author Adam Chlipala <adam@chlipala.net>
date Fri, 02 May 2014 19:19:09 -0400
parents b15a4c2cb542
children ced78ef1c82f c1a62ce47083
line wrap: on
line diff
--- a/src/compiler.sml	Fri May 02 17:16:02 2014 -0400
+++ b/src/compiler.sml	Fri May 02 19:19:09 2014 -0400
@@ -874,6 +874,7 @@
                                    | "timeFormat" => Settings.setTimeFormat arg
                                    | "noMangleSql" => Settings.setMangleSql false
                                    | "html5" => Settings.setIsHtml5 true
+                                   | "lessSafeFfi" => Settings.setLessSafeFfi true
 
                                    | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'");
                                  read ()