diff src/cjr.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 bb27c7efcd90
children 56aaa1941dad
line wrap: on
line diff
--- a/src/cjr.sml	Sat Dec 20 15:46:48 2008 -0500
+++ b/src/cjr.sml	Sat Dec 20 16:19:26 2008 -0500
@@ -109,6 +109,8 @@
        | DDatabase of string
        | DPreparedStatements of (string * int) list
 
+       | DJavaScript of string
+
 withtype decl = decl' located
 
 type file = decl list * (Core.export_kind * string * int * typ list) list