Mercurial > urweb
comparison src/mono_util.sml @ 1112:7a31e0cf25e9
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' => |