comparison src/mono_print.sml @ 331:41458a694575

Optimize immediate writes of query results
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 10:44:58 -0400
parents 52d4c60518d4
children e976b187d73a
comparison
equal deleted inserted replaced
330:f307cdd08d81 331:41458a694575
191 string ":", 191 string ":",
192 space, 192 space,
193 p_typ env t, 193 p_typ env t,
194 string ")"] 194 string ")"]
195 195
196 | EStrcat (e1, e2) => box [p_exp' true env e1, 196 | EStrcat (e1, e2) => parenIf par (box [p_exp' true env e1,
197 space, 197 space,
198 string "^", 198 string "^",
199 space, 199 space,
200 p_exp' true env e2] 200 p_exp env e2])
201 201
202 | EWrite e => box [string "write(", 202 | EWrite e => box [string "write(",
203 p_exp env e, 203 p_exp env e,
204 string ")"] 204 string ")"]
205 205