Mercurial > urweb

comparison src/compiler.sml @ 1953:0992323fa264

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
noMangleSql .urp directive
author Adam Chlipala <adam@chlipala.net>
date Sat, 04 Jan 2014 19:02:14 -0500
parents 9a1097954188
children ac1be85e91ad
comparison
equal deleted inserted replaced
1952:cf7f7e51b0a2 1953:0992323fa264
862 NONE => ErrorMsg.error ("invalid mono inline level '" ^ arg ^ "'") 862 NONE => ErrorMsg.error ("invalid mono inline level '" ^ arg ^ "'")
863 | SOME n => Settings.setMonoInline n) 863 | SOME n => Settings.setMonoInline n)
864 | "alwaysInline" => Settings.addAlwaysInline arg 864 | "alwaysInline" => Settings.addAlwaysInline arg
865 | "noXsrfProtection" => Settings.addNoXsrfProtection arg 865 | "noXsrfProtection" => Settings.addNoXsrfProtection arg
866 | "timeFormat" => Settings.setTimeFormat arg 866 | "timeFormat" => Settings.setTimeFormat arg
867 | "noMangleSql" => Settings.setMangleSql false
867 868
868 | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'"); 869 | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'");
869 read () 870 read ()
870 end 871 end
871 872