Mercurial > urweb
diff src/monoize.sml @ 667:a93d5324f400
Dummy message delivery to clients
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 19 Mar 2009 16:34:13 -0400 |
parents | bab524996fca |
children | b0c1a46b1f15 |
line wrap: on
line diff
--- a/src/monoize.sml Thu Mar 19 13:47:02 2009 -0400 +++ b/src/monoize.sml Thu Mar 19 16:34:13 2009 -0400 @@ -1924,7 +1924,8 @@ end in case tag of - "body" => normal ("body", NONE, + "body" => normal ("body", + SOME (L'.EFfiApp ("Basis", "get_listener", [(L'.ERecord [], loc)]), loc), SOME (L'.EFfiApp ("Basis", "get_script", [(L'.ERecord [], loc)]), loc)) | "dyn" =>