Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
2009:799be3911ce3 2010:403f0cc65b9c
872 | "neverInline" => Settings.addNeverInline arg 872 | "neverInline" => Settings.addNeverInline arg
873 | "noXsrfProtection" => Settings.addNoXsrfProtection arg 873 | "noXsrfProtection" => Settings.addNoXsrfProtection arg
874 | "timeFormat" => Settings.setTimeFormat arg 874 | "timeFormat" => Settings.setTimeFormat arg
875 | "noMangleSql" => Settings.setMangleSql false 875 | "noMangleSql" => Settings.setMangleSql false
876 | "html5" => Settings.setIsHtml5 true 876 | "html5" => Settings.setIsHtml5 true
877 | "lessSafeFfi" => Settings.setLessSafeFfi true
877 878
878 | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'"); 879 | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'");
879 read () 880 read ()
880 end 881 end
881 882