comparison src/mono_print.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
comparison
equal deleted inserted replaced
568:55fc747a67dc 569:162d5308e34f
377 string s, 377 string s,
378 string "*)"] 378 string "*)"]
379 | DDatabase s => box [string "database", 379 | DDatabase s => box [string "database",
380 space, 380 space,
381 string s] 381 string s]
382 | DJavaScript s => box [string "JavaScript(",
383 string s,
384 string ")"]
385
382 386
383 fun p_file env file = 387 fun p_file env file =
384 let 388 let
385 val (pds, _) = ListUtil.foldlMap (fn (d, env) => 389 val (pds, _) = ListUtil.foldlMap (fn (d, env) =>
386 (p_decl env d, 390 (p_decl env d,