comparison src/source_print.sml @ 1073:b2311dfb3158

Initializers and setval
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 14:20:41 -0500
parents 7f871c03e3a1
children 0657e5adc938
comparison
equal deleted inserted replaced
1072:9001966ae1c8 1073:b2311dfb3158
660 space, 660 space,
661 p_con c] 661 p_con c]
662 | DStyle x => box [string "style", 662 | DStyle x => box [string "style",
663 space, 663 space,
664 string x] 664 string x]
665 | DInitializer e => box [string "initializer",
666 space,
667 p_exp e]
665 668
666 and p_str (str, _) = 669 and p_str (str, _) =
667 case str of 670 case str of
668 StrConst ds => box [string "struct", 671 StrConst ds => box [string "struct",
669 newline, 672 newline,