Mercurial > urweb

comparison src/mono.sml @ 1848:e15234fbb163

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.tryRpc
author Adam Chlipala <adam@chlipala.net>
date Tue, 16 Apr 2013 10:55:48 -0400
parents c1e3805e604e
children 98895243b5b6
comparison
equal deleted inserted replaced
1847:8958b580d026 1848:e15234fbb163
1 (* Copyright (c) 2008-2010, Adam Chlipala 1 (* Copyright (c) 2008-2010, 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 *
118 118
119 | ESignalReturn of exp 119 | ESignalReturn of exp
120 | ESignalBind of exp * exp 120 | ESignalBind of exp * exp
121 | ESignalSource of exp 121 | ESignalSource of exp
122 122
123 | EServerCall of exp * typ * effect 123 | EServerCall of exp * typ * effect * failure_mode
124 | ERecv of exp * typ 124 | ERecv of exp * typ
125 | ESleep of exp 125 | ESleep of exp
126 | ESpawn of exp 126 | ESpawn of exp
127 127
128 withtype exp = exp' located 128 withtype exp = exp' located