comparison src/source_print.sml @ 1075:0657e5adc938

Convert to task syntax
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 10:19:05 -0500
parents b2311dfb3158
children c316ca3c9ec6
comparison
equal deleted inserted replaced
1074:d89f98f0b4bb 1075:0657e5adc938
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", 665 | DTask (e1, e2) => box [string "task",
666 space, 666 space,
667 p_exp e] 667 p_exp e1,
668 space,
669 string "=",
670 space,
671 p_exp e2]
668 672
669 and p_str (str, _) = 673 and p_str (str, _) =
670 case str of 674 case str of
671 StrConst ds => box [string "struct", 675 StrConst ds => box [string "struct",
672 newline, 676 newline,