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