Mercurial > urweb
comparison src/mono_reduce.sml @ 614:5891f47d7cff
Parameterized RPC query
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 15 Feb 2009 13:03:09 -0500 |
parents | 56aaa1941dad |
children | b0c1a46b1f15 |
comparison
equal
deleted
inserted
replaced
613:c5991cdb0c4b | 614:5891f47d7cff |
---|---|
344 | EJavaScript (_, e, _) => summarize d e | 344 | EJavaScript (_, e, _) => summarize d e |
345 | ESignalReturn e => summarize d e | 345 | ESignalReturn e => summarize d e |
346 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 | 346 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 |
347 | ESignalSource e => summarize d e | 347 | ESignalSource e => summarize d e |
348 | 348 |
349 | EServerCall (_, es, ek, _) => List.concat (map (summarize d) es) @ summarize d ek @ [Unsure] | 349 | EServerCall (e, ek, _) => summarize d e @ summarize d ek @ [Unsure] |
350 in | 350 in |
351 (*Print.prefaces "Summarize" | 351 (*Print.prefaces "Summarize" |
352 [("e", MonoPrint.p_exp MonoEnv.empty (e, ErrorMsg.dummySpan)), | 352 [("e", MonoPrint.p_exp MonoEnv.empty (e, ErrorMsg.dummySpan)), |
353 ("d", Print.PD.string (Int.toString d)), | 353 ("d", Print.PD.string (Int.toString d)), |
354 ("s", p_events s)];*) | 354 ("s", p_events s)];*) |