Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/mono_reduce.sml Mon Apr 01 10:13:49 2013 -0400 +++ b/src/mono_reduce.sml Tue Apr 16 10:55:48 2013 -0400 @@ -1,4 +1,4 @@ -(* Copyright (c) 2008, Adam Chlipala +(* Copyright (c) 2008, 2013, Adam Chlipala * All rights reserved. * * Redistribution and use in source and binary forms, with or without @@ -515,7 +515,7 @@ | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 | ESignalSource e => summarize d e - | EServerCall (e, _, _) => summarize d e @ [Unsure] + | EServerCall (e, _, _, _) => summarize d e @ [Unsure] | ERecv (e, _) => summarize d e @ [Unsure] | ESleep e => summarize d e @ [Unsure] | ESpawn e => summarize d e @ [Unsure]