comparison src/core_print.sml @ 720:acb8537f58f0

Stop tracking CSS classes in XML types
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 12:31:54 -0400
parents f152f215a02c
children e0dd85ea58e1
comparison
equal deleted inserted replaced
719:5c099b1308ae 720:acb8537f58f0
584 string s, 584 string s,
585 space, 585 space,
586 string ":", 586 string ":",
587 space, 587 space,
588 p_con env c] 588 p_con env c]
589 | DStyle (x, n, c, s) => box [string "style", 589 | DStyle (x, n, s) => box [string "style",
590 space, 590 space,
591 p_named x n, 591 p_named x n,
592 space, 592 space,
593 string "as", 593 string "as",
594 space, 594 space,
595 string s, 595 string s]
596 space,
597 string ":",
598 space,
599 p_con env c]
600 596
601 fun p_file env file = 597 fun p_file env file =
602 let 598 let
603 val (pds, _) = ListUtil.foldlMap (fn (d, env) => 599 val (pds, _) = ListUtil.foldlMap (fn (d, env) =>
604 (p_decl env d, 600 (p_decl env d,