diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-12-23 17:46:40 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-12-23 17:46:40 -0500 |
| commit | 4dcddbb299324d2c21d591600dfba0845d93cbfe (patch) | |
| tree | 31bbf2f979aa12d31eb3977bb6c0cdfe2c57bae9 /src/settings.sml | |
| parent | aefcace126000897c60a5312082807d213bbc435 (diff) | |
[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
Diffstat (limited to 'src/settings.sml')
| -rw-r--r-- | src/settings.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml index 4c611336..97c39abf 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -171,6 +171,7 @@ val jsFuncsBase = basisM [("alert", "alert"), ("stringToInt_error", "pi"), ("urlifyInt", "ts"), ("urlifyFloat", "ts"), + ("urlifyTime", "ts"), ("urlifyString", "uf"), ("urlifyBool", "ub"), ("recv", "rv"), |