diff src/cjrize.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/cjrize.sml	Sat Dec 20 15:46:48 2008 -0500
+++ b/src/cjrize.sml	Sat Dec 20 16:19:26 2008 -0500
@@ -528,6 +528,7 @@
       | L.DSequence s =>
         (SOME (L'.DSequence s, loc), NONE, sm)
       | L.DDatabase s => (SOME (L'.DDatabase s, loc), NONE, sm)
+      | L.DJavaScript s => (SOME (L'.DJavaScript s, loc), NONE, sm)
 
 fun cjrize ds =
     let