diff src/monoize.sml @ 566:a152905c3c3b

Displayed an alert dialog
author Adam Chlipala <adamc@hcoop.net>
date Fri, 19 Dec 2008 12:38:11 -0500
parents 74800be65591
children 55fc747a67dc
line wrap: on
line diff
--- a/src/monoize.sml	Fri Dec 19 11:47:18 2008 -0500
+++ b/src/monoize.sml	Fri Dec 19 12:38:11 2008 -0500
@@ -1744,6 +1744,19 @@
                                                            result = (L'.TFfi ("Basis", "string"), loc)}), loc),
                                                fm)
                                           end
+                                        | (L'.TFun _, _) =>
+                                          let
+                                              val s' = " " ^ lowercaseFirst x ^ "='"
+                                          in
+                                              ((L'.EStrcat (s,
+                                                            (L'.EStrcat (
+                                                             (L'.EPrim (Prim.String s'), loc),
+                                                             (L'.EStrcat (
+                                                              (L'.EJavaScript e, loc),
+                                                              (L'.EPrim (Prim.String "'"), loc)), loc)),
+                                                             loc)), loc),
+                                               fm)
+                                          end
                                         | _ =>
                                           let
                                               val fooify =