Mercurial > urweb
comparison src/mono_util.sml @ 608:330a7de47914
Export RPC functions and push RPC calls through to Mono
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 15 Feb 2009 09:27:36 -0500 |
parents | 1e589a60b86f |
children | 56aaa1941dad |
comparison
equal
deleted
inserted
replaced
607:0dd40b6bfdf3 | 608:330a7de47914 |
---|---|
347 (ESignalBind (e1', e2'), loc))) | 347 (ESignalBind (e1', e2'), loc))) |
348 | ESignalSource e => | 348 | ESignalSource e => |
349 S.map2 (mfe ctx e, | 349 S.map2 (mfe ctx e, |
350 fn e' => | 350 fn e' => |
351 (ESignalSource e', loc)) | 351 (ESignalSource e', loc)) |
352 | |
353 | EServerCall (n, es, ek) => | |
354 S.bind2 (ListUtil.mapfold (fn e => mfe ctx e) es, | |
355 fn es' => | |
356 S.map2 (mfe ctx ek, | |
357 fn ek' => | |
358 (EServerCall (n, es', ek'), loc))) | |
352 in | 359 in |
353 mfe | 360 mfe |
354 end | 361 end |
355 | 362 |
356 fun mapfold {typ = fc, exp = fe} = | 363 fun mapfold {typ = fc, exp = fe} = |