# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1253209448 14400
# Node ID 5be3d19b59f3a4962e4bd3f7719bd0823fa0c5f6
# Parent  6646b95f18604ed80c3cbe9850389c0b99800b48
Don't try to compile sigString() calls to JavaScript

diff -r 6646b95f1860 -r 5be3d19b59f3 src/jscomp.sml
--- a/src/jscomp.sml	Thu Sep 17 13:30:56 2009 -0400
+++ b/src/jscomp.sml	Thu Sep 17 13:44:08 2009 -0400
@@ -800,6 +800,9 @@
                             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