Mercurial > urweb

comparison src/mono_util.sml @ 578:1e589a60b86f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Harmonized source-setting between server and client
author Adam Chlipala <adamc@hcoop.net>
date Tue, 30 Dec 2008 11:33:31 -0500
parents 3d56940120b1
children 330a7de47914
comparison
equal deleted inserted replaced
577:3d56940120b1 578:1e589a60b86f
322 S.bind2 (mfe ctx e, 322 S.bind2 (mfe ctx e,
323 fn e' => 323 fn e' =>
324 S.map2 (mft t, 324 S.map2 (mft t,
325 fn t' => 325 fn t' =>
326 (EUnurlify (e', t'), loc))) 326 (EUnurlify (e', t'), loc)))
327 | EJavaScript (m, e) => 327 | EJavaScript (m, e, NONE) =>
328 S.map2 (mfe ctx e, 328 S.map2 (mfe ctx e,
329 fn e' => 329 fn e' =>
330 (EJavaScript (m, e'), loc)) 330 (EJavaScript (m, e', NONE), loc))
331 | EJavaScript (m, e, SOME e2) =>
332 S.bind2 (mfe ctx e,
333 fn e' =>
334 S.map2 (mfe ctx e2,
335 fn e2' =>
336 (EJavaScript (m, e', SOME e2'), loc)))
331 337
332 | ESignalReturn e => 338 | ESignalReturn e =>
333 S.map2 (mfe ctx e, 339 S.map2 (mfe ctx e,
334 fn e' => 340 fn e' =>
335 (ESignalReturn e', loc)) 341 (ESignalReturn e', loc))