comparison src/flat_print.sml @ 102:5f04adf47f48

Writing HTML
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 14:02:54 -0400
parents 717b6f8d8505
children d101cb1efe55
comparison
equal deleted inserted replaced
101:717b6f8d8505 102:5f04adf47f48
134 p_exp env e, 134 p_exp env e,
135 space, 135 space,
136 string "end"] 136 string "end"]
137 end 137 end
138 138
139 | EStrcat (e1, e2) => box [p_exp' true env e1,
140 space,
141 string "^",
142 space,
143 p_exp' true env e2]
144
145 | EWrite e => box [string "write(",
146 p_exp env e,
147 string ")"]
148
139 and p_exp env = p_exp' false env 149 and p_exp env = p_exp' false env
140 150
141 fun p_decl env ((d, _) : decl) = 151 fun p_decl env ((d, _) : decl) =
142 case d of 152 case d of
143 DVal (x, n, t, e) => 153 DVal (x, n, t, e) =>