Mercurial > urweb
comparison src/expl_print.sml @ 1073:b2311dfb3158
Initializers and setval
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 13 Dec 2009 14:20:41 -0500 |
parents | 0e554bfd6d6a |
children | 0657e5adc938 |
comparison
equal
deleted
inserted
replaced
1072:9001966ae1c8 | 1073:b2311dfb3158 |
---|---|
711 space, | 711 space, |
712 p_con env c] | 712 p_con env c] |
713 | DStyle (_, x, n) => box [string "style", | 713 | DStyle (_, x, n) => box [string "style", |
714 space, | 714 space, |
715 p_named x n] | 715 p_named x n] |
716 | DInitializer e => box [string "initializer", | |
717 space, | |
718 p_exp env e] | |
716 | 719 |
717 and p_str env (str, _) = | 720 and p_str env (str, _) = |
718 case str of | 721 case str of |
719 StrConst ds => box [string "struct", | 722 StrConst ds => box [string "struct", |
720 newline, | 723 newline, |