comparison src/mono.sml @ 1020:dfe34fad749d

RPC uses VM support for call/cc
author Adam Chlipala <adamc@hcoop.net>
date Sun, 25 Oct 2009 14:07:10 -0400
parents 8e540df3294d
children 7a4a55e05081
comparison
equal deleted inserted replaced
1019:68ba074e260f 1020:dfe34fad749d
111 | EJavaScript of javascript_mode * exp 111 | EJavaScript of javascript_mode * exp
112 112
113 | ESignalReturn of exp 113 | ESignalReturn of exp
114 | ESignalBind of exp * exp 114 | ESignalBind of exp * exp
115 | ESignalSource of exp 115 | ESignalSource of exp
116 116
117 | EServerCall of exp * exp * typ * effect 117 | EServerCall of exp * typ * effect
118 | ERecv of exp * exp * typ 118 | ERecv of exp * exp * typ
119 | ESleep of exp * exp 119 | ESleep of exp * exp
120 120
121 withtype exp = exp' located 121 withtype exp = exp' located
122 122