Mercurial > urweb
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 |