From d4748e41f7fc4865db89ebac0c7f646dca82f89a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 26 May 2009 12:25:06 -0400 Subject: Chars and more string operations --- src/settings.sml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/settings.sml') diff --git a/src/settings.sml b/src/settings.sml index 9dc6e414..4b2092d2 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -140,6 +140,7 @@ val jsFuncsBase = basisM [("alert", "alert"), ("strcat", "cat"), ("intToString", "ts"), ("floatToString", "ts"), + ("charToString", "ts"), ("onError", "onError"), ("onFail", "onFail"), ("onConnectFail", "onConnectFail"), @@ -149,7 +150,9 @@ val jsFuncsBase = basisM [("alert", "alert"), ("attrifyInt", "ts"), ("attrifyFloat", "ts"), ("attrifyBool", "bs"), - ("boolToString", "ts")] + ("boolToString", "ts"), + ("strsub", "sub"), + ("strsuffix", "suf")] 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) -- cgit v1.2.3