Mercurial > urweb
comparison src/mono_util.sml @ 566:a152905c3c3b
Displayed an alert dialog
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Fri, 19 Dec 2008 12:38:11 -0500 |
parents | 65d8541c130b |
children | 1901db85acb4 |
comparison
equal
deleted
inserted
replaced
565:74800be65591 | 566:a152905c3c3b |
---|---|
309 S.bind2 (mfe ctx e, | 309 S.bind2 (mfe ctx e, |
310 fn e' => | 310 fn e' => |
311 S.map2 (mft t, | 311 S.map2 (mft t, |
312 fn t' => | 312 fn t' => |
313 (EUnurlify (e', t'), loc))) | 313 (EUnurlify (e', t'), loc))) |
314 | EJavaScript e => | |
315 S.map2 (mfe ctx e, | |
316 fn e' => | |
317 (EJavaScript e', loc)) | |
314 in | 318 in |
315 mfe | 319 mfe |
316 end | 320 end |
317 | 321 |
318 fun mapfold {typ = fc, exp = fe} = | 322 fun mapfold {typ = fc, exp = fe} = |