diff src/settings.sml @ 1366:1595a738e4e9

JavaScript compilation of time comparison; fix lexing of XML that includes open parens
author Adam Chlipala <adam@chlipala.net>
date Fri, 24 Dec 2010 18:55:13 -0500
parents 02fc16faecf3
children 44a12a321150
line wrap: on
line diff
--- a/src/settings.sml	Fri Dec 24 18:08:29 2010 -0500
+++ b/src/settings.sml	Fri Dec 24 18:55:13 2010 -0500
@@ -211,7 +211,11 @@
                           ("toupper", "toUpper"),
 
                           ("checkUrl", "checkUrl"),
-                          ("bless", "bless")]
+                          ("bless", "bless"),
+
+                          ("eq_time", "eq"),
+                          ("lt_time", "lt"),
+                          ("le_time", "le")]
 val jsFuncs = ref jsFuncsBase
 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls
 fun jsFunc x = M.find (!jsFuncs, x)