Mercurial > urweb

comparison src/mono_reduce.sml @ 609:56aaa1941dad

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First gimpy RPC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 10:32:50 -0500
parents 330a7de47914
children 5891f47d7cff
comparison
equal deleted inserted replaced
608:330a7de47914 609:56aaa1941dad
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 (_, es, ek, _) => List.concat (map (summarize d) es) @ 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)];*)