Mercurial > urweb

comparison src/mono_print.sml @ 578:1e589a60b86f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Harmonized source-setting between server and client
author Adam Chlipala <adamc@hcoop.net>
date Tue, 30 Dec 2008 11:33:31 -0500
parents 3d56940120b1
children 8f8771f32909
comparison
equal deleted inserted replaced
577:3d56940120b1 578:1e589a60b86f
214 214
215 | EWrite e => box [string "write(", 215 | EWrite e => box [string "write(",
216 p_exp env e, 216 p_exp env e,
217 string ")"] 217 string ")"]
218 218
219 | ESeq (e1, e2) => box [p_exp env e1, 219 | ESeq (e1, e2) => box [string "(",
220 p_exp env e1,
220 string ";", 221 string ";",
221 space, 222 space,
222 p_exp env e2] 223 p_exp env e2,
224 string ")"]
223 | ELet (x, t, e1, e2) => box [string "(let", 225 | ELet (x, t, e1, e2) => box [string "(let",
224 space, 226 space,
225 string x, 227 string x,
226 space, 228 space,
227 string ":", 229 string ":",
277 p_exp env e, 279 p_exp env e,
278 string ")"] 280 string ")"]
279 | EUnurlify (e, _) => box [string "unurlify(", 281 | EUnurlify (e, _) => box [string "unurlify(",
280 p_exp env e, 282 p_exp env e,
281 string ")"] 283 string ")"]
282 | EJavaScript (_, e) => box [string "JavaScript(", 284 | EJavaScript (_, e, NONE) => box [string "JavaScript(",
283 p_exp env e, 285 p_exp env e,
284 string ")"] 286 string ")"]
287 | EJavaScript (_, _, SOME e) => p_exp env e
285 288
286 | ESignalReturn e => box [string "Return(", 289 | ESignalReturn e => box [string "Return(",
287 p_exp env e, 290 p_exp env e,
288 string ")"] 291 string ")"]
289 | ESignalBind (e1, e2) => box [string "Bind(", 292 | ESignalBind (e1, e2) => box [string "Bind(",