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" =>