summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-09-17 13:44:08 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-09-17 13:44:08 -0400
commitd824cd965e42d7ceb195aa26e091c4fa4652ef00 (patch)
treeae94ea41d06ce745bebd67f59187fe982168d410
parent1c7303f03c213b06e52ed3666a1a3493932a7163 (diff)
Don't try to compile sigString() calls to JavaScript
-rw-r--r--src/jscomp.sml3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml
index ca4f047b..1d52f75d 100644
--- a/src/jscomp.sml
+++ b/src/jscomp.sml
@@ -800,6 +800,9 @@ fun process file =
in
(str name, st)
end
+ | EFfiApp ("Basis", "sigString", [_]) => (strcat [str "\"",
+ e,
+ str "\""], st)
| EFfiApp ("Basis", "kc", []) => (str "kc(event)", st)
| EFfiApp (m, x, args) =>
let