comparison src/mono_print.sml @ 566:a152905c3c3b

Displayed an alert dialog
author Adam Chlipala <adamc@hcoop.net>
date Fri, 19 Dec 2008 12:38:11 -0500
parents bb27c7efcd90
children 55fc747a67dc
comparison
equal deleted inserted replaced
565:74800be65591 566:a152905c3c3b
273 p_exp env e, 273 p_exp env e,
274 string ")"] 274 string ")"]
275 | EUnurlify (e, _) => box [string "unurlify(", 275 | EUnurlify (e, _) => box [string "unurlify(",
276 p_exp env e, 276 p_exp env e,
277 string ")"] 277 string ")"]
278 | EJavaScript e => box [string "JavaScript(",
279 p_exp env e,
280 string ")"]
278 281
279 and p_exp env = p_exp' false env 282 and p_exp env = p_exp' false env
280 283
281 fun p_vali env (x, n, t, e, s) = 284 fun p_vali env (x, n, t, e, s) =
282 let 285 let