Mercurial > urweb

comparison src/mono_reduce.sml @ 736:796e42c93c48

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookie signatures for RPCs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Apr 2009 16:13:02 -0400
parents 7c6b6c3c7b79
children f7e2026dd5ae
comparison
equal deleted inserted replaced
735:5ccb67665d05 736:796e42c93c48
369 | EJavaScript (_, e, _) => summarize d e 369 | EJavaScript (_, e, _) => summarize d e
370 | ESignalReturn e => summarize d e 370 | ESignalReturn e => summarize d e
371 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 371 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2
372 | ESignalSource e => summarize d e 372 | ESignalSource e => summarize d e
373 373
374 | EServerCall (e, ek, _) => summarize d e @ summarize d ek @ [Unsure] 374 | EServerCall (e, ek, _, _) => summarize d e @ summarize d ek @ [Unsure]
375 | ERecv (e, ek, _) => summarize d e @ summarize d ek @ [Unsure] 375 | ERecv (e, ek, _) => summarize d e @ summarize d ek @ [Unsure]
376 | ESleep (e, ek) => summarize d e @ summarize d ek @ [Unsure] 376 | ESleep (e, ek) => summarize d e @ summarize d ek @ [Unsure]
377 in 377 in
378 (*Print.prefaces "Summarize" 378 (*Print.prefaces "Summarize"
379 [("e", MonoPrint.p_exp MonoEnv.empty (e, ErrorMsg.dummySpan)), 379 [("e", MonoPrint.p_exp MonoEnv.empty (e, ErrorMsg.dummySpan)),