Mercurial > urweb
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, |