diff src/mono_util.sml @ 569:162d5308e34f

Successfully generated a page element from a signal
author Adam Chlipala <adamc@hcoop.net>
date Sat, 20 Dec 2008 16:19:26 -0500
parents 55fc747a67dc
children 57018f21cd5c
line wrap: on
line diff
--- a/src/mono_util.sml	Sat Dec 20 15:46:48 2008 -0500
+++ b/src/mono_util.sml	Sat Dec 20 16:19:26 2008 -0500
@@ -323,6 +323,7 @@
                 S.map2 (mfe ctx e,
                      fn e' =>
                         (EJavaScript (m, e'), loc))
+
               | ESignalReturn e =>
                 S.map2 (mfe ctx e,
                      fn e' =>
@@ -421,6 +422,7 @@
               | DTable _ => S.return2 dAll
               | DSequence _ => S.return2 dAll
               | DDatabase _ => S.return2 dAll
+              | DJavaScript _ => S.return2 dAll
 
         and mfvi ctx (x, n, t, e, s) =
             S.bind2 (mft t,
@@ -501,6 +503,7 @@
                                       | DTable _ => ctx
                                       | DSequence _ => ctx
                                       | DDatabase _ => ctx
+                                      | DJavaScript _ => ctx
                             in
                                 S.map2 (mff ctx' ds',
                                      fn ds' =>
@@ -548,7 +551,8 @@
                           | DExport _ => count
                           | DTable _ => count
                           | DSequence _ => count
-                          | DDatabase _ => count) 0
+                          | DDatabase _ => count
+                          | DJavaScript _ => count) 0
 
 end