diff src/mono_shake.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 e976b187d73a
children 56aaa1941dad
line wrap: on
line diff
--- a/src/mono_shake.sml	Sat Dec 20 15:46:48 2008 -0500
+++ b/src/mono_shake.sml	Sat Dec 20 16:19:26 2008 -0500
@@ -56,7 +56,8 @@
                                    | ((DExport _, _), acc) => acc
                                    | ((DTable _, _), acc) => acc
                                    | ((DSequence _, _), acc) => acc
-                                   | ((DDatabase _, _), acc) => acc)
+                                   | ((DDatabase _, _), acc) => acc
+                                   | ((DJavaScript _, _), acc) => acc)
                                  (IM.empty, IM.empty) file
 
         fun typ (c, s) =
@@ -112,7 +113,8 @@
                       | (DExport _, _) => true
                       | (DTable _, _) => true
                       | (DSequence _, _) => true
-                      | (DDatabase _, _) => true) file
+                      | (DDatabase _, _) => true
+                      | (DJavaScript _, _) => true) file
     end
 
 end