Mercurial > urweb
comparison src/core_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 |
---|---|
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", | |
590 space, | |
591 p_named x n, | |
592 space, | |
593 string "as", | |
594 space, | |
595 string s, | |
596 space, | |
597 string ":", | |
598 space, | |
599 p_con env c] | |
589 | 600 |
590 fun p_file env file = | 601 fun p_file env file = |
591 let | 602 let |
592 val (pds, _) = ListUtil.foldlMap (fn (d, env) => | 603 val (pds, _) = ListUtil.foldlMap (fn (d, env) => |
593 (p_decl env d, | 604 (p_decl env d, |