Mercurial > urweb

comparison src/mono_util.sml @ 1112:7a31e0cf25e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper C-side deserialization; Shake.sliceDb
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Jan 2010 12:47:27 -0500
parents 72670131dace
children c316ca3c9ec6
comparison
equal deleted inserted replaced
1111:e1d738870086 1112:7a31e0cf25e9
344 S.bind2 (mfe ctx e1, 344 S.bind2 (mfe ctx e1,
345 fn e1' => 345 fn e1' =>
346 S.map2 (mfe ctx e2, 346 S.map2 (mfe ctx e2,
347 fn e2' => 347 fn e2' =>
348 (ESetval (e1', e2'), loc))) 348 (ESetval (e1', e2'), loc)))
349 | EUnurlify (e, t) => 349 | EUnurlify (e, t, b) =>
350 S.bind2 (mfe ctx e, 350 S.bind2 (mfe ctx e,
351 fn e' => 351 fn e' =>
352 S.map2 (mft t, 352 S.map2 (mft t,
353 fn t' => 353 fn t' =>
354 (EUnurlify (e', t'), loc))) 354 (EUnurlify (e', t', b), loc)))
355 | EJavaScript (m, e) => 355 | EJavaScript (m, e) =>
356 S.bind2 (mfmode ctx m, 356 S.bind2 (mfmode ctx m,
357 fn m' => 357 fn m' =>
358 S.map2 (mfe ctx e, 358 S.map2 (mfe ctx e,
359 fn e' => 359 fn e' =>