diff 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
line wrap: on
line diff
--- a/src/mono.sml	Sat Apr 04 14:55:36 2009 -0400
+++ b/src/mono.sml	Sat Apr 04 15:56:47 2009 -0400
@@ -111,6 +111,7 @@
 
        | EServerCall of exp * exp * typ
        | ERecv of exp * exp * typ
+       | ESleep of exp * exp
 
 withtype exp = exp' located