Mercurial > urweb
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 |