Mercurial > urweb
comparison src/mono_reduce.sml @ 910:8e540df3294d
grid1 compiles but gets stuck in JS
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 25 Aug 2009 13:57:56 -0400 |
parents | 7a4b026e45dd |
children | b873feb3eb52 |
comparison
equal
deleted
inserted
replaced
909:1d3f60e74ec7 | 910:8e540df3294d |
---|---|
352 | EJavaScript (_, e) => summarize d e | 352 | EJavaScript (_, e) => summarize d e |
353 | ESignalReturn e => summarize d e | 353 | ESignalReturn e => summarize d e |
354 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 | 354 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 |
355 | ESignalSource e => summarize d e | 355 | ESignalSource e => summarize d e |
356 | 356 |
357 | EServerCall (e, ek, _, _, _) => summarize d e @ summarize d ek @ [Unsure] | 357 | EServerCall (e, ek, _, _) => summarize d e @ summarize d ek @ [Unsure] |
358 | ERecv (e, ek, _) => summarize d e @ summarize d ek @ [Unsure] | 358 | ERecv (e, ek, _) => summarize d e @ summarize d ek @ [Unsure] |
359 | ESleep (e, ek) => summarize d e @ summarize d ek @ [Unsure] | 359 | ESleep (e, ek) => summarize d e @ summarize d ek @ [Unsure] |
360 in | 360 in |
361 (*Print.prefaces "Summarize" | 361 (*Print.prefaces "Summarize" |
362 [("e", MonoPrint.p_exp MonoEnv.empty (e, ErrorMsg.dummySpan)), | 362 [("e", MonoPrint.p_exp MonoEnv.empty (e, ErrorMsg.dummySpan)), |