diff src/settings.sml @ 829:20fe00fd81da

Substring functions; fix a nasty MonoReduce pattern match substitution bug
author Adam Chlipala <adamc@hcoop.net>
date Sat, 30 May 2009 13:29:00 -0400
parents 14a6c0971d89
children 5e1a4b12c83a
line wrap: on
line diff
--- a/src/settings.sml	Sat May 30 09:59:10 2009 -0400
+++ b/src/settings.sml	Sat May 30 13:29:00 2009 -0400
@@ -153,7 +153,10 @@
                           ("boolToString", "ts"),
                           ("strsub", "sub"),
                           ("strsuffix", "suf"),
-                          ("strlen", "slen")]
+                          ("strlen", "slen"),
+                          ("strindex", "sidx"),
+                          ("strchr", "schr"),
+                          ("substring", "ssub")]
 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)