comparison src/mono_print.sml @ 718:f152f215a02c

style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents d8217b4cb617
children acb8537f58f0
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
438 string ")"] 438 string ")"]
439 | DJavaScript s => box [string "JavaScript(", 439 | DJavaScript s => box [string "JavaScript(",
440 string s, 440 string s,
441 string ")"] 441 string ")"]
442 442
443 | DStyle (s, xs) => box [string "style",
444 space,
445 string s,
446 space,
447 string ":",
448 space,
449 p_list string xs]
450
443 451
444 fun p_file env file = 452 fun p_file env file =
445 let 453 let
446 val (pds, _) = ListUtil.foldlMap (fn (d, env) => 454 val (pds, _) = ListUtil.foldlMap (fn (d, env) =>
447 (p_decl env d, 455 (p_decl env d,