summaryrefslogtreecommitdiff
path: root/src/jscomp.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-01-20 10:40:40 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-01-20 10:40:40 -0500
commit6ec77d7dce5bbc965d0dc44545f3f15d8a9fb181 (patch)
tree8ea100260dd57a167615ea4ec995238f6158cebe /src/jscomp.sml
parentd6272d8c20892d1ce78c15c8e444916bb150e119 (diff)
Patch from Vladimir Shabanov to support implicit passing of 'time' values from server to client
Diffstat (limited to 'src/jscomp.sml')
-rw-r--r--src/jscomp.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml
index dbbb83b2..2c00e04c 100644
--- a/src/jscomp.sml
+++ b/src/jscomp.sml
@@ -311,6 +311,7 @@ fun process file =
| TFfi ("Basis", "string") => ("uu(t[i++])", st)
| TFfi ("Basis", "char") => ("uu(t[i++])", st)
| TFfi ("Basis", "int") => ("parseInt(t[i++])", st)
+ | TFfi ("Basis", "time") => ("parseInt(t[i++])", st)
| TFfi ("Basis", "float") => ("parseFloat(t[i++])", st)
| TFfi ("Basis", "channel") => ("(t[i++].length > 0 ? parseInt(t[i-1]) : null)", st)