Mercurial > urweb
comparison src/mono_reduce.sml @ 1020:dfe34fad749d
RPC uses VM support for call/cc
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 25 Oct 2009 14:07:10 -0400 |
parents | 34ba25d6af3b |
children | 7a4a55e05081 |
comparison
equal
deleted
inserted
replaced
1019:68ba074e260f | 1020:dfe34fad749d |
---|---|
448 | EJavaScript (_, e) => summarize d e | 448 | EJavaScript (_, e) => summarize d e |
449 | ESignalReturn e => summarize d e | 449 | ESignalReturn e => summarize d e |
450 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 | 450 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 |
451 | ESignalSource e => summarize d e | 451 | ESignalSource e => summarize d e |
452 | 452 |
453 | EServerCall (e, _, _, _) => summarize d e @ [Unsure] | 453 | EServerCall (e, _, _) => summarize d e @ [Unsure] |
454 | ERecv (e, _, _) => summarize d e @ [Unsure] | 454 | ERecv (e, _, _) => summarize d e @ [Unsure] |
455 | ESleep (e, _) => summarize d e @ [Unsure] | 455 | ESleep (e, _) => summarize d e @ [Unsure] |
456 in | 456 in |
457 (*Print.prefaces "Summarize" | 457 (*Print.prefaces "Summarize" |
458 [("e", MonoPrint.p_exp MonoEnv.empty (e, ErrorMsg.dummySpan)), | 458 [("e", MonoPrint.p_exp MonoEnv.empty (e, ErrorMsg.dummySpan)), |