Mercurial > urweb
diff src/mono_print.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_print.sml Sat Apr 04 14:55:36 2009 -0400 +++ b/src/mono_print.sml Sat Apr 04 15:56:47 2009 -0400 @@ -318,6 +318,11 @@ string ")[", p_exp env e, string "]"] + | ESleep (n, e) => box [string "Sleep(", + p_exp env n, + string ")[", + p_exp env e, + string "]"] and p_exp env = p_exp' false env