Mercurial > urweb
comparison src/mono_reduce.sml @ 1848:e15234fbb163
Basis.tryRpc
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 16 Apr 2013 10:55:48 -0400 |
parents | c1e3805e604e |
children | 3c93e91e97da |
comparison
equal
deleted
inserted
replaced
1847:8958b580d026 | 1848:e15234fbb163 |
---|---|
1 (* Copyright (c) 2008, Adam Chlipala | 1 (* Copyright (c) 2008, 2013, Adam Chlipala |
2 * All rights reserved. | 2 * All rights reserved. |
3 * | 3 * |
4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
5 * modification, are permitted provided that the following conditions are met: | 5 * modification, are permitted provided that the following conditions are met: |
6 * | 6 * |
513 | EJavaScript (_, e) => summarize d e | 513 | EJavaScript (_, e) => summarize d e |
514 | ESignalReturn e => summarize d e | 514 | ESignalReturn e => summarize d e |
515 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 | 515 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 |
516 | ESignalSource e => summarize d e | 516 | ESignalSource e => summarize d e |
517 | 517 |
518 | EServerCall (e, _, _) => summarize d e @ [Unsure] | 518 | EServerCall (e, _, _, _) => summarize d e @ [Unsure] |
519 | ERecv (e, _) => summarize d e @ [Unsure] | 519 | ERecv (e, _) => summarize d e @ [Unsure] |
520 | ESleep e => summarize d e @ [Unsure] | 520 | ESleep e => summarize d e @ [Unsure] |
521 | ESpawn e => summarize d e @ [Unsure] | 521 | ESpawn e => summarize d e @ [Unsure] |
522 in | 522 in |
523 (*Print.prefaces "Summarize" | 523 (*Print.prefaces "Summarize" |