comparison src/mono_util.sml @ 815:493f44759879

Redo Jscomp
author Adam Chlipala <adamc@hcoop.net>
date Sun, 17 May 2009 18:41:43 -0400
parents d8f58d488cfb
children 7a4b026e45dd
comparison
equal deleted inserted replaced
814:3f3b211f9bca 815:493f44759879
338 S.bind2 (mfe ctx e, 338 S.bind2 (mfe ctx e,
339 fn e' => 339 fn e' =>
340 S.map2 (mft t, 340 S.map2 (mft t,
341 fn t' => 341 fn t' =>
342 (EUnurlify (e', t'), loc))) 342 (EUnurlify (e', t'), loc)))
343 | EJavaScript (m, e, NONE) => 343 | EJavaScript (m, e) =>
344 S.bind2 (mfmode ctx m, 344 S.bind2 (mfmode ctx m,
345 fn m' => 345 fn m' =>
346 S.map2 (mfe ctx e, 346 S.map2 (mfe ctx e,
347 fn e' => 347 fn e' =>
348 (EJavaScript (m', e', NONE), loc))) 348 (EJavaScript (m', e'), loc)))
349 | EJavaScript (m, e, SOME e2) =>
350 S.bind2 (mfmode ctx m,
351 fn m' =>
352 S.bind2 (mfe ctx e,
353 fn e' =>
354 S.map2 (mfe ctx e2,
355 fn e2' =>
356 (EJavaScript (m, e', SOME e2'), loc))))
357 349
358 | ESignalReturn e => 350 | ESignalReturn e =>
359 S.map2 (mfe ctx e, 351 S.map2 (mfe ctx e,
360 fn e' => 352 fn e' =>
361 (ESignalReturn e', loc)) 353 (ESignalReturn e', loc))