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} =