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} =