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