comparison src/mono.sml @ 670:f73913d97a40

Proper recv
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Mar 2009 16:03:45 -0400
parents 5891f47d7cff
children 9a2c18dab11d
comparison
equal deleted inserted replaced
669:f68eee90dbcf 670:f73913d97a40
108 | ESignalReturn of exp 108 | ESignalReturn of exp
109 | ESignalBind of exp * exp 109 | ESignalBind of exp * exp
110 | ESignalSource of exp 110 | ESignalSource of exp
111 111
112 | EServerCall of exp * exp * typ 112 | EServerCall of exp * exp * typ
113 | ERecv of exp * exp * typ
113 114
114 withtype exp = exp' located 115 withtype exp = exp' located
115 116
116 datatype decl' = 117 datatype decl' =
117 DDatatype of string * int * (string * int * typ option) list 118 DDatatype of string * int * (string * int * typ option) list