comparison src/mono.sml @ 1021:7a4a55e05081

Use call/cc for recv and sleep
author Adam Chlipala <adamc@hcoop.net>
date Sun, 25 Oct 2009 15:29:21 -0400
parents dfe34fad749d
children 217eb87dde31
comparison
equal deleted inserted replaced
1020:dfe34fad749d 1021:7a4a55e05081
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 * typ * effect 117 | EServerCall of exp * typ * effect
118 | ERecv of exp * exp * typ 118 | ERecv of exp * typ
119 | ESleep of exp * exp 119 | ESleep of exp
120 | ESpawn of exp
120 121
121 withtype exp = exp' located 122 withtype exp = exp' located
122 123
123 datatype decl' = 124 datatype decl' =
124 DDatatype of (string * int * (string * int * typ option) list) list 125 DDatatype of (string * int * (string * int * typ option) list) list