diff options
author | Adam Chlipala <adam@chlipala.net> | 2019-03-23 20:16:15 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2019-03-23 20:16:15 -0400 |
commit | 3f119f5c0a5f210ed442841dfed3ae98786004e9 (patch) | |
tree | 9cc52e33546dd2ff9101ec139f11eaf545eb31c1 /src/settings.sml | |
parent | 18d42a0f0829132803a8c508e1d1cc797c6dbbde (diff) |
Supporting 'char' arguments to handlers called from client code
Diffstat (limited to 'src/settings.sml')
-rw-r--r-- | src/settings.sml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml index abb26f72..edc03d4c 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -117,6 +117,7 @@ fun basis x = S.addList (S.empty, map (fn x : string => ("Basis", x)) x) val clientToServerBase = basis ["int", "float", "string", + "char", "time", "file", "unit", @@ -277,6 +278,7 @@ val jsFuncsBase = basisM [("alert", "alert"), ("urlifyFloat", "ts"), ("urlifyTime", "ts"), ("urlifyString", "uf"), + ("urlifyChar", "uf"), ("urlifyBool", "ub"), ("recv", "rv"), ("strcat", "cat"), |