comparison src/mono_print.sml @ 815:493f44759879

Redo Jscomp
author Adam Chlipala <adamc@hcoop.net>
date Sun, 17 May 2009 18:41:43 -0400
parents d8f58d488cfb
children 44c2c089ca15
comparison
equal deleted inserted replaced
814:3f3b211f9bca 815:493f44759879
308 p_exp env e, 308 p_exp env e,
309 string ")"] 309 string ")"]
310 | EUnurlify (e, _) => box [string "unurlify(", 310 | EUnurlify (e, _) => box [string "unurlify(",
311 p_exp env e, 311 p_exp env e,
312 string ")"] 312 string ")"]
313 | EJavaScript (m, e, NONE) => box [string "JavaScript(", 313 | EJavaScript (m, e) => box [string "JavaScript(",
314 p_mode env m, 314 p_mode env m,
315 string ",", 315 string ",",
316 space, 316 space,
317 p_exp env e, 317 p_exp env e,
318 string ")"] 318 string ")"]
319 | EJavaScript (_, _, SOME e) => p_exp env e
320 319
321 | ESignalReturn e => box [string "Return(", 320 | ESignalReturn e => box [string "Return(",
322 p_exp env e, 321 p_exp env e,
323 string ")"] 322 string ")"]
324 | ESignalBind (e1, e2) => box [string "Bind(", 323 | ESignalBind (e1, e2) => box [string "Bind(",