comparison src/mono.sml @ 695:500e93aa436f

sleep and better Scriptcheck
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Apr 2009 15:56:47 -0400
parents a3ddf05fb3e3
children 70cbdcf5989b
comparison
equal deleted inserted replaced
694:7ea0df9e56b6 695:500e93aa436f
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 | ERecv of exp * exp * typ
114 | ESleep of exp * exp
114 115
115 withtype exp = exp' located 116 withtype exp = exp' located
116 117
117 datatype decl' = 118 datatype decl' =
118 DDatatype of string * int * (string * int * typ option) list 119 DDatatype of string * int * (string * int * typ option) list