comparison 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
comparison
equal deleted inserted replaced
666:5130228d2b29 667:a93d5324f400
1922 :: str ";" 1922 :: str ";"
1923 :: assgns) 1923 :: assgns)
1924 end 1924 end
1925 in 1925 in
1926 case tag of 1926 case tag of
1927 "body" => normal ("body", NONE, 1927 "body" => normal ("body",
1928 SOME (L'.EFfiApp ("Basis", "get_listener", [(L'.ERecord [], loc)]), loc),
1928 SOME (L'.EFfiApp ("Basis", "get_script", [(L'.ERecord [], loc)]), loc)) 1929 SOME (L'.EFfiApp ("Basis", "get_script", [(L'.ERecord [], loc)]), loc))
1929 1930
1930 | "dyn" => 1931 | "dyn" =>
1931 (case attrs of 1932 (case attrs of
1932 [("Signal", (L'.EApp ((L'.EAbs (_, _, _, (L'.ESignalReturn (L'.ERel 0, _), _)), _), 1933 [("Signal", (L'.EApp ((L'.EAbs (_, _, _, (L'.ESignalReturn (L'.ERel 0, _), _)), _),