comparison src/monoize.sml @ 643:aa2290c32ce2

Avoid any JavaScript when pages don't need it; update demo prose
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Mar 2009 10:44:26 -0400
parents 230654093b51
children fb2a0e76dcef
comparison
equal deleted inserted replaced
642:4a125bbc602d 643:aa2290c32ce2
1922 :: assgns) 1922 :: assgns)
1923 end 1923 end
1924 in 1924 in
1925 case tag of 1925 case tag of
1926 "body" => normal ("body", NONE, 1926 "body" => normal ("body", NONE,
1927 SOME (L'.EStrcat ((L'.EPrim (Prim.String "<script src=\"/app.js\"></script>"), loc), 1927 SOME (L'.EFfiApp ("Basis", "get_script", [(L'.ERecord [], loc)]), loc))
1928 (L'.EFfiApp ("Basis", "get_script", [(L'.ERecord [], loc)]),
1929 loc)), loc))
1930 1928
1931 | "dyn" => 1929 | "dyn" =>
1932 (case attrs of 1930 (case attrs of
1933 [("Signal", (L'.EApp ((L'.EAbs (_, _, _, (L'.ESignalReturn (L'.ERel 0, _), _)), _), 1931 [("Signal", (L'.EApp ((L'.EAbs (_, _, _, (L'.ESignalReturn (L'.ERel 0, _), _)), _),
1934 e), _), _)] => (e, fm) 1932 e), _), _)] => (e, fm)